14 Commits

Author	SHA1	Message	Date
Daniel Tehrani	ef7e590464	Separate circuit bin file generator from spartan_wasm	2023-03-28 16:35:50 +09:00
Daniel Tehrani	e0b9cad003	Add Spartan-secq to the workplace	2023-03-15 09:01:52 +09:00
Daniel Tehrani	40dfab4328	Detach secpq_curves	2023-01-30 09:32:58 +09:00
Daniel Tehrani	3ad613abe3	Wasm binding for Poseidon	2023-01-23 19:12:14 +09:00
Daniel Tehrani	5434970a15	Rename prover -> spartan-wasm	2023-01-16 22:58:04 +09:00
Daniel Tehrani	e7f7185371	Move everything under packages/ ... accidentally committed build files and grew the history locally (hence can't push to github due to file size limit), so recommitting all the changes in one commit	2023-01-11 21:30:14 +09:00
Daniel Tehrani	96522f9cae	Use my fork of Nova-Scotia which uses the secq curve to load circuits	2023-01-10 16:22:33 +09:00
Daniel Tehrani	79562f9e64	Use the secq curve for circuit parsing	2023-01-10 16:22:10 +09:00
Daniel Tehrani	8c49d0c8ed	Remove rayon since unnecessary	2022-12-24 17:35:52 +01:00
Daniel Tehrani	fb5c11739d	Efficient circuit (de)serialization	2022-12-23 19:35:35 +01:00
Daniel Tehrani	b549190790	Add bin file to compile Circom circuit to spartan circuit	2022-12-22 16:19:55 +01:00
Daniel Tehrani	dd67b8024c	Forgot to commit	2022-12-21 14:37:52 +01:00
Daniel Tehrani	e93bee1541	Use my Spartan fork	2022-12-11 15:07:58 +01:00
Daniel Tehrani	f51d89e275	Init commit	2022-12-11 14:56:43 +01:00