303 Commits

Author SHA1 Message Date
Daniel Tehrani
b2b96a931b Refactor ts lib 2023-01-18 21:29:25 +09:00
Daniel Tehrani
423739a2bf Add ts lib readme 2023-01-18 20:46:52 +09:00
Daniel Tehrani
ce70cc9f1b Implement proof verification in lib 2023-01-18 20:46:41 +09:00
Daniel Tehrani
fed73c3401 Small fix 2023-01-18 20:43:58 +09:00
Daniel Tehrani
1276d9d4ba Small fixes 2023-01-18 16:36:16 +09:00
Daniel Tehrani
1d8593f758 Improve readability 2023-01-18 16:27:53 +09:00
Daniel Tehrani
ef06d8b2f3 Remove unused 2023-01-18 16:14:19 +09:00
Daniel Tehrani
cc22c008a8 Improve circuit readability 2023-01-18 16:07:43 +09:00
Daniel Tehrani
3b2cc91789 Implement var-based scalar mul and update tests accordingly 2023-01-18 11:20:17 +09:00
Daniel Tehrani
7a375a8780 Remove unused 2023-01-18 11:19:52 +09:00
Daniel Tehrani
5434970a15 Rename prover -> spartan-wasm 2023-01-16 22:58:04 +09:00
Daniel Tehrani
b65d3ea662 Rename 2023-01-16 22:48:13 +09:00
Daniel Tehrani
9e040013b0 Use spartan-lib utils in circuit tests 2023-01-16 22:46:56 +09:00
Daniel Tehrani
0c9ddd63b3 Add verification script 2023-01-16 22:35:07 +09:00
Daniel Tehrani
74edcd40e3 Add simple profiling 2023-01-16 20:13:22 +09:00
Daniel Tehrani
52f90ee4ee Remove unnecessary test 2023-01-16 13:36:33 +09:00
Daniel Tehrani
f374ee0661 Implement traits required by multiexp 2023-01-16 13:30:02 +09:00
Daniel Tehrani
39fd062aef Update .gitignore 2023-01-16 13:23:06 +09:00
Daniel Tehrani
02dfb279b3 Move build_wasm.sh back to repo root 2023-01-16 13:22:57 +09:00
Daniel Tehrani
78e07b8a65 Fix test 2023-01-16 13:22:15 +09:00
Daniel Tehrani
b6d6b35f3b Remove Groth16 bench and use spartan-ecdsa ts lib 2023-01-16 13:17:13 +09:00
Daniel Tehrani
dfa22c163d Small updates 2023-01-16 13:16:12 +09:00
Daniel Tehrani
ba2354b135 Implement library to work in both Node.js and browser 2023-01-16 11:49:00 +09:00
Daniel Tehrani
76eb7a29d3 Small change 2023-01-14 15:55:54 +09:00
Daniel Tehrani
d64d99cef0 Scalar mult with complete additions
and use the same var name for all circuits
2023-01-14 15:54:40 +09:00
Daniel Tehrani
e796665baa Add complete addition circuit 2023-01-14 15:41:36 +09:00
Daniel Tehrani
6a4e76e33f Add proof verification function 2023-01-13 15:39:11 +09:00
Daniel Tehrani
9700bbe465 Separate readmes 2023-01-12 19:48:28 +09:00
Daniel Tehrani
70218661bd Unignore wasm build files for out-of-the-box benchmarking 2023-01-12 19:45:21 +09:00
Daniel Tehrani
a64264ed4d Remove since specifying version at repo root 2023-01-12 17:56:18 +09:00
Daniel Tehrani
f0e7f6006a Enforce rust version 2023-01-12 17:55:43 +09:00
Daniel Tehrani
41c1a4ed59 Setup Lerna 2023-01-12 17:19:11 +09:00
Daniel Tehrani
90a8ad3b83 Re-serialized test_circuit after serialization fix 2023-01-12 17:06:34 +09:00
DanielTehrani
9ac01a4ec7 Update README.md 2023-01-11 22:14:51 +09:00
DanielTehrani
bdc0ce4a5a Update README.md 2023-01-11 21:36:36 +09:00
Daniel Tehrani
f810857c3d Update README.md 2023-01-11 21:35:09 +09:00
Daniel Tehrani
88d96db2cd Small fix 2023-01-11 21:32:56 +09:00
Daniel Tehrani
01e696be96 Update README.md 2023-01-11 21:31:43 +09:00
Daniel Tehrani
423d08e687 Update scripts accordingly 2023-01-11 21:30:40 +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
b8afcc1286 Update README.md 2023-01-10 17:56:32 +09:00
Daniel Tehrani
d3f00c10a1 Rename function 2023-01-10 17:52:58 +09:00
Daniel Tehrani
b473dca5ad Use secq256k1 as the prime 2023-01-10 17:50:43 +09:00
Daniel Tehrani
cb9a5322ff Update README.md 2023-01-10 16:52:46 +09:00
DanielTehrani
40a844282e Update README.md 2023-01-10 16:37:03 +09:00
Daniel Tehrani
3b34c3b624 Add browser proving setup for circuit eff_ecdsa.circom 2023-01-10 16:35:26 +09:00
Daniel Tehrani
c81616c632 Add eff_ecdsa.circom and a script to compile it 2023-01-10 16:34:49 +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
DanielTehrani
ecb2f299a1 Update README.md 2023-01-09 19:34:36 +09:00