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