risc0-ethereum
risc0-ethereum copied to clipboard
risc0
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
We have three crates that have been renamed, but their old names are still published on `crates.io` without any notes. * `bonsai-ethereum-relay` * `bonsai-ethereum-contracts` * `risc0-ethereum-view-call` We should mark these...
Foundry team fixed the bugs in Anvil that were previously preventing usage of Anvil for local development with the view call library. We can now use it, and should update...
Forge FFI is used in the tests to call out to external programs, and in our testing code is used to generate receipts that can then be used to test...
Currently, the view call proof library uses `stdin` and `env::read` to get it's required inputs, namely the Merkle inclusion proofs for the storage slots accessed in view call execution. This...
- [ ] Should move the Governance example from `risc0/` repo to `risc0/ethereum` - [ ] Should close #7 alongside this one. - [ ] Update doc links to the...
From @mothran feedback: "I would also love an example of having a unit test with the proof is baked on disk + script to regenerate all the proof test data....
In `risc-ethereum-relay` there are some e2e tests that are currently marked as ignored. Unfortunately, the tests are broken right now, and need some work to get running in CI again.