Struct SteelVerifier

pub struct SteelVerifier<E> { /* private fields */ }

Represents a verifier for validating Steel commitments within Steel.

The verifier is used to validate Steel commitments representing a historical blockchain state.

Usage

• Preflight verification on the Host: To prepare verification on the host environment and build the necessary proof, use SteelVerifier::preflight. The environment can be initialized using the EthEvmEnv::builder or EvmEnv::builder.
• Verification in the Guest: To initialize the verifier in the guest environment, use SteelVerifier::new. The environment should be constructed using EvmInput::into_env.

Examples

// Host:
let rpc_url = Url::parse("https://ethereum-rpc.publicnode.com")?;
let mut env = EthEvmEnv::builder().rpc(rpc_url).chain_spec(&ETH_MAINNET_CHAIN_SPEC).build().await?;

// Preflight the verification of a commitment
let commitment = Commitment::default(); // Your commitment here
SteelVerifier::preflight(&mut env).verify(&commitment).await?;

let evm_input = env.into_input().await?;

// Guest:
let evm_env = evm_input.into_env(&ETH_MAINNET_CHAIN_SPEC);
let verifier = SteelVerifier::new(&evm_env);
verifier.verify(&commitment); // Panics if verification fails

Implementations

impl<'a, D, F: EvmFactory, C> SteelVerifier<&'a mut EvmEnv<ProofDb<D>, F, HostCommit<C>>>

where D: EvmDatabase + Send + 'static, Error: From<<D as Database>::Error>, Error: From<<D as Database>::Error>, <D as Database>::Error: Send + 'static,

pub fn preflight(env: &'a mut EvmEnv<ProofDb<D>, F, HostCommit<C>>) -> Self

Available on crate feature host only.

Constructor for preflighting Steel commitment verifications on the host.

Initializes the environment for verifying Steel commitments, fetching necessary data via RPC, and generating a storage proof for any accessed elements using EvmEnv::into_input.

pub async fn verify(self, commitment: &Commitment) -> Result<()>

Available on crate feature host only.

Preflights the commitment verification on the host.

This includes checking that the commitment.configID matches the configuration ID associated with the current host environment.

pub async fn verify_with_config_id( self, commitment: &Commitment, config_id: B256, ) -> Result<()>

Available on crate feature host only.

Preflights the commitment verification on the host against an explicitly provided configuration ID.

impl<'a, F: EvmFactory> SteelVerifier<&'a EvmEnv<StateDb, F, Commitment>>

pub fn new(env: &'a EvmEnv<StateDb, F, Commitment>) -> Self

Constructor for verifying Steel commitments in the guest.

pub fn verify(&self, commitment: &Commitment)

Verifies the commitment in the guest and panics on failure.

This includes checking that the commitment.configID matches the configuration ID associated with the current guest environment (self.env.commit.configID).

pub fn verify_with_config_id(&self, commitment: &Commitment, config_id: B256)

Verifies the commitment in the guest against an explicitly provided configuration ID, and panics on failure.