Commit Graph

  • 4be4b48391 fix gate ID parsing, and verbose error Nicholas Ward 2023-04-06 14:14:11 -07:00
  • 9a51b67aca gate deserialization, ArithmeticGate, ConstantGate Nicholas Ward 2023-04-06 13:39:23 -07:00
  • f96647afd6 moving QuadraticExtension to field Nicholas Ward 2023-04-06 12:00:35 -07:00
  • ad8e851fc6 fixes Nicholas Ward 2023-04-06 11:34:11 -07:00
  • f1dc02d30f Poseidon extension function versions, and finished PoseidonGate Nicholas Ward 2023-04-06 11:15:07 -07:00
  • e1ab30f6a0 oops included gate files Nicholas Ward 2023-04-05 18:21:01 -07:00
  • 64456ee082 initial work on PoseidonGate Nicholas Ward 2023-04-05 18:20:49 -07:00
  • c0168a9769 updates: included evaluateGateConstraints Nicholas Ward 2023-04-05 14:26:08 -07:00
  • 58914e8f66 uint64 Nicholas Ward 2023-04-04 13:47:29 -07:00
  • 4914844edb finished evaluateGateConstraints Nicholas Ward 2023-04-04 13:26:30 -07:00
  • 098cb42410 no more gate EvalFiltered Nicholas Ward 2023-04-04 13:21:12 -07:00
  • 7091e1e1b2 initial work: gate interface and PublicInput Nicholas Ward 2023-04-04 13:15:27 -07:00
  • 57b7937ae8 added comment for where the custom gate constraints logic should be implemented Kevin Jue 2023-03-31 10:35:42 -07:00
  • 486fafbce6
    Update README.md John Guibas 2023-03-28 13:07:39 -07:00
  • a6e3319c5a new benchmarks John Guibas 2023-03-28 12:01:57 -07:00
  • cf16f0f595 update readme and MIT John Guibas 2023-03-28 11:12:07 -07:00
  • b053926793 Add benchmark script John Guibas 2023-03-28 10:59:47 -07:00
  • 6e9f1a7c50 Cleanup repo for release John Guibas 2023-03-28 10:59:36 -07:00
  • b19cd390f1 add a test Allison Qi 2023-01-24 16:52:44 -08:00
  • 8fe0c7f6b6 added plonky2_verifier_benchmark Kevin Jue 2022-11-22 17:57:26 -08:00
  • 4498f175f1 added verifier_test Kevin Jue 2022-11-22 16:50:43 -08:00
  • 148788ea51 refactored fri and plonk test Kevin Jue 2022-11-21 18:04:28 -08:00
  • c4458d0785 fixed a verifier test Kevin Jue 2022-11-21 16:53:58 -08:00
  • 9c50f40985 added dummy circuit test case in verifier Kevin Jue 2022-11-21 14:49:54 -08:00
  • bd5245de4a removed module Kevin Jue 2022-11-17 17:36:58 -08:00
  • e895ec45f6 added go module Kevin Jue 2022-11-17 17:35:18 -08:00
  • a0405cd207 added plonk_benchmark Kevin Jue 2022-11-17 17:33:12 -08:00
  • 1ad9e73634 standalone fri circuit Kevin Jue 2022-11-17 16:23:14 -08:00
  • a16fe09634 fixed some bugs Kevin Jue 2022-11-15 17:50:45 -08:00
  • 1095665ed1 fixed bug Kevin Jue 2022-11-15 12:12:13 -08:00
  • d847bbd8e8 finished interpolate function in fri round verification Kevin Jue 2022-11-15 12:09:05 -08:00
  • f877e3bda3 calculated barycentric weights Kevin Jue 2022-11-14 19:03:52 -08:00
  • 8797fd15ed arity verification check with incomplete compute_evaluation Kevin Jue 2022-11-14 18:40:28 -08:00
  • 317f4baf0a some rearranging of the functions Kevin Jue 2022-11-14 09:53:52 -08:00
  • cbb50ef3bd deserialized the steps Kevin Jue 2022-11-11 18:14:40 -08:00
  • 571d64abeb added the test challenges for the large circuit test Kevin Jue 2022-11-11 16:24:16 -08:00
  • 897030b335 added more test data Kevin Jue 2022-11-11 13:47:03 -08:00
  • ccfe2b51c9 added reductionArityBits function Kevin Jue 2022-11-10 17:46:49 -08:00
  • c3e16622a2 added GetFriInstance Kevin Jue 2022-11-10 16:30:53 -08:00
  • 393059b51d added the function friCombineInitial Kevin Jue 2022-11-10 12:54:57 -08:00
  • 8e9591c964 calculated subgroupX Kevin Jue 2022-11-10 08:05:30 -08:00
  • 21157cf4af added the merkle cap check Kevin Jue 2022-11-09 10:54:27 -08:00
  • 460709f65d got merkle proof traversal working Kevin Jue 2022-11-08 17:54:01 -08:00
  • d6f73d101b correctly deserialize fri opening proofs Kevin Jue 2022-11-08 14:52:22 -08:00
  • da80afaac4 expanded fri_test.go and implemented more for the fri verifier Kevin Jue 2022-11-07 18:33:06 -08:00
  • bfcad86ce3 added more test cases for the fri challenges Kevin Jue 2022-11-07 17:54:08 -08:00
  • d194d3860f initial commit for fri verification chip Kevin Jue 2022-11-04 21:23:32 -07:00
  • 1d7f151cc1 permutation check for plonk works Kevin Jue 2022-11-01 16:35:21 -07:00
  • ab164af7fc reduced the vanishing terms Kevin Jue 2022-11-01 16:07:03 -07:00
  • ef02b447e6 got plonk.evalVanishingPoly working Kevin Jue 2022-10-31 19:51:51 -07:00
  • 857fcf6c78 fixed bugs Kevin Jue 2022-10-28 17:02:55 -07:00
  • 1a1406e3b8 fixed some bugs Kevin Jue 2022-10-28 15:51:53 -07:00
  • 4262ff15fe added plonk test file Kevin Jue 2022-10-28 15:29:25 -07:00
  • 96dc2c2359 edited DeserializeCommonCircuitData to return CommonCircuitData; added plonkAlpha and plonkZeta challenge test cases Kevin Jue 2022-10-28 15:18:13 -07:00
  • 9462d19913 plonk verification circuit in progress Kevin Jue 2022-10-28 06:54:31 -07:00
  • 67692a6646 added quadratic extension circuits Kevin Jue 2022-10-28 06:53:48 -07:00
  • e5f455f771
    Merge pull request #11 from succinctlabs/challenger John Guibas 2022-10-10 23:18:13 -07:00
  • 1b9292589c robust testcases and more data jtguibas 2022-10-10 23:17:29 -07:00
  • 51b98741b8 changes... jtguibas 2022-10-10 22:44:59 -07:00
  • 9fa779079a
    Merge pull request #10 from succinctlabs/challenger John Guibas 2022-10-10 21:24:23 -07:00
  • df3f8082ca broken challenge array jtguibas 2022-10-10 21:23:30 -07:00
  • e9f194c946 fri challenges jtguibas 2022-10-10 20:45:34 -07:00
  • 84b123d3a8 deserialization jtguibas 2022-10-10 19:41:07 -07:00
  • fccd386e06 workign deserialization of proof jtguibas 2022-10-10 18:43:56 -07:00
  • 831eb8bf9f new field jtguibas 2022-10-10 18:00:19 -07:00
  • a058df6099 small refactor of names jtguibas 2022-10-10 17:59:55 -07:00
  • 7367106b04 structs and challenges jtguibas 2022-10-10 17:22:02 -07:00
  • 34cecba095 add structs jtguibas 2022-10-10 16:41:42 -07:00
  • 57e664f11f
    Merge pull request #9 from succinctlabs/challenger John Guibas 2022-10-10 15:12:01 -07:00
  • cae5d3b45f added public inputs hash test, challenger test jtguibas 2022-10-10 15:11:32 -07:00
  • 8798b435d3 strip out comments from original code Jacob Jackson 2022-10-08 00:28:15 +00:00
  • e9f22edd02 challenger Jacob Jackson 2022-10-08 00:27:47 +00:00
  • ac2e58f3eb
    Merge pull request #8 from succinctlabs/john/add-poseidon John Guibas 2022-10-07 17:26:01 -07:00
  • 6e48d2b387 rename test jtguibas 2022-10-07 17:17:40 -07:00
  • 4e4bdb79b3
    Merge pull request #7 from succinctlabs/john/add-poseidon John Guibas 2022-10-07 17:00:18 -07:00
  • 96bfd45884 goldilocks and poseidon jtguibas 2022-10-07 16:59:02 -07:00
  • 7d2af3d789
    Merge pull request #6 from succinctlabs/signature Jacob Jackson 2022-10-07 02:20:32 -04:00
  • 52dade9335 get signature working Jacob Jackson 2022-10-07 06:19:24 +00:00
  • d61e54c60e remove check that they say is unnecessary Jacob Jackson 2022-10-05 22:08:11 +00:00
  • ad21fd775f minor Jacob Jackson 2022-10-05 22:06:46 +00:00
  • 06582cb3ee finish eddsa Jacob Jackson 2022-10-05 22:04:22 +00:00
  • 6573397655 finish eddsa draft Jacob Jackson 2022-10-05 18:09:59 +00:00
  • ef9cc0dc3f
    Merge pull request #5 from succinctlabs/sha512 Jacob Jackson 2022-10-04 15:56:33 -04:00
  • 39247e8a12 rename Jacob Jackson 2022-10-04 19:43:22 +00:00
  • 61568028c3 remove old code Jacob Jackson 2022-10-04 19:42:42 +00:00
  • 105839d5bf remove comments from original python Jacob Jackson 2022-10-04 19:41:26 +00:00
  • d4401cf94b port python implementation Jacob Jackson 2022-10-04 19:40:00 +00:00
  • 5bb4de69bb get test running Jacob Jackson 2022-10-04 17:16:50 +00:00
  • f7d1968b22 Compiles puma314 2022-10-03 21:56:27 -07:00
  • 543e78c31f Merge branch 'sha-scaffold' of github.com:succinctlabs/gnark-ed25519 into sha-scaffold Jacob Jackson 2022-10-04 02:30:46 +00:00
  • 4fe5acca1c write binsum Jacob Jackson 2022-10-04 02:30:34 +00:00
  • 8726a772bc Fixed compile errors puma314 2022-10-03 17:55:11 -07:00
  • 793b683104 Merge branch 'sha-scaffold' of github.com:succinctlabs/gnark-ed25519 into sha-scaffold puma314 2022-10-03 17:25:48 -07:00
  • 6262ca1541 Added first half of templates puma314 2022-10-03 17:25:44 -07:00
  • 21c4623956 draft sha ops Jacob Jackson 2022-10-04 00:21:10 +00:00
  • bbab641287 sha scaffold Jacob Jackson 2022-10-03 23:24:18 +00:00
  • 645334c83d
    Merge pull request #4 from succinctlabs/scalar-mult puma314 2022-10-03 14:39:52 -07:00
  • 9ed586ffdf
    Merge pull request #3 from succinctlabs/basic-edwards-curve Jacob Jackson 2022-10-03 17:38:23 -04:00
  • eb72b54acd add scalar multiplication Jacob Jackson 2022-10-03 21:37:59 +00:00
  • 1bdc34424c basic edwards curve code Jacob Jackson 2022-10-03 19:17:42 +00:00