2 Commits

Author	SHA1	Message	Date
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
Steve Wang	034c3ef170	Steve/remove rust add submodule (#3) ... * 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 * removed virtual environment folder structure, though we are still using virtual environment by calling source bin/activate before we can use maturin * minor	2023-07-20 14:19:06 +08:00