According to Foresight News, Risc Zero, a zero-proof software developer, tweeted that its Ethereum open source ZK block prover Zeth has integrated the Optimism infrastructure. This means that it is now possible to provably build and export Optimism blocks from the Ethereum mainnet, verify concise proofs on the chain, and bring ZK fraud and validity proof development into the OP Stack. The integration utilizes revm, alloy, and ethers crates.