Tachyon
Zcash 可拓展性方案
表现
比較
跟隨更新
跟隨列表
人物
關於Tachyon
超光速(Tachyon)是Zcash區塊鏈的一項可擴展性提案,專注於私有(屏蔽)交易。其核心業務是重新設計屏蔽支付的驗證與鏈上儲存方式。 它解決的主要痛點在於:Zcash的私有交易體積龐大且驗證成本高昂,且每個全節點必須永久儲存所有無效化標記(防止雙花的標記),導致區塊鏈狀態無限制增長。超光速透過遞迴證明聚合(將多筆交易壓縮成一個小型證明)、證明攜帶型錢包狀態(錢包自行持有餘額證明,無需掃描整個鏈)以及無效化標記修剪(節點僅保留近期無效化標記)來解決此問題。 其核心敘事是「行星級隱私」:在保持Zcash強大隱私保障的同時,讓鏈條輕量化以適用於日常使用。此外,它還引入了後量子隱私保護。 在過去六個月(2026年3月至9月),超光速達成了多項里程碑。2026年5月,首個候選版本在測試網上線,區塊時間為25秒,並將Orchard吞吐量翻倍。ZIP 2005增加了量子可恢復性,若橢圓曲線密碼學被破解,可保護資金安全。然而,2026年6月初,Orchard電路中揭露了一個健全性缺陷——這是一個嚴重的漏洞,理論上可能允許偽造憑證的產生。該漏洞已迅速修補,並提議建立名為Ironwood的新屏蔽池以隔離任何殘餘風險。此事件凸顯了形式化驗證的重要性,目前正將其擴展至整個新技術堆疊。另一個問題是同步服務集中化:若少數供應商主導了模糊同步,可能成為運營瓶頸,儘管他們無法讀取用戶交易。
過去六個月,隨著Ironwood安全性與形式化驗證的推進,Zcash可擴展性解決方案Tachyon取得了進展。Ironwood是一個新的屏蔽池,已在NU6.3中啟用。官方團隊發布了一份機器驗證的Lean證明,包含超過2,700條定理,證明了不存在無法檢測的偽造漏洞(即餘額完整性)。一個轉門機制迫使Orchard資金遷移至Ironwood,對舊池的供應進行審計,並限制流通中的ZEC數量。Tachyon的協議設計圍繞攜帶證明的數據(PCD)與遺忘同步取得進展,實現了屏蔽交易聚合、驗證者狀態壓縮,並移除了易受量子攻擊的隱私假設。團隊還建構了Ragu——一個基於Halo、無需可信設置的Rust遞迴zk-SNARK工具包,並開始使用zkSecurity的框架對電路進行形式化驗證。官方未來重點包括:將形式化驗證作為密碼學開發的核心,持續建構Tachyon以突破Zcash的隱私擴展限制,以及推進後量子隱私。
Sean Bowe(共同創辦人,首席密碼學家) Tal Derei(工程與密碼學) Connor O'Hara(工程與密碼學) Alex Xiong(工程與密碼學) L Winslow(協議工程師) Samuel Akinosho(工程)