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]