risc0-ethereum
risc0-ethereum copied to clipboard
risc0
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
More context here https://github.com/risc0/risc0-ethereum/pull/91#issuecomment-2100548707 This is built on #110 Draft until: - [x] Update examples and usages to new API - [x] Add docs - [x] Deprecate `ViewCall` constructor -...
One rough edge in the view call library is that the `BlockCommitment` type is defined only in the Rust source code through a `sol!` macro. As a result, it is...
Not done with this yet, I would like to potentially expand this to be able to prove an average APR over multiple points in time, but I might separate that...
- Refactor examples and ffi to use the default_prover rather than bonsai-sdk - Refactor erc20-counter example to use anvil instead of Ganache Closes #77
- invoke ffi even if the git submodule is not on the default path `lib/risc0-ethereum` - pre-build ffi utility function, that can be called from the methods build.rs related to...
Context: ``` error: invalid inline table expected `}` --> ../../../../../../../home/ubuntu/.cargo/git/checkouts/risc0-7d6ab9951628e5b1/ecb7a53/templates/rust-starter/host/Cargo.toml:8:16 | 8 | risc0-zkvm = { {{ risc0_zkvm }} } | ^ | error: invalid inline table expected `}` -->...
the enumeration of key contracts in the [contracts readme](https://github.com/risc0/risc0-ethereum/tree/main/contracts#key-contracts) is self-contradictory -- it says "the 2 key contracts you'll need [as a user]..." and then goes on to enumerate 4...
Changes to `.sol` files are not properly invalidating the `sccache`. This is likely fixed by adding a `println!` to `build.rs` to ensure that we rebuild if any of the `.sol`...
* No linter is currently run on the Solidity code in CI. * `Cargo.toml` files in examples are not currently covered by Cargo sort. * `Cargo.lock` files are not ensured...