Steve Wang 0c191b1bcf Generate and Verify Proof (#5) ...

* deleted rust code but before adding submodule

* added submodule for steve/frontend branch; updated lib.rs bindings

* formatted documents

* updated submodule and tests

* changes before splitting to multiple files

* resolved circular reference and formatted files

* fixed uuid and untied constraint builder functions from Constraint type

* minor

* fmt

* initial commit'

* added disable_q_enable, updated expose, and created new json standards

* minor

* minor typo

* generate proof from halo2 using python; pragma first and last step are bugging out in fibo

* formatting things

* updated submodule

2023-07-25 10:59:40 +08:00

113 B

Raw Permalink Blame History

View Raw