资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
Project Tachyon 对 Zcash 新 Ironwood 屏蔽池进行形式化验证
Project Tachyon 正在对 Zcash 的新版 Ironwood 屏蔽池进行形式化验证，旨在从数学上排除协议密码学假设下无法检测到的伪造漏洞。
此项工作针对的是 Orchard 事件遗留的核心风险：私有支付池能够完美隐藏交易详情，以至于仅凭历史屏蔽活动记录无法证明是否存在非法的 ZEC 生成。Ironwood 的供应审计计划将使 Zcash 迁移至一个新的屏蔽池，同时借助转闸门会计机制，确保流通中的供应量可验证。
此次形式化验证为 Ironwood 提供了除迁移设计之外的第二层安全保障。新池采用了修正后的 Orchard 协议，而验证工作的重点在于证明屏蔽电路无法接受虚假的会计声明，从而防止伪造票据被当作有效票据处理。
Orchard 漏洞使供应证明成为核心问题
这一推动源于 5 月底发现的严重 Orchard 伪造漏洞。该漏洞在被修复前，本可能允许在 Orchard 内部无限量、不可检测地伪造 ZEC，而 Orchard 的隐私模型又阻止了对漏洞在修复前是否已被利用进行完整的密码学重建。
Zcash 贡献者表示，此前被利用的可能性很低，但市场信心问题不仅仅在于漏洞是否已被修补。更棘手的问题是：用户能否独立验证屏蔽系统内部不存在隐藏的通胀？
自应急响应以来，这场争论一直影响着 ZEC 的发展。Zcash 的 Ironwood 升级路径旨在将网络从基于信任的 reassurance 重新转向节点可验证的供应检查，而之后的 Z3 迁移讨论表明，具体时间仍取决于交易所、钱包、矿池和基础设施提供商。
形式化证明增加另一层安全防护
Ironwood 将关闭旧的 Orchard 池，禁止其接收新存款和内部活动，然后强制剩余资金在进入新屏蔽池之前，先通过 Zcash 的转闸门会计系统。任何试图将超出合法会计记录数量的 ZEC 从 Orchard 移出的行为，都将被共识规则阻止。
验证工作旨在解决下一个问题：新屏蔽池本身是否可靠。Project Tachyon 和 Valar Group 正在开展审计和形式化验证，以确认修补后的 Orchard zk-SNARK 电路的正确性，将安全性降低到其规范与密码学假设的准确性层面。
AI 辅助安全工具也逐渐成为 Zcash 安全体系的一部分。Orchard 漏洞正是通过使用先进 AI 工具进行定向研究发现的。而之后的 Mythos 审查表明，在紧急补丁之后，未发现其他严重的 Zcash 协议漏洞。
Ironwood 上主网的路径仍取决于实现、审计、形式化证明工作、钱包就绪度以及生态系统的协调。当前目标仍然是一个全新的屏蔽池，既能保留私密的 ZEC 转账，又能恢复更接近比特币核心货币保障模型的供应验证机制。
