Our ZK code is spread across three repositories:
Boojum contains the low level ZK details.
zkevm_circuits contains the code for the circuits.
zkevm_test_harness contains the tests for the circuits.
To get started, run the basic_test from the era-zkevm_test_harness:
rustup default nightly-2023-08-23
cargo update
cargo test basic_test --release -- --nocapture
This test may take several minutes to run, but you will see lot’s of information along the way!