RISC Zero 推出 zkVM 1.0

RISCZero推出zkVM1.0RISCZero推出了zkVM1.0，这是其通用zkVM的生产就绪迭代版本。该系统可为任何用Rust编写的程序生成证明，并兼容多条链，可在任何链上进行证明验证。据RISCZero称，zkVM1.0比Plonky3等竞争证明系统更具成本效益。在zkVM发布之前，RISCZero举行了可信设置仪式，接受了安全审计，并在以太坊、Base、OP、Arbitrum、WorldChain和Starknet等多个平台上发布了其验证器。开发人员现在可以使用zkVM在任何链上创建ZK驱动的dapp。

【RISC Zero将在多链推出通用验证器，为其zkVM发布的前置工作】

【RISCZero将在多链推出通用验证器，为其zkVM发布的前置工作】2024年05月28日11点05分5月28日消息，零知识证明软件开发商RISCZero发推称，将在多链推出通用验证器，这是其zkVM（零知识虚拟机）1.0发布路线图中的第3步（共4步）。该通用验证器使区块链和开发者能够利用可验证的链外执行，让开发者可以在RISCZero的zkVM中运行Rust程序，生成证明，并在链上无缝验证。

RISC Zero 将在多链推出通用验证器，为其 zkVM 发布的前置工作

RISCZero将在多链推出通用验证器，为其zkVM发布的前置工作5月28日消息，零知识证明软件开发商RISCZero发推称，将在多链推出通用验证器，这是其zkVM（零知识虚拟机）1.0发布路线图中的第3步（共4步）。该通用验证器使区块链和开发者能够利用可验证的链外执行，让开发者可以在RISCZero的zkVM中运行Rust程序，生成证明，并在链上无缝验证。

【零知识证明公司RISC Zero与L2协议Layer N联合推出零知识欺诈证明系统】

【零知识证明公司RISCZero与L2协议LayerN联合推出零知识欺诈证明系统】5月24日消息，零知识证明初创公司RISCZero宣布与模块化L2协议LayerN联合推出零知识欺诈证明系统。该系统通过将LayerN的执行环境移植到RISCZero的zk虚拟机上，以实现提升区块链性能的同时，保证区块链的可靠性和安全性。未来，zkVM还将实现与其他执行层的兼容，如EVM、SVM和WASM等。此前报道，去年8月，零知识证明初创公司RISCZero宣布完成1200万美元种子轮融资，BainCapitalCrypto领投。

RISC Zero 通过其 ZK 区块证明器 Zeth 为 OP Stack 带来有效性证明

RISCZero通过其ZK区块证明器Zeth为OPStack带来有效性证明零证明软件开发商RiscZero发推称，其以太坊开源ZK区块证明器Zeth已集成Optimism基础架构，支持从以太坊主网可证明地构建和导出Optimism区块，在链上验证简洁证明，并将ZK欺诈和有效性证明开发带入OPStack。该集成利用了revm、alloy和etherscrates。

【RISC Zero通过其ZK区块证明器Zeth为OP Stack带来有效性证明】

【RISCZero通过其ZK区块证明器Zeth为OPStack带来有效性证明】2024年05月24日02点34分老不正经报道，零证明软件开发商RiscZero发推称，其以太坊开源ZK区块证明器Zeth已集成Optimism基础架构，支持从以太坊主网可证明地构建和导出Optimism区块，在链上验证简洁证明，并将ZK欺诈和有效性证明开发带入OPStack。该集成利用了revm、alloy和etherscrates。