Thread by @RiscZero

Introducing Steel: our Alloy-based view call proof library designed to revolutionize dapp scalability directly on Ethereum L1 and beyond. 🟡

Why Steel is a game-changer for EVM developers and onchain protocols ↓

With Steel, RISC Zero’s ZK Coprocessor gains access to Ethereum's full state.

Tests surpassing 100K SLOADs (>210M gas) show Steel can cut $1000s in fees with one proof.

Steel enables Layer 0.5 scaling, sidestepping Ethereum's block & txn size limits, unlocking new use cases.

Steel enhances RISC Zero’s ZK Coprocessor, offering:

✅ Solidity smart contract execution
✅ Unbounded compute via Continuations
✅ Trustless off-chain execution
✅ Security of the first production-ready zkVM
✅ No vendor lock-in

All without writing a single circuit.

Leverage our universal verifier for the first production-ready zkVM.

No running trusted setups.
No circuit-specific verifiers.

Update ZK logic easily, overcoming complexities that have hindered ZK adoption.

Imagine proving ERC-20 balances, batching thousands of signature verifications, proving blob inclusion on @Celestia, or doing all three in a few lines of code. 🤝

For an overview, check out this video from RISC Zero's Angelo Caposeele ↓

Unlock the power of ZK for your Ethereum dapp with Steel ↓
github.com/risc0/risc0-et…