STEEL 1.0: A PRODUCTION-READY SMART CONTRACT PROVER

Summary from the TLDR Crypto newsletter

RISC Zero has launched Steel, a smart contract prover that moves EVM app execution offchain while maintaining onchain security. It effectively bypasses gas limits through contract execution proofs, enabling boundless runtime and significant cost reductions. Steel allows EVM devs to optimize expensive onchain operations and build apps that were previously impossible due to gas constraints while preserving EVM compatibility and security.