RISC Zero introduced Steel 2.0, describing it as a zk-coprocessor for EVM developers that shifts expensive or complex computation offchain while preserving onchain verifiability. The core idea is to let Solidity applications use historical state, multi-block data, and onchain event logs as trusted inputs, then return only a compact proof that can be checked onchain at constant gas. The release matters because it targets a common constraint in Ethereum development: smart contracts are limited by block gas caps and cannot easily perform large queries or multi-step computations within a single transaction. By moving computation into a zero-knowledge proof workflow, Steel aims to enable richer contract logic without relying on traditional indexers or sacrificing security assumptions, and its support in the broader Boundless ecosystem suggests the tool is being positioned as part of a larger proof infrastructure stack for Ethereum applications.

AI-generated background, compiled from web sources — not editorial content.

More coverage

Explore the topic

Loading related coverage…

Explore the full feed

Comments

Loading comments…