分享百科

程序分析

形式化验证 第 3 部分 - Solana SPL 隐私性扩展的形式化验证

本文介绍如何使用Solana Certora Prover (SCP)在SPL Token 2022的隐私扩展中发现错误，特别是关于process_withdraw函数的验证过程。通过使用零知识证明，SCP能够验证是否满足特定的正确性属性，从而确保账户安全性，文中还探讨了当前的挑战与未来的方向。
SPL Token  零知识证明  Solana  安全性  正式验证  程序分析 
  • Certora
  • 发布于 2023-08-21
  • 阅读 ( 54 )
登链社区