Succinct推出SP1 Hypercube:实现以太坊实时证明的突破
由Paradigm支持的初创公司Succinct近日发布了SP1 Hypercube,这是一款新一代的zkVM(零知识虚拟机)。该公司声称,该技术能够在12秒内为以太坊区块生成零知识证明,标志着实时证明竞赛中的一个重要里程碑。
实时证明是以太坊扩展路线图的关键,它能够在不影响可验证性或去中心化的情况下,提升Layer 1的吞吐量、原生Rollup的安全性以及互操作性。Succinct团队在一份声明中表示,在对10,000个以太坊主网区块的内部测试中,该系统使用200个Nvidia RTX 4090 GPU集群,实时证明了93%的区块,平均证明时间仅为10.3秒。
实时证明的三大意义
以太坊基金会研究员Justin Drake评论了这项技术的广泛意义:“实时证明对以太坊来说是一个巨大的突破,主要有三个关键原因。首先,它使我们能够使用ZK验证器和ZK执行客户端扩展Layer 1。其次,它允许更安全的Rollup,这些Rollup不依赖于多重签名或治理——我们称之为原生Rollup。第三,它为共享排序和同步可组合性打开了大门,为更统一的以太坊铺平了道路——Layer 1的网络效应可以扩展到整个生态系统,包括其Layer 2。”
Succinct团队解释说,与Solana等高吞吐量链竞争通常意味着提高以太坊Layer 1的硬件需求,这可能会排除家庭验证者。Succinct表示,零知识证明通过将繁重的计算卸载到少数证明者系统来避免这一问题。这些系统执行完整过程并生成加密证明,显示其正确完成,而无需揭示底层数据,从而使验证者能够快速验证结果,而无需重新执行工作。
技术突破与开源
Succinct联合创始人兼首席技术官John Guibas表示:“实时证明是零知识领域的太空竞赛,这是一项技术和象征性的突破,曾经感觉遥不可及。一年前,这被视为科幻小说。今天,它是开源的,并在12秒内生成以太坊证明。这是我们在ZK领域的四分钟英里。”
在一次现场演示中,Succinct在仅10.8秒内证明了以太坊区块22309250——包含143笔交易并消耗了3200万gas——并实时生成了一个1MB的证明。尽管包括RISC0、Snarkify和Kakarot在内的多个团队一直在积极朝着这一目标努力,但Succinct表示,它是第一个达到“实时”12秒以下速度的团队。
架构创新与未来展望
Succinct密码学负责人Ron Rothblum表示:“实现实时证明需要在堆栈的每一层进行架构更改。SP1 Hypercube在专门构建的GPU集群上并行处理每个区块超过6亿个RISC-V周期,并与为延迟和容错设计的定制基础设施协调。”
Succinct已经开源了SP1 Hypercube验证器和以太坊证明器代码,并计划在即将进行的审计后全面部署。该公司估计,使用优化硬件,最终可以以低至10万美元的成本构建实时证明器集群,使其在以太坊基础设施和新的基于zk的应用程序中更广泛地采用成为可能。
此前,Succinct宣布将推出PROVE作为其证明器网络的原生代币——这是一个在以太坊上用于零知识证明的去中心化协议。2024年,该项目的核心开发者Succinct Labs在由Paradigm领投的A轮融资中筹集了5500万美元。