T

Tachyon

Zcash 可拓展性方案

表现

对比

详情

本内容由 RD AI 生成,仅供参考

Tachyon 为Zcash提出了一种可扩展性升级方案,该方案可将交易规模缩小两个数量级,并消除验证者状态的失控增长。

生态(1):
成立时间:
2026

关注更新

关注列表

人物

关于Tachyon

Tachyon 是 Zcash 区块链的可扩展性方案,专注于隐私(屏蔽)交易。其核心业务是重新设计屏蔽支付在链上的验证和存储方式。

它解决的主要痛点是:Zcash 的隐私交易体积大、验证成本高,且每个全节点必须永久存储所有 nullifier(防双花标记),导致链上状态无限增长。Tachyon 通过递归证明聚合(将多笔交易压缩为一个小证明)、证明携带型钱包状态(钱包自行持有余额证明,无需扫描全链)以及 nullifier 剪枝(节点只保留近期 nullifier)来解决这些问题。

其核心叙事是“行星级隐私”:在保持 Zcash 强隐私保证的同时,让链足够轻量以支持日常使用。它还引入了后量子隐私保护。

近半年(2026 年 3 月至 9 月),Tachyon 取得多项进展。2026 年 5 月,首个候选版本在测试网上线,采用 25 秒出块并翻倍 Orchard 吞吐量。ZIP 2005 增加了量子恢复能力,保护椭圆曲线密码被破解时的资金安全。然而,2026 年 6 月初,Orchard 电路被发现一个 soundness 漏洞——一个严重缺陷,理论上可能允许铸造假币。该漏洞已及时修复,并提议建立名为 Ironwood 的新屏蔽池以隔离残余风险。此事件凸显了形式化验证的重要性,目前正将其扩展到新堆栈。另一个担忧是同步服务集中化:如果少数服务商主导 oblivious sync,可能形成运营瓶颈,尽管它们无法读取用户交易。

更新时间: 2026-09-01

近半年,Zcash 可拓展性方案 Tachyon 的进展聚焦于 Ironwood 安全性与形式化验证。Ironwood 作为新屏蔽池随 NU6.3 激活,官方发布 Lean 机器证明,含 2700+ 定理,证明不存在不可检测的伪造漏洞(balance integrity)。通过 turnstile 机制强制 Orchard 资金迁移至 Ironwood,审计旧池供应量,为 ZEC 流通量提供上限。Tachyon 协议本身推进:采用 proof-carrying data (PCD) 与 oblivious synchronization,实现屏蔽交易聚合、验证状态压缩,并移除量子脆弱隐私假设。团队开发 Rust 递归 zk-SNARK 工具包 Ragu,基于 Halo 无信任设置,并开始用 zkSecurity 框架形式化验证电路。官方未来重心:将形式化验证作为加密开发核心,继续构建 Tachyon 以解决 Zcash 隐私扩展极限,推进后量子隐私。

更新时间: 2026-09-03

Sean Bowe(联合创始人,首席密码学家)

Tal Derei(工程与密码学)

Connor O'Hara(工程与密码学)

Alex Xiong(工程与密码学)

L Winslow(协议工程师)

Samuel Akinosho(工程)

来源:https://tachyon.z.cash/team/

更新时间: 2026-09-01