Zcash($ZEC)在7月8日一度飙升16%,此前Project Tachyon宣布网络即将推出的Ironwood升级在安全验证方面取得重大进展——通过形式化验证确认系统安全性,这使该代币自6月初以来首次重回500美元上方。
Tachyon正在验证什么
这一涨势的核心在于具体的技术里程碑。Tachyon与Valar Group正通过形式化验证工作,确认Orchard协议中的零知识简洁非交互知识论证(zk-SNARK)电路的正确性,将安全漏洞最大程度地缩减为对技术规范与密码学假设正确性的依赖。现代工具如Lean,能在证明编写完成后自动进行校验,确保其数学上的完备性。经人类引导的大语言模型,可将生成这类机器辅助证明的流程缩短至数周——即便面对复杂的密码系统也是如此。
Zcash创始人Zooko Wilcox表示,该项目即将完成一项数学证明:即将推出的Ironwood隐私池不存在可被利用的不可检测伪造漏洞。这正解决了上月Orchard披露事件所暴露的那类问题。近期发现的新版Orchard不可检测伪造漏洞,在Zcash历史中并非首次。得益于Ironwood的形式化验证,团队声称这将是最后一次。
一切始于Orchard的漏洞
事件背景值得关注。Orchard漏洞存在于其电路的两行代码中——该电路是管理Zcash隐私交易的关键密码组件——允许恶意行为者在隐私池内伪造ZEC,且链上不留任何签名痕迹。若该漏洞在发现前被利用,将完全无法追踪。该漏洞自2022年5月Orchard激活时便存在,于今年5月29日由安全工程师Taylor Hornby借助Anthropic的Opus 4.8 AI模型发现,并于6月1日通过紧急修复完成修补。这一披露导致$ZEC暴跌逾38%。Zcash基金会确认审计人员已定位Orchard中的漏洞,但开发者指出,暂无证据表明用户资金受到影响或ZEC总供应量发生变动。
Ironwood:社区的回应
Ironwood正是社区针对上述不确定性给出的答案。当前的Orchard隐私池将停止接收新存款与内部交易,使资金只能通过旋转门机制单向流入Ironwood。由于旋转门机制会拒绝任何试图转出超过存入数量的ZEC的操作,用户将立即获得无需信任的保障:确保流通中的ZEC数量不会超过正确总量。Ironwood计划于2026年7月底激活,具体时间取决于Zcash生态系统的全面测试、审查与协调。交易者目前正密切关注Ironwood激活日期的确认,将其视为下一个关键基本面催化剂。
ZEC

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注