A program that generates SNARKs for sudoku solutions using Halo2.
Primary LanguageRust
No one’s star this repository yet.