v0.0.3

New features:

• Risc0 circuit with metal and cuda acceleration

v0.0.2

New features:

• cuda feature for prover crate

Other:

• constants.rs to cleanup some tests

v0.0.1

This release presents a feature complete library to verify Ethereum state proofs in Rust as of November 2024.
Use at own risk and without guarantees, to:

• verify accounts cryptographically
• verify state cryptographically
• verify transactions and receipts cryptographically
• generate ZKPs in SP1, Risc0 and other Rust proving systems for merkle proof verifications

Work tbd:

• explore alternative trie libraries and if possible eliminate the need to construct the branches
• expand on the circuits with recursion
• add hardware acceleration for cuda and metal (will be done asap in 0.0.2!)
• implement a solidity verifier for wrapper proofs (if computationally feasible, use-case dependent decision making)