examples

Examples

This directory includes three example uses of Steel. Each example demonstrates a different concept of Steel.

ERC20 Balance Query

This introductory example illustrates how to use Steel to directly query the balanceOf function of any ERC20 token contract, providing a verifiable proof of a user's token balance.

ERC20 Counter with Off-Chain Proofs

Explore a more advanced interaction between Steel and a custom Ethereum smart contract. This counter contract utilizes off-chain Steel proofs to:

• Increment a counter based on user-submitted proofs.
• Verify ERC20 token ownership (minimum 1 token required) before incrementing.
• Leverage RISC Zero as a coprocessor for efficient proof generation and verification.

Event Query

This example illustrates how to use Steel to query and process events. This example computes the total USDT transferred in a block by evaluating the ERC20 Transfer event emitted by the corresponding contract.

Compound Token Stats (APR Proof)

This example shows how the Steel library can be used to call multiple view functions of a contract. This example generates a proof of a Compound cToken's APR (Annual Percentage Rate), showcasing the potential for on-chain verification of complex financial metrics.

ERC20 Balance Query using op-steel

L2 Execution - L2 Verification

This example shows how to use op-steel to query the balanceOf function of an ERC20 token on Base, providing a proof that can be verified on Base.

L1 Execution - L2 Verification

This example shows how to use op-steel to query the balanceOf function of an ERC20 token on Ethereum and how the generated proof can be verified on Base.

L2 Execution - L1 Verification

This example shows how to use op-steel to query the balanceOf function of an ERC20 token on Base and how the generated proof can be verified on Ethereum.