This project fully implements Halo2 from scratch and describes all the theory behind it.
This project has nix support, as such, navigating to /crates and typing
nix develop, will install the necessary rust version, with the correct
formatter and rust-analyzer included.
Unit tests can be run with cargo test in the /code directory.
To run the benchmark, go into the /crates/plonk and run cargo run.
The full report*, is included in this repository and provides a detailed explanation of the theory, constructions, and benchmarks.
This project is licensed under the MIT License. See the LICENSE file for details.