Homework solutions for Cohort 0 of the RareSkills Halo2 course.
The homework covers the following circuits and chips:
- 01. Addition Gate
- 02. Fibonacci, One Advice Column
- 03. Base-4 Decomposition
- 04. Fibonacci with Public Output
- 05. Arithmetic Chip
- 06.
IsZeroChip - 07. Polynomial
a^5 + a = b - 08. XOR-32 Chip
- 09. XOR-8 Static Lookup
- 10. 16-bit Addition with Carry
- 11. 32-bit Chunked Addition
- 12. Fixed Finite Automaton
- 13. Generic Finite Automaton
- 14. Poseidon Hash Circuit
- 15. zkVM
Install Rust, then clone this repository. Cargo downloads the Halo2 source on the first build.
Enter an exercise crate, then build or test it with Cargo:
cd week6
cargo build
cargo test