A program that generates SNARKs for sudoku solutions using Halo2.
Primary LanguageRust
No issues in this repository yet.