本站消息,零证明软件开发商Risc Zero发推称,其以太坊开源ZK区块证明器Zeth已集成Optimism基础架构,支持从以太坊主网可证明地构建和导出Optimism区块,在链上验证简洁证明,并将ZK欺诈和有效性证明开发带入OP Stack。该集成利用了revm、alloy和etherscrates。