Confidential Balances 是一套 Token2022 扩展，旨在实现 Solana 资产转移的隐私性。该扩展允许不同级别的隐私配置，结合多种加密技术如同态加密和零知识证明，以确保转移资产的机密性和合规性。文中详细介绍了如何启动该系统并进行保密转账的步骤。
Certora团队利用深度的形式验证工具对Solana上的Token2022扩展进行了审核，并撰写了规范以确保代码按预期行为运行。审核结果发现了性能优化机会并提出了改进建议，同时验证了Solana团队实施的更新，确保了安全性。文章详细探讨了形式验证的应用及其带来的潜在安全收益。
solana-developers
Certora