Tachyon（Zcash）

2025年4月2日，Zcash 联合创始人 Sean Bowe 在个人博客发表《Tachyon: Scaling Zcash with Oblivious Synchronization》，提出一组让 Zcash 协议逐步扩容、同时为现有用户和钱包提供平滑过渡的改动。他认为，zk-SNARK 验证从来不是 Zcash 扩容的障碍，真正的瓶颈在于屏蔽交易必须彼此不可区分，因而要传播和协调全局状态；关键是一种他称为“不经意同步”（oblivious synchronization）的钱包与区块链交互新模式，并借助证明携带数据（PCD）让区块无论包含多少屏蔽交易都能保持小巧、快速验证。⁠[1][1][1][1][1]

方案还假设今后的付款改由收付双方通过链外渠道传递付款信息，从而把链上密文整体移除；Bowe 承认这会带来代价，例如用户不能再仅凭助记词从区块链恢复资金，也不能公开张贴收款地址，需要额外基础设施补足。他表示，这一计划短期内可用 Zcash 已熟练部署的密码学实现，无需依赖投机性研究，工程规模可与当年的 Sapling 升级相比。⁠[1][1][1][1][1][1]

2025年4月17日，Bowe 介绍他为 Tachyon 开发的 Rust 递归证明（PCD）工具包 Ragu，它支持非均匀电路、采用简单的类 R1CS 算术化，并专为 Orchard 使用的 Pasta 曲线构建。5月15日，他撰文说明 Tachyon 首次在 Zcash 屏蔽协议中全面采用链外付款，取消链上秘密分发，从而去掉密钥多样化、查看密钥乃至付款地址等复杂结构，同时保留 Orchard 的部分设计；Tachyon 可作为对现有 Orchard 池的升级部署，也可借助转换闸作为独立屏蔽池部署。⁠[2][2][2][3][3][3][3]

2025年10月16日，Bowe 撰文表示，作为 Tachyon 扩容工作的一部分，计划取消 Tachyon 交易中的链上秘密分发，以全面防御针对链上交易隐私的量子攻击，应对“先收集、后解密”的威胁。⁠[4][4]

同月，Zcash 社区论坛有成员质疑 Tachyon 缺点过多、尚无概念验证与基准测试，不应优先于 Crosslink；Shielded LabsShielded LabsShielded Labs 是总部设在瑞士的非营利 Zcash 支持组织，2022年12月以瑞士协会形式成立，主要依靠捐赠运作、从未领取 Zcash 开发基金或区块奖励；它主导网络可持续机制（NSM）、混合工作量证明与权益证明共识 Crosslink 等协议提案，2026年其聘请的研究员发现 Orchard 伪造漏洞后，它与其他开发团队共同提出并推动了 Ironwood 升级。点击查看完整词条 工程经理 Mark Henderson 澄清，Crosslink 与 Tachyon 是两个相互独立的项目，路线图和时间表并不必然相互影响。⁠[5][5][5][5]

2026年2月，Project Tachyon 开设 X 账号 @TachyonZcash。3月17日，Bowe 在 Zcash 工程答疑会第5期讲解 Tachyon。主办方介绍，现有 Zcash 钱包须扫描链上每一笔加密交易才能找到自己的资金，验证者还须永久保存不断增长的废止符（nullifier）集合，使 Zcash 不可能扩展到数十亿用户；Tachyon 引入递归 PCD 与不经意同步，让钱包无需下载整条链、无需透露所查信息即可保持同步，并为每秒数千笔屏蔽交易铺路。⁠[6][7][7][7][7][7]

2026年5月7日，Bowe 与 Tal Derei 撰文阐述 Ragu 的设计：它力求成为最初 Halo 论文的生产级实现，出于规避风险的考虑，大量沿用 Zcash 在 Orchard 中已部署的 Pasta 椭圆曲线循环、Poseidon 哈希和基于内积论证的多项式承诺，基本不使用2021年以后的新密码学；与 Orchard 在 halo2 库中手工优化的 PLONK 式算术化不同，Ragu 采用简单的类 R1CS 方案。⁠[8][8][8][8]

2026年5月 Orchard 伪造漏洞被发现后，Project Tachyon 暂停自身路线图。6月6日，它与 Valar GroupValar GroupValar Group 是专注 Zcash 协议研发的密码学研究与工程团队，由 Osmosis 联合创始人 Dev Ojha 领导，成员多来自 Osmosis 与 Celestia；2026年它参与 Ironwood 网络升级，与 Project Tachyon 合作发布全节点软件 Zakura，并开发了 Zcash 的隐私持币人投票链。点击查看完整词条 发表联合声明提出 Ironwood 升级，两者均为由私人捐赠资助、合作改进 Zcash 密码学的组织；随后 Tachyon 主导 Ironwood zk-SNARK 的形式化验证，实现新电路改动，出资聘请 zkSecurity 和 Formal Land 两家独立验证公司，并把它们的工作与自己用 Lean 编写的 Halo 2 机器验证证明衔接起来。⁠[9][10][9][9][11]

7月28日 Ironwood 作为 NU6.3 激活当天，团队发布用 Lean 编写、包含2700多条定理的机器验证证明，证明 Ironwood 不存在无法察觉的伪造漏洞（以密码学假设为前提），由三支研究团队历时一个多月完成。8月14日，Tachyon 就这项工作申请币持有人追溯式资助738,942美元，其中外部审计与形式化验证费用22.5万美元，9月29日 Bowe 致谢资助获批。⁠[12][12][9][9]

Project Tachyon 与 Valar Group 合作开发 Zcash 全节点 Zakura，两支团队主要负责改进 Zcash 的可扩展性，也是 Ironwood 实施与协调的主要力量。9月28日，Tachyon 宣布开始把自身的递归证明并入 Zakura 的密码学栈 Common，首批发布若干吸收了 Ragu 成熟组件的 Zakura 代码库。⁠[13][14][14]

2026年9月29日，项目团队撰文说明 Tachyon 如何缩小验证者需维护的废止符集合：引入“纪元”（epoch），让票据的废止符按纪元变化，验证者只需保存近期滚动窗口，更早的历史由钱包自行证明其票据先前的废止符从未上链。10月1日，Shielded Labs 宣布的后量子密码学项目 Epoch 表示将与 Sean Bowe、Tal Derei 等 Project Tachyon 团队密切合作，以保持双方工作一致。⁠[15][15][15][16]

Project Tachyon 称，Tachyon 可把交易缩小两个数量级，并消除验证者状态的失控增长，同时附带获得完整的后量子隐私。在现有协议中，每个验证者必须永久保存所有已公开的废止符，即使交易量不大也会每天增长数 GB；Tachyon 的不经意同步由远程服务逐步构建“资金未被花费”的证明，而服务永远无从得知用户真正的废止符，因为协议迫使废止符周期性地以不可关联的方式演化。PCD 还让区块生产者无需用户协调即可聚合屏蔽交易。为兼容硬件钱包等现有生态，它保留与现有密码学的向后兼容。⁠[17][18][18][18][18]

路线图分为四部分：基础 PCD 方案 Ragu 须经多轮优化与审计才能部署；支付协议与屏蔽协议解耦，一条路线借助私有信息检索（PIR）和后量子密钥交换实现，另一条探索依赖专用基础设施的票据投递；新屏蔽协议将作为独立于现有 Orchard 池的新池先部署到测试网；待达成社区共识并满足 ZIP 要求后再在主网激活。⁠[19][19][19][19][19]

截至2026年10月，Project Tachyon 团队由首席密码学家 Sean Bowe 以及 Tal Derei、Connor O’Hara、Alex Xiong、L Winslow 和 Samuel Akinosho 组成。其运营主体 Tachyon Foundation 此前由 Zcash 币持有人的私人捐赠资助，已在怀俄明州组建501(c)(4)组织并正在申请美国国税局认可。Tachyon 定位为由社区成员积极开发的 Zcash 升级提案，与所有网络升级一样，激活前须经社区批准。⁠[20][9][9][17]

Project Tachyon：官网：https://tachyon.z.cash/（在新窗口打开）。⁠[6]

X：公开账号：https://x.com/TachyonZcash（在新窗口打开）⁠[6]

GitHub：公开账号：https://github.com/tachyon-zcash（在新窗口打开）⁠[17]