RISC Zero:构建基于zkVM的以太坊扩展方案全景
在Devcon会议上,Justin Drake提出的Beam Chain提案,旨在通过zkSNARK和zkVM技术升级以太坊共识层,引发了业界对zkVM的关注。RISC Zero作为该领域的佼佼者,基于RISC-V架构,构建了一系列zkVM工具,旨在提升以太坊的可扩展性、安全性和效率。
RISC Zero的zkVM是一个通用零知识计算平台,支持Rust和C++等多种编程语言,并提供完全开源的证明者和验证者。其zkVM 1.0版本支持复杂计算,并通过Continuations技术实现高效并行计算。路线图显示,未来性能和成本将提升20倍。
围绕zkVM,RISC Zero打造了多个开源工具:
- Zeth:一个Type-0 zkEVM,可在几分钟内完成以太坊区块验证,成本低廉,并应用于zk-Rollup、轻客户端和跨链桥。
- Bonsai:一个远程证明服务,允许开发者无需专用硬件即可生成零知识证明,并应用于Bonsai Pay(基于OAuth2.0和ZKP的代币转账)和Bonsai ZK协处理器(降低链上Gas费用)。
- Boundless:一个可验证计算层,允许单个节点生成可验证的零知识证明,其他节点无需重复计算。
- Blobstream Zero:一个基于zkVM的跨链桥,连接Celestia的数据可用性层到模块化区块链生态。
- Steel:一个链下可验证智能合约执行工具,降低Gas成本。
- Kailua:一个混合ZK Rollup方案,为乐观Rollup提供升级途径,平衡成本和效率。
总而言之,RISC Zero的zkVM产品矩阵正推动零知识证明技术在多个领域的发展,其近期推出的zkVM 1.2版本,通过预编译方式进一步提升了性能和降低了成本。但zkVM技术的潜力最终需要依靠生态协作和技术落地来实现。




相关文章
- 详细阅读
- 详细阅读
-
苹果AI蒸馏研究:高效小模型训练的突破与挑战详细阅读
苹果公司近期在人工智能领域的突破性研究,为模型蒸馏技术带来了新的理解,并为高效训练小模型提供了新的思路。这项研究深入分析了蒸馏技术的缩放规律(Scal...
2025-02-23 1
- 详细阅读
-
阿里云DataWorks集成DeepSeek大模型:对大数据开发治理的深远影响详细阅读
阿里云DataWorks平台正式接入DeepSeek的两款大模型DeepSeek-R1(671B 和DeepSeek-R1-Distill-Qwen-...
2025-02-23 5
- 详细阅读
- 详细阅读
- 详细阅读
发表评论