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