Uma Roy 是 Succinct 的联合创始人兼首席执行官 (CEO),该公司专注于开发 零知识 (ZK) 技术的基础设施。她拥有人工智能研究和软件工程背景,曾在 Google Brain 担任职务,并曾担任 Gantry 的创始工程师。 [1] [2]
罗伊在麻省理工学院(MIT)获得了计算机科学硕士学位。在她的学术生涯中,她还为广义量子群的研究做出了贡献。 [1] [8]
在进入 区块链 行业之前,Uma Roy 曾在多家科技和金融公司实习,包括 D. E. Shaw Research(从事计算生物学和药物发现工作)和 Citadel LLC。后来,她加入 Google Brain 担任人工智能研究员,专注于自然语言处理 (NLP) 和跨语言学习。在 Google 工作之后,她成为 Gantry 的创始工程师。[1]
Roy 与 John Guibas 共同创立了总部位于旧金山的 Succinct,并担任首席执行官。该公司的既定使命是让所有开发者都能使用 零知识 技术。在其领导下,Succinct 为 ZK 领域开发了多个关键基础设施。其核心产品之一是 SP1,这是一个开源、高性能的 RISC-V 零知识虚拟机 (zkVM)。Roy 将 SP1 定位为 以太坊 未来的关键组成部分,尤其是在 以太坊虚拟机 (EVM) 过渡到 RISC-V 架构的提案中。
2024 年 12 月,Succinct 发布了 Succinct 网络的 白皮书,这是一个去中心化的证明网络,旨在允许任何人使用 SP1 zkVM 为证明软件做出贡献。Roy 表示:“Succinct 网络将把 SP1 从一个出色的开源软件变成一场运动,任何人都可以加入以帮助证明世界的软件。”2025 年 5 月,Succinct 推出了 SP1 Hypercube,这是一个重要的技术里程碑,实现了 Roy 所谓的“实时 以太坊 证明”。她将这一成就描述为“ZK 的登月时刻”。到 2025 年年中,Succinct 的网络已经吸引了来自加密生态系统中多个著名项目的用户,包括 Worldcoin、Across Protocol、Katana 和 Hibachi。[2] [8] [1] [9] [10] [11]
Roy 是零知识证明变革潜力的积极倡导者,并分享了她对零知识证明在不同区块链生态系统中的应用以及在改善用户体验方面的作用的看法。
Roy的工作基于这样的信念:零知识技术是扩展加密货币项目和增强其隐私的关键组成部分。她强调了使ZK技术能够被更广泛的开发者使用,以促进创新的重要性。通过Succinct的SP1 Hypercube实现的实时证明能力的开发,被Roy视为整个ZK领域的里程碑事件,并认为这是一项技术壮举,许多人认为这在一年之前还是遥不可及的。 [3] [2]
Roy 是 以太坊 长期路线图及其模块化架构的支持者。她表示支持最终用基于 RISC-V 的架构取代 EVM 的提议,并将像 Succinct 的 SP1 这样的 zkVM 视为这种转变的“明确的最终解决方案”。她将以太坊的生态系统与其他生态系统进行了对比,认为 以太坊 具有鼓励开发者创造力的“富足心态”。她认为,这种心态允许建设者创建“具有任何你想要的定制的不可阻挡的应用程序”,从而培养一个更灵活和创新的环境。 [2]
除了与以太坊相关的工作外,Roy还谈到了ZK技术增强比特币网络的潜力。在2025年2月ETHDenver期间举行的名为“比特币的黄金时代”的活动中,她讨论了ZK计算如何彻底改变比特币的交易处理。她认为,利用ZK证明可以显著提高网络的可扩展性、计算效率、速度和安全性。她参与了围绕比特币虚拟机(BitVM)技术和比特币可编程性的讨论,表明她有兴趣扩展比特币生态系统的功能。 [4]
Roy的理念核心是改善Web3的用户体验(UX),她认为这对于大规模采用至关重要。她提倡从基于交易的互动转变为基于意图的架构。Roy将意图定义为“较少声明性,更多地陈述最终结果”,这与交易形成对比,交易是特定的、链上记录的行为。例如,用户的意图可能是“将您的USDC尽可能多地兑换成ETH”,而无需用户指定实现该目标的具体去中心化交易所或交易路径。
Roy认为DEX聚合器是意图特定应用的早期例子,并预测“基于意图的架构的早期采用将从这些聚合器风格的应用程序开始”。她认为,虽然像账户抽象这样的技术是有益的,但它们并不能完全解决意图可以解决的UX挑战。这种对用户体验的关注也与安全性相关,尤其是在跨链互操作性的背景下。Roy承认该领域频繁发生的安全漏洞,并表示“桥经常被黑客攻击”,她将Succinct使用zk-SNARKs作为使桥接更安全的一种方式。她认为,如果该行业要支持大量用户和rollup,互操作性的未来就无法维持其当前的复杂性和安全风险。截至2023年8月,她还在探索共享排序的概念,作为另一种改善互操作性用户体验的潜在方法。 [5]
Roy曾在播客和行业活动中露面,讨论她的工作和对区块链行业的看法。
2025年6月25日,Uma Roy 出现在 Gelato YouTube 频道,与 Gelato 创始人 Luis 进行了讨论。对话主要集中在零知识 (ZK) 证明在区块链中的开发和应用,特别关注以太坊扩展、Rollup以及基于可验证计算构建的应用程序。
Roy 概述了 Succinct 在其零知识虚拟机 (ZKVM) SP1 上的工作,以及旨在支持高效证明生成和验证的去中心化证明者网络。她将早期 ZKVM 与 Succinct 基于编译器的方案进行了比较,后者将现有客户端软件编译成 ZK 证明,避免了自定义电路设计,并简化了跟上协议升级步伐的过程。
访谈讨论了乐观 Rollup 和 ZK Rollup 之间的差异。根据 Roy 的说法,乐观 Rollup 涉及更长的提款时间并依赖欺诈证明,而 ZK Rollup 使用有效性证明,可以减少提款延迟并提高效率。她还介绍了 OP Succinct,这是一种混合模型,将乐观 Rollup 基础设施与 ZK 证明集成,以缩短提款窗口。
Roy 讨论了原生 Rollup 的概念,它将通过预编译在以太坊共识层中验证 ZK 证明,将部分证明责任转移给以太坊验证者,并可能降低系统复杂性。
除了扩展之外,讨论还探讨了 ZK 技术的其他应用。这些应用包括可验证应用程序 (vApps),例如交易所或身份系统,可以使用 Rust 等语言开发并通过 zKVM 进行验证,以及 ZK KYC,这是一种身份验证模型,允许用户在不泄露底层个人数据的情况下证明属性。Roy 还指出 ZK 证明在加强规范以太坊桥梁以提高跨Layer 2解决方案的资产安全性以及实现链之间更可靠的互操作性方面的作用。
她认为,2025 年代表着零知识技术开始得到更广泛实施的时期,证明生成速度、成本降低以及在扩展、互操作性和隐私方面的实际用例都得到了改进。 [12]
在House of ZK播客的第68集中,Succinct的联合创始人Uma Roy讨论了零知识(ZK)技术的发展,重点是实时证明和去中心化证明者网络。
根据Roy的说法,在以太坊区块的时间跨度内(大约12秒)生成证明,可以在不影响可验证性的前提下提高网络吞吐量。她将Succinct的证明者网络描述为一个去中心化的市场,参与者在低延迟拍卖中竞争,以高效地生成证明。
Roy指出,虽然大约有30个zkVM项目正在开发中,但由于对形式验证、安全性和社区采用的要求,预计只有两到三个项目会得到广泛使用。她还介绍了Hypercube证明系统,该系统使用多线性多项式,旨在提高性能,与传统的基于Stark的系统相比。
采访中包括对硬件加速的观察。目前,GPU是证明生成的主要硬件,而FPGA和ASIC预计将在未来发挥越来越重要的作用。除了以太坊,Roy还提到了比特币 Rollup、可验证交易所、区块链桥以及基于ZK的会计预言机的潜在应用。
Roy谈到了开发者体验,指出Succinct的方法允许用Rust编写可验证的应用程序。她还强调了去中心化是降低集中风险的一个因素,并讨论了使用开源软件作为协作开发的一种机制。
她进一步将ZK技术描述为一个跨多个领域的可验证软件框架,包括数字身份、KYC、保险和信用评分,而不仅仅是在区块链可扩展性方面的作用。 [13]