This repository provides skeleton code to build circuits for the "Category 4: Circuit Development in Halo2-ce" track under https://zk-hacking.org.
The repository consists of 3 member crates, specifically blake2f-circuit, ripemd160-circuit and sha2-256-circuit,
to configure constraints for verifying the input-output relationships for each of the hash functions. These hash
functions are precompiled contracts in the Ethereum Virtual Machine, and Scroll's
zkEVM architecture relies on these circuits and their tables to check the input-output relationship via lookup arguments.
The repository also contains a benchmarking crate to benchmark and further optimise the layout of each of the circuits.
To run the benchmarks and see the output run the following commands:
cd benchmarking
DEGREE=17 cargo test -- --nocapture
- Workshop Recording
- Workshop Slides
- ZKP / Web3 Hackathon hosted by Berkeley RDI and in partnership with ZKP MOOC
- ZK Circuit Track (Category 4 sponsored by Scroll)
- Installing Rust