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。

【RISC Zero推出zkVM 1.0】

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

【Web3基础设施公司RISC Zero完成4000万美元融资】

【Web3基础设施公司RISCZero完成4000万美元融资】2023年07月19日09点06分老不正经报道，旨在帮助开发者开发零证明软件的基础设施公司RISCZero在BlockchainCapital领投的A轮融资中筹集4000万美元。这些资金将帮助RISCZero将其Bonsai计算平台推向市场。本轮融资的其他投资者包括GalaxyDigital、IOSG、RockawayX、Maven11、FenbushiCapital、DelphiDigital、alga<s:1>Ventures、IOBC、TributeLabs的ZeroDao和Alchemy。

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

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

【Fantom正探索添加Optimistic rollups以连接至以太坊】

【Fantom正探索添加Optimisticrollups以连接至以太坊】2023年08月09日10点28分8月9日消息，Fantom基金会正在研究在Fantom和以太坊之间添加Optimisticrollups，但联合创始人兼架构师AndreCronje更喜欢将通常所说的Layer2网络视为侧链，并将将它们结合起来的Optimisticrollups技术视为两者之间的桥梁。Cronje证实，如果Fantom采用Optimisticrollups并在以太坊上提供完整的交易历史，那么Fantom将需要支付交易费用才能将这些快照写入以太坊。Fantom基金会首席执行官MichaelKong补充说，以这种方式部署Layer2技术将使Fantom网络能够从以太坊生态系统中获得更多的流动性。