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