risc0-ethereum
risc0-ethereum copied to clipboard
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
We currently some code sitting in the Foundry template for handling deployment configs. In particular, it helps the user specify which verifier they want to use on the chain they...
Previously, `EvmEnv::block_commitment()` returned the commitment with respect to the block holding the EVM state. This is not very flexible. To improve this, the PR adds the `EvmChainInput` that in addition...
An attempt to resolve the issues with https://github.com/risc0/risc0-ethereum/issues/106 by adding a `rerun-if` output to the `build.rs` script
Implement changes to the `cargo risczero new` command such that it can instantiate a project from the Foundry template, and that it can instantiate a project from examples in `risc0`...
This PR adds the `op-steel` crate, which provides wrappers and utilities to run Steel on OP and do cross-domain proofing.
When we validate a commitment, we should check that the config ID matches the chain on which we are verifying (e.g. that a call that is executing against Sepolia used...
OP Steel
Add a crate adding the relevant wrappers to do L1->L2 and L2->L1 validation with OP.