make test-agg is the main testing entry point for the multi-level circuit constraint system of scroll-zkevm. Developers can understand how the system works by reading the codes of this test.
Besides, make test-super-trace can be used to test the first-level circuit.
This repository is designed to be used as a Rust crate, rather than a standalone running process. However, you can still use the following command to run binaries locally.
Setup
cargo build --release --bin setup
./target/release/setup --params <params-file-path>If you run into linking issues during setup you may need to run
cp `find ./target/release/ | grep libzktrie.so` /usr/local/lib/to move the zktrielib into a path where your linker can locate it
Prove
cargo build --release --bin prove
./target/release/prove --helpLicensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.