Install Solidity compiler solc
of version 0.8.19
via svm-rs:
cargo install svm-rs
svm install 0.8.19
Fetch git-submodule of test traces
git submodule init
git submodule update --checkout
Download all setup params, degree 20
, 24
and 26
are used in config.
Could only download params of degree 26
, but it may affect performance (when downsizing params).
make download-setup -e degree=20
make download-setup -e degree=24
make download-setup -e degree=26
Or specify other degree and target directory to download.
# As default `degree=26` and `params_dir=./integration/test_params`.
make download-setup -e degree=DEGREE params_dir=PARAMS_DIR
make test-chunk-prove
and make test-agg-prove
are the main testing entries for multi-level circuit constraint system of scroll-prover. Developers could understand how the system works by reading the codes of these tests.
And there are other tests:
make test-inner-prove
could be used to test the first-level circuit.make test-batch-prove
could be used to test the final two levels.make test-batches-with-each-chunk-num-prove
could be used to test batch proving with different chunk numbers.
Could use the following command to run binaries locally.
If run into linking issues 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 could locate it.
Run zkevm prover to generate chunk proof (work directory is ./integration
)
cargo build --release --bin zkevm_prove
./target/release/zkevm_prove --help
Could specify arguments as
# Proof data will be saved to `./integration/proof_data`.
export OUTPUT_DIR="proof_data"
# Params file should be located in `./integration/test_params`.
cargo run --release --bin zkevm_prove -- --params=test_params --trace=tests/extra_traces/new.json
Run zkevm verifier to verify chunk proof (work directory is ./integration
)
cargo build --release --bin zkevm_verify
./target/release/zkevm_verify --help
Could specify arguments as
cargo run --release --bin zkevm_verify -- --params=test_params --proof=proof_data
- If you have read access for DB, could run command to generate full-proof for batch tests:
export DB_HOST=
export DB_USER=
export DB_NAME=
sh scripts/gen_full_chunk_proofs.sh BATCH_INDEX
docker/chunk-prover
is used to build and run GPU chunk-prover.docker/mock-testnet
is used to build and run GPU mock-testnet (inner-prove or chunk-prove).
Both YUL and bytecode of verifier contract could be generated when running aggregation tests (make test-agg-prove
). After running aggregation tests, a new folder is created in integration
folder of scroll-prover and named as agg_tests_output_multi_DATE_TIME
. It contains below files:
- Chunk protocol:
chunk_chunk_0.protocol
- Chunk VK:
vk_chunk_0.vkey
- Batch VK:
vk_batch_agg.vkey
- Verifier YUL source code:
evm_verifier.yul
- Verifier bytecode:
evm_verifier.bin
The YUL source code is generated by params, VK and num instance of proof, could reference gen_evm_verifier function in snark-verifier.
The verifier bytecode is compiled from YUL source code, it invokes Solidity compiler (0.8.19
as mentioned above) command line with specified parameters, could reference compile_yul function in snark-verifier.
Licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or https://opensource.org/licenses/MIT)
at your option.