Examples of Ethereum simulations implemented using the VERBS rust library.
This is a demonstration of the use of VERBS as a purely Rust library, in comparison to the Python API examples found here.
Full documentation for the Rust API can be found here.
The example can be run from the CI using cargo, running
cargo run --release -- --help
will show the program arguments.