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(在新窗口打开)