转发 Sean Bowe：Zcash 新的形式化验证工作消除了 Ironwood 池中不可检测的伪造漏洞
Zcash 新的形式化验证工作成功消除了 Ironwood 池中所有不可检测的伪造漏洞。项目 Tachyon 正在对新的 Ironwood 池进行形式化验证，以排除所有（在底层密码学假设范围内）不可检测的伪造漏洞，确保系统安全性。
背景速读
- Zcash（ZEC）是一种注重隐私的加密货币，使用零知识证明（zk-SNARKs）来隐藏交易发送方、接收方和金额，不同于比特币的公开账本。
- "铸币漏洞"（counterfeiting bug）指攻击者凭空创造新币而不被网络发现——这在任何加密货币中都是最严重的安全漏洞。
- 形式化验证（formal verification）是用数学方法证明代码在所有可能情况下都按预期运行，比常规测试或审计更严格。
- Ironwood pool 是 Zcash 下一代隐私协议中的新组件，用于生成交易证明。
- 之前 Zcash 曾经历过真实的铸币漏洞：2018 年发现了一个漏洞，理论上可让攻击者无限铸造 ZEC，之后团队用形式化方法重构了核心协议。
- Naval Ravikant 是知名天使投资人和思想家，这条帖子是他转发 Zcash 核心开发者 Sean Bowe 的公告。