ABAB Pedia

Sean Bowe

Sean Bowe 是密碼學工程師和研究者,ZcashZcash(ZEC)Zcash 是2016年10月28日上線的開源隱私型區塊鏈,原生資產為 ZEC,採用 Equihash 工作量證明,協議供應上限為2,100萬枚。它由 Zerocoin/Zerocash 研究發展而來,由 Zooko Wilcox 領導的團隊推動上線,提供透明和屏蔽交易、查看密鑰及統一地址。2026年7月,Ironwood/NU6.3 上線,建立新屏蔽池並限制舊 Orchard 池,以加強供應完整性驗證。點擊查看完整詞條 聯合創始人與首位工程師,長期在 Electric Coin Company 設計並實現 Zcash 的零知識證明密碼學,2019年提出無需可信設置的遞歸證明系統 Halo;2025年起領導 Zcash 擴容項目 Project TachyonTachyon(Zcash)Tachyon(Project Tachyon)是 Zcash 聯合創始人 Sean Bowe 於2025年提出、由社區成員開發的 Zcash 擴容升級提案,通過“不經意同步”和證明攜帶數據(PCD)縮小屏蔽交易體積、限制驗證者需保存的狀態,並取消鏈上秘密分發以實現完整的後量子隱私;截至2026年10月它仍在開發中,主網激活須經社區批准。其團隊在2026年還主導了 Ironwood 升級的形式化驗證。點擊查看完整詞條,並參與主導2026年的 Ironwood 升級,同時維護 Zcash 全節點 Zakura。

本頁目錄12 節
詞條資料

Zcash 首位工程師

Sean Bowe 是 Zcash 的聯合創始人和項目首位工程師,為 Zcash 2016年主網上線設計並實現了 zk-SNARK 密碼學,此後十年間 Zcash 的每次升級也由他負責這部分工作,併合著了多篇相關學術論文。他在 Zcash 的開發公司 Zcash Company(後更名 Electric Coin Company,ECC)長期擔任工程師和密碼學家。⁠[1][1][2]

Sapling 升級與秘密修復偽造漏洞

2018年3月1日,Zcash Company 密碼學家 Ariel Gabizon 在金融密碼學會議期間發現,Zcash 最初所用 zk-SNARK 構造的論文 [BCTV14] 存在一個可被用來偽造屏蔽幣的細微缺陷,他當晚聯繫同在會場的 Bowe 確認,兩人隨即報告首席執行官 Zooko WilcoxZooko WilcoxZooko Wilcox 是計算機安全專家、早期 cypherpunk、Electric Coin Company(ECC)創始人及 Zcash 的主要發起者,早年論文署名也使用 Zooko Wilcox-O’Hearn。他參與 DigiCash、Mojo Nation、Tahoe-LAFS 和密碼學軟件研究,領導 ECC 將 Zcash 於2016年推向主網。2023年卸任 ECC 首席執行官後,他於2024年加入 Shielded Labs 擔任產品負責人及董事,並於2025年獲聘為 Cypherpunk Technologies 戰略顧問。點擊查看完整詞條。Bowe 提議借即將到來的 Sapling 網絡升級,改用 Groth16 證明系統及新儀式生成的參數,以秘密方式修復漏洞,團隊採納了這一建議。2018年10月28日 Sapling 激活,漏洞隨之消除,此前知情者只有四人;同年11月,Bowe 用原始儀式參與者保存的光盤重建並公佈了儀式記錄。⁠[3][3][3][3][3][3]

同年9月,ECC 的系列訪談中,Bowe 表示他認為隱私是一項人權,並對監管前景保持樂觀,認為監管者開始理解隱私對金融和去中心化金融模式的必要性。⁠[4][4]

發現 Halo

2019年9月10日,ECC 宣佈其工程師兼密碼學家 Bowe 發現了 Halo——一種無需可信設置即可實現實用零知識遞歸證明組合的技術,相關論文由 Bowe 與 Daira Hopwood、Jack Grigg 合著。Halo 通過在橢圓曲線循環上反覆“嵌套攤銷”,讓證明能高效驗證自身的另一實例,從而免去協調困難、存在系統性風險的可信設置。ECC 以開源許可免費發佈論文與原型實現,不設專利限制。⁠[5][5][5][5][5][5]

提出 Project Tachyon

2025年4月2日,Bowe 在個人博客提出 Tachyon,一組讓 Zcash 屏蔽交易可擴展的協議改動。他認為,Zcash 的擴容瓶頸並非 zk-SNARK 驗證本身,而在於全局狀態的傳播與協調;方案核心是“不經意同步”(oblivious synchronization),並藉助證明攜帶數據(PCD)壓縮區塊中的屏蔽交易,同時把付款信息改為鏈下傳遞。他表示,這一計劃可用 Zcash 已熟練部署的密碼學實現,不依賴投機性研究。4月17日,他介紹了為此開發的 Rust 遞歸證明工具包 Ragu;5月15日撰文說明 Tachyon 將取消鏈上秘密分發、簡化密鑰結構。⁠[6][6][6][6][6][6][7][8]

2025年10月16日,Bowe 撰文討論 Zcash 與量子計算機,認為 Zcash 屏蔽交易在許多常見情形下已具備後量子隱私,量子威脅主要在於橢圓曲線密碼被破解後可能導致偽造;他表示 Tachyon 將取消鏈上秘密分發,以全面防禦針對鏈上交易隱私的量子攻擊。⁠[9][9][9]

Zcash 工程答疑會

2026年3月17日,Bowe 作為嘉賓參加 Zcash 工程答疑會第5期,講解 Project Tachyon。主辦方介紹,Tachyon 由 Halo 和 Sapling 背後的密碼學家 Bowe 領導,旨在讓錢包無需下載整條鏈、也無需透露所查信息即可保持同步,並免去驗證者無限增長的狀態負擔。⁠[10][10][10]

Orchard 漏洞後倡導形式化驗證並推動 Ironwood

2026年5月 Orchard 偽造漏洞被披露後,Bowe 6月5日在 X 上表示,屏蔽協議以隱私換取對密碼學假設的依賴,無法另找“捷徑”核驗池內情況,唯一辦法是依靠穩妥的假設並讓代碼無懈可擊,即對屏蔽協議及其實現做形式化驗證。6月6日,他與 Valar GroupValar GroupValar Group 是專注 Zcash 協議研發的密碼學研究與工程團隊,由 Osmosis 聯合創始人 Dev Ojha 領導,成員多來自 Osmosis 與 Celestia;2026年它參與 Ironwood 網絡升級,與 Project Tachyon 合作發佈全節點軟件 Zakura,並開發了 Zcash 的隱私持幣人投票鏈。點擊查看完整詞條 的 Dev OjhaDev OjhaDev Ojha 是密碼學工程師,Cosmos 早期團隊成員、去中心化交易所 Osmosis 聯合創始人;2026年起領導專注 Zcash 協議研發的 Valar Group,並與 Sean Bowe 共同維護 Zcash 全節點軟件 Zakura。點擊查看完整詞條 以 Project Tachyon 和 Valar Group 聯合聲明的形式提出 Ironwood:新建一個沿用 Orchard 協議的屏蔽池,同時停止舊池內的收付,迫使任何可能存在的偽造幣經轉換閘流出,從而審計 Orchard 池的供應量。⁠[11][11][11][11][12][12][12][12]

Zakura 節點與 Ironwood 形式化驗證

2026年7月15日,Bowe 與 Dev Ojha 發佈基於 Zcash 基金會 Zebra 代碼分叉的新全節點 Zakura 1.0.0,測試中同步主網約需4小時20分鐘,Zebra 約需20小時46分鐘;兩人表示長遠目標是讓私密支付達到約每秒5萬筆交易的吞吐量。Zakura 由 Project Tachyon 與 Valar Group 合作開發,Bowe 任維護者之一。⁠[13][13][13][13][1][1]

7月28日 Ironwood 作為 NU6.3 激活當天,Bowe 與 Tal Derei 發佈用 Lean 編寫的機器驗證證明,包含2700多條定理,證明 Ironwood 不存在無法察覺的偽造漏洞,由三支研究團隊歷時一個多月完成。8月14日,他代表 Project Tachyon 就這項工作向幣持有人追溯式資助計劃申請738,942美元,9月29日致謝資助獲批。⁠[14][14][14][2][2][2]

主張妥善停用 Sprout

2026年9月4日,針對 NU7 民調中何時禁用 v4 交易的問題,Bowe 撰文主張在 NU7 禁用 v4 交易,從而無限期凍結僅能使用該格式的原始屏蔽池 Sprout,並以基於新可擴展交易格式的恢復協議讓持有人經轉換閘取回資金。他提到,2018年 Sprout 偽造漏洞的修復他亦有參與,並認為該池是純粹的技術債務和不必要的安全風險。⁠[15][15][15][15][15][15]

Zcash Zummit

2026年10月9日,Bowe 以 Tachyon 代表身份在新加坡 Network State Conference 2026 的 Zcash Zummit 專場演講,大會介紹他為 Zcash 聯合創始人。⁠[16][16]

主題:研究領域與論文

Bowe 自述為專注 zk-SNARK、遞歸證明、隱私保護協議以及用 Rust 實現高效安全密碼學的密碼學工程師和研究者。他參與撰寫的論文包括《Recursive Proof Composition without a Trusted Setup》、可更新通用參考串 zk-SNARK、隨機信標模型下可擴展的 zk-SNARK 參數多方計算,以及 Zexe 去中心化私密計算等。截至2026年10月,他任 Project Tachyon 首席密碼學家、Zakura 維護者和 ZIP 編輯。⁠[17][17][17][17][17][18][1]

關聯機構、網站與公開賬號

來源

  1. About Zakura — Zcash Full Node Team(在新窗口打開)
  2. Retroactive Grant Application - Ironwood zk-SNARK Formal Verification (Project Tachyon)(在新窗口打開)
  3. Zcash Counterfeiting Vulnerability Successfully Remediated(在新窗口打開)
  4. Perspectives on Privacy and Regulation from Gavigan and Bowe(在新窗口打開)
  5. Halo: Recursive Proof Composition without a Trusted Setup(在新窗口打開)
  6. Tachyon: Scaling Zcash with Oblivious Synchronization(在新窗口打開)
  7. Ragu for Orchard: Recursion Al Dente(在新窗口打開)
  8. Tachyaction at a Distance(在新窗口打開)
  9. Zcash and Quantum Computers(在新窗口打開)
  10. Zcash Engineering Office Hours #5: Project Tachyon with Sean Bowe(在新窗口打開)
  11. Sean Bowe on formal verification of shielded protocols(在新窗口打開)
  12. Ironwood: Auditing the Orchard Pool's Supply(在新窗口打開)
  13. Zakura Node Hits Four-Hour Sync as Zcash Preps July 28 Ironwood Upgrade(在新窗口打開)
  14. Formal Verification of Zcash Ironwood Completed(在新窗口打開)
  15. Disabling Sprout the Right Way(在新窗口打開)
  16. Network State Conference: Singapore Oct 9, 2026(在新窗口打開)
  17. about me - sean bowe(在新窗口打開)
  18. Team — Project Tachyon(在新窗口打開)
  19. Sean Bowe (@ebfull) on X(在新窗口打開)