Check out the work in progress specification to learn how it works.
To run the same tests as the CI, please use: make test-all.
There are currently several benchmarks to run in the workspace in regards to the circuits.
All use the DEGREE env var to specify the degree of the K parameter that you want
to use for your circuit in the bench process.
- Keccak Circuit prover benches. ->
DEGREE=16 make packed_multi_keccak_bench - EVM Circuit prover benches. ->
DEGREE=18 make evm_bench. - State Circuit prover benches. ->
DEGREE=18 make state_bench
You can also run all benchmarks by running: make circuit_benches DEGREE=18.