/halo2-factorial

An example of the Halo2 proving system implemented to prove the calculation of a factorial

Primary LanguageRust

Halo2 Factorial

This project is an example of the Halo2 proving system implemented to prove the calculation of a factorial.