Commit Graph

  • fb22c8cee3 Implement membership prover in the ts lib Daniel Tehrani 2023-01-23 20:35:47 +09:00
  • 2906b7984d Small change Daniel Tehrani 2023-01-23 20:14:55 +09:00
  • 9327367b34 Update membership circuit and its test to incorporate Poseidon Daniel Tehrani 2023-01-23 20:14:40 +09:00
  • 3ad613abe3 Wasm binding for Poseidon Daniel Tehrani 2023-01-23 19:12:14 +09:00
  • 94b9c31206 Add Poseidon impl which uses the secp256k1 base field Daniel Tehrani 2023-01-23 19:05:44 +09:00
  • 7feb49844f Remove unnecessary console.logs Daniel Tehrani 2023-01-22 19:19:54 +09:00
  • 8343f6c090 Add Poseidon circuit Daniel Tehrani 2023-01-22 19:19:18 +09:00
  • cc0848ea06 Add script to compile eff_ecdsa_to_addr.circom Daniel Tehrani 2023-01-21 20:27:49 +09:00
  • 91f2289c80 Add eff_ecdsa_to_addr.circom and its test Daniel Tehrani 2023-01-21 20:05:47 +09:00
  • 706fc63682 Merge branch 'main' of https://github.com/personaelabs/spartan-ecdsa Daniel Tehrani 2023-01-21 19:28:10 +09:00
  • 349e0c3d2d Update README.md Dan Tehrani 2023-01-21 17:51:48 +09:00
  • c022f3701d Make tsconfig.json less verbose Daniel Tehrani 2023-01-20 15:18:16 +09:00
  • 072a0bded2 Add ts lib usage example Daniel Tehrani 2023-01-19 22:15:26 +09:00
  • 54b07b58bb Don't use "output" it can't be interpreted by Spartan Daniel Tehrani 2023-01-19 22:01:49 +09:00
  • 78690768e1 Add node benchmark Daniel Tehrani 2023-01-19 21:49:13 +09:00
  • 6b35d5700d Update circuit compilation scripts Daniel Tehrani 2023-01-18 22:51:27 +09:00
  • e2cca9f063 Verify in frontend Daniel Tehrani 2023-01-18 22:35:39 +09:00
  • 9fa01e7e48 Small update Daniel Tehrani 2023-01-18 22:17:42 +09:00
  • 35c47f855c Further refactoring Daniel Tehrani 2023-01-18 22:15:48 +09:00
  • 9ebbeab5be Add frame for membership_prover Daniel Tehrani 2023-01-18 21:43:59 +09:00
  • 5db5317d3f Further refactoring Daniel Tehrani 2023-01-18 21:41:07 +09:00
  • 8f2712df59 Remove poseidon benchmark related stuff Daniel Tehrani 2023-01-18 21:31:02 +09:00
  • 22af3e50af Fix imports Daniel Tehrani 2023-01-18 21:29:36 +09:00
  • b2b96a931b Refactor ts lib Daniel Tehrani 2023-01-18 21:29:25 +09:00
  • 423739a2bf Add ts lib readme Daniel Tehrani 2023-01-18 20:46:52 +09:00
  • ce70cc9f1b Implement proof verification in lib Daniel Tehrani 2023-01-18 20:46:41 +09:00
  • fed73c3401 Small fix Daniel Tehrani 2023-01-18 20:43:58 +09:00
  • 1276d9d4ba Small fixes Daniel Tehrani 2023-01-18 16:36:16 +09:00
  • 1d8593f758 Improve readability Daniel Tehrani 2023-01-18 16:27:53 +09:00
  • ef06d8b2f3 Remove unused Daniel Tehrani 2023-01-18 16:14:19 +09:00
  • cc22c008a8 Improve circuit readability Daniel Tehrani 2023-01-18 16:07:43 +09:00
  • 3b2cc91789 Implement var-based scalar mul and update tests accordingly Daniel Tehrani 2023-01-18 11:20:17 +09:00
  • 7a375a8780 Remove unused Daniel Tehrani 2023-01-18 11:19:52 +09:00
  • 5434970a15 Rename prover -> spartan-wasm Daniel Tehrani 2023-01-16 22:58:04 +09:00
  • b65d3ea662 Rename Daniel Tehrani 2023-01-16 22:48:13 +09:00
  • 9e040013b0 Use spartan-lib utils in circuit tests Daniel Tehrani 2023-01-16 22:46:56 +09:00
  • 0c9ddd63b3 Add verification script Daniel Tehrani 2023-01-16 22:35:07 +09:00
  • 74edcd40e3 Add simple profiling Daniel Tehrani 2023-01-16 20:13:22 +09:00
  • 52f90ee4ee Remove unnecessary test Daniel Tehrani 2023-01-16 13:36:33 +09:00
  • f374ee0661 Implement traits required by multiexp Daniel Tehrani 2023-01-16 13:30:02 +09:00
  • 39fd062aef Update .gitignore Daniel Tehrani 2023-01-16 13:23:06 +09:00
  • 02dfb279b3 Move build_wasm.sh back to repo root Daniel Tehrani 2023-01-16 13:22:57 +09:00
  • 78e07b8a65 Fix test Daniel Tehrani 2023-01-16 13:22:15 +09:00
  • b6d6b35f3b Remove Groth16 bench and use spartan-ecdsa ts lib Daniel Tehrani 2023-01-16 13:17:13 +09:00
  • dfa22c163d Small updates Daniel Tehrani 2023-01-16 13:16:12 +09:00
  • ba2354b135 Implement library to work in both Node.js and browser Daniel Tehrani 2023-01-16 11:49:00 +09:00
  • 76eb7a29d3 Small change Daniel Tehrani 2023-01-14 15:55:54 +09:00
  • d64d99cef0 Scalar mult with complete additions Daniel Tehrani 2023-01-14 15:54:40 +09:00
  • e796665baa Add complete addition circuit Daniel Tehrani 2023-01-14 15:41:36 +09:00
  • 6a4e76e33f Add proof verification function Daniel Tehrani 2023-01-13 15:39:11 +09:00
  • 9700bbe465 Separate readmes Daniel Tehrani 2023-01-12 19:48:28 +09:00
  • 70218661bd Unignore wasm build files for out-of-the-box benchmarking Daniel Tehrani 2023-01-12 19:45:21 +09:00
  • a64264ed4d Remove since specifying version at repo root Daniel Tehrani 2023-01-12 17:56:18 +09:00
  • f0e7f6006a Enforce rust version Daniel Tehrani 2023-01-12 17:55:43 +09:00
  • 41c1a4ed59 Setup Lerna Daniel Tehrani 2023-01-12 17:19:11 +09:00
  • 90a8ad3b83 Re-serialized test_circuit after serialization fix Daniel Tehrani 2023-01-12 17:06:34 +09:00
  • 9ac01a4ec7 Update README.md DanielTehrani 2023-01-11 22:14:51 +09:00
  • bdc0ce4a5a Update README.md DanielTehrani 2023-01-11 21:36:36 +09:00
  • f810857c3d Update README.md Daniel Tehrani 2023-01-11 21:35:09 +09:00
  • 88d96db2cd Small fix Daniel Tehrani 2023-01-11 21:32:56 +09:00
  • 01e696be96 Update README.md Daniel Tehrani 2023-01-11 21:31:43 +09:00
  • 423d08e687 Update scripts accordingly Daniel Tehrani 2023-01-11 21:30:40 +09:00
  • e7f7185371 Move everything under packages/ Daniel Tehrani 2023-01-11 21:30:14 +09:00
  • b8afcc1286 Update README.md Daniel Tehrani 2023-01-10 17:56:32 +09:00
  • d3f00c10a1 Rename function Daniel Tehrani 2023-01-10 17:52:58 +09:00
  • b473dca5ad Use secq256k1 as the prime Daniel Tehrani 2023-01-10 17:50:43 +09:00
  • cb9a5322ff Update README.md Daniel Tehrani 2023-01-10 16:52:46 +09:00
  • 40a844282e Update README.md DanielTehrani 2023-01-10 16:37:03 +09:00
  • 3b34c3b624 Add browser proving setup for circuit eff_ecdsa.circom Daniel Tehrani 2023-01-10 16:35:26 +09:00
  • c81616c632 Add eff_ecdsa.circom and a script to compile it Daniel Tehrani 2023-01-10 16:34:49 +09:00
  • 96522f9cae Use my fork of Nova-Scotia which uses the secq curve to load circuits Daniel Tehrani 2023-01-10 16:22:33 +09:00
  • 79562f9e64 Use the secq curve for circuit parsing Daniel Tehrani 2023-01-10 16:22:10 +09:00
  • ecb2f299a1 Update README.md DanielTehrani 2023-01-09 19:34:36 +09:00
  • d33692efdf Update README.md DanielTehrani 2023-01-09 11:33:58 +09:00
  • a8e2770989 Refactor Daniel Tehrani 2023-01-06 20:10:00 +09:00
  • 5d0c544a1e Use test_utils.ts in eff ecdsa test Daniel Tehrani 2023-01-06 19:38:50 +09:00
  • eb31833ba9 Add test for the membership circuit Daniel Tehrani 2023-01-06 19:38:22 +09:00
  • 7fafdf2d33 Update README.md Daniel Tehrani 2023-01-02 17:23:38 +01:00
  • 4057d6c2a9 Rename ecdsa to eff_ecdsa Daniel Tehrani 2023-01-02 17:16:22 +01:00
  • bbbc16de34 Implement efficient ECDSA Daniel Tehrani 2023-01-02 17:12:30 +01:00
  • 4e413c2928 Small fix DanielTehrani 2023-01-02 16:04:32 +01:00
  • 5a6494bac6 Update README.md Daniel Tehrani 2023-01-02 15:59:32 +01:00
  • 7d77341d96 Add tests and fix circuits Daniel Tehrani 2023-01-02 15:16:32 +01:00
  • 223b0ed726 Add big_mul_mod.circom as a circuit size reference Daniel Tehrani 2023-01-02 14:56:23 +01:00
  • e5b0f4cdd6 Fix Daniel Tehrani 2022-12-30 16:29:02 +01:00
  • 8531322d0e Use intermediate signals instead of taking in everything as input Daniel Tehrani 2022-12-30 16:28:48 +01:00
  • 13234c6ed0 Fix underconstrained Daniel Tehrani 2022-12-30 14:58:47 +01:00
  • fb72c5e50d Merge branch 'main' of https://github.com/DanTehrani/spartan-wasm Daniel Tehrani 2022-12-24 17:37:29 +01:00
  • 5478040b1a Update README.md Daniel Tehrani 2022-12-24 17:37:11 +01:00
  • 8c49d0c8ed Remove rayon since unnecessary Daniel Tehrani 2022-12-24 17:35:52 +01:00
  • b542f930a6 Update README.md DanielTehrani 2022-12-24 17:33:36 +01:00
  • f72709d9c6 Update README.md DanielTehrani 2022-12-24 17:22:39 +01:00
  • 50ff681834 Add proof size in benchmarks Daniel Tehrani 2022-12-24 17:21:35 +01:00
  • 218eab99b0 Optimize proof serialization Daniel Tehrani 2022-12-24 17:21:25 +01:00
  • 1546580daf Add benchmarks Daniel Tehrani 2022-12-24 17:11:41 +01:00
  • a861010750 Small fix Daniel Tehrani 2022-12-24 17:11:18 +01:00
  • 05cb6290b9 Benchmark with different circuit sizes Daniel Tehrani 2022-12-24 15:48:57 +01:00
  • 2075dded1d Small fix Daniel Tehrani 2022-12-23 19:39:19 +01:00
  • fb5c11739d Efficient circuit (de)serialization Daniel Tehrani 2022-12-23 19:35:35 +01:00
  • 3e08af853d Add Groth16 comparison Daniel Tehrani 2022-12-23 19:32:49 +01:00