Commit Graph

  • 421e607bbe initial PoseidonTranscript draft (which does not work) poseidon-transcript arnaucube 2023-07-26 19:47:06 +02:00
  • b42938ea86 update version (#209) Srinath Setty 2023-07-28 10:32:10 -07:00
  • eeb3e470d5 Ppsnark refactorings (#208) François Garillot 2023-07-28 13:03:34 -04:00
  • cdab40357a refactor: streamline some traits and bounds (#207) main François Garillot 2023-07-25 15:07:37 -04:00
  • a62bccf206 Small code organization improvements (#206) François Garillot 2023-07-21 14:24:47 -04:00
  • 87499b3c49 test: Tests for polynomial & bignat circuits (#205) François Garillot 2023-07-17 15:39:00 -04:00
  • 82ca5fe66b Benchmark computation commitments (#201) François Garillot 2023-07-12 18:13:45 -04:00
  • dd44a7a9d0 refactor: make CommitmentKeyExtTrait public (#200) François Garillot 2023-07-12 17:51:59 -04:00
  • ac8db99835 update the dependencies & code clean (#196) liquan.eth 2023-07-11 10:12:31 +08:00
  • dd3b1a217d fix typo (#189) 3for 2023-07-07 11:07:33 +08:00
  • e76e6bc0f8 Reorganize various Spartan SNARKs and make the direct interface more generic (#195) Srinath Setty 2023-07-06 19:51:00 -07:00
  • 4087cab1a5 update README.md and version (#194) Srinath Setty 2023-07-06 13:58:55 -07:00
  • ba06404736 Fix comment typo (#192) JunheeLee 2023-07-07 02:33:38 +09:00
  • 0664244482 refactor: Refactor Keccak256Transcript and update tests (#191) François Garillot 2023-07-06 13:32:44 -04:00
  • 4b077bcab1 Add Grumpkin cycle implementation (#181) François Garillot 2023-07-05 19:10:05 -04:00
  • 905ec2d5a1 Add a Sha256 bench (#188) François Garillot 2023-06-28 19:18:07 -04:00
  • bfbd786570 remove a padded witness (#187) Srinath Setty 2023-06-21 17:05:20 -07:00
  • 1e6bf942e2 [refactorings] Leftovers (pot-pourri?) (#184) François Garillot 2023-06-19 19:11:42 -04:00
  • ff0370f506 Add the ability to profile the benchmarks w/ a flamegraph feature (#183) François Garillot 2023-06-19 18:52:39 -04:00
  • af886d6ce7 Improve performance of recursive (#163) Chiro Hiro 2023-06-20 02:52:57 +07:00
  • 031738de51 Remove Zlib compression in public parameter computation (#182) François Garillot 2023-06-12 19:46:02 -04:00
  • bef42262d6 [test, chore]: Fix clippy and genericize one more test (#180) François Garillot 2023-06-09 12:53:23 -04:00
  • 7193483628 Update README.md with release flag (#173) Michele Orrù 2023-05-26 22:48:15 +02:00
  • 261fd19057 chore: Update neptune dependency (#172) François Garillot 2023-05-26 22:43:56 +02:00
  • 54f758eef3 [test-only] More genericity in tests (#171) François Garillot 2023-05-26 22:43:35 +02:00
  • 58fc746c0b release candidate (#169) Srinath Setty 2023-05-18 11:19:15 -07:00
  • afd7403336 Fix cross-curve check and then eliminate an unnecessary instance on the primary curve (#167) Srinath Setty 2023-05-18 10:45:08 -07:00
  • b28aaf70a8 hash of public parameters in the transcript (#168) Srinath Setty 2023-05-18 10:19:44 -07:00
  • f16fa1e401 make ecc tests generic (#165) Leo 2023-05-10 22:52:05 +02:00
  • cddd707fad chore: update to ff/group 0.13 (#166) Samuel Burnham 2023-05-10 15:15:17 -04:00
  • b76d7aa7ea batch sum-checks (#161) Srinath Setty 2023-04-10 11:31:04 -07:00
  • 21d4092b86 serde for types (#160) Srinath Setty 2023-04-03 18:54:00 -07:00
  • 83f2e079a8 support proving step circuits with final snark (#159) Srinath Setty 2023-04-03 18:33:38 -07:00
  • 3b3ae70db3 A more optimal preprocessing SNARK (#158) Srinath Setty 2023-03-31 18:54:32 -07:00
  • 4aab459050 Batch polynomial evaluations (#154) Srinath Setty 2023-03-27 17:59:52 -07:00
  • 7b1bb44e45 spark-based commitments to R1CS matrices (#152) Srinath Setty 2023-03-20 18:16:06 -07:00
  • eb97499907 Fix padding logic (#151) Srinath Setty 2023-03-13 10:45:35 -07:00
  • cbbc1c6127 Generalize TranscriptRepr implementation for slices (#150) Srinath Setty 2023-03-10 09:27:48 -08:00
  • 0e86f9acc3 simplify commitmentengine (#149) Srinath Setty 2023-03-09 14:33:33 -08:00
  • 6ba204401f minor typo fix (#147) JunheeLee 2023-03-10 07:08:50 +09:00
  • 03710dbb97 Simplify TranscriptEngine usage (#148) Srinath Setty 2023-03-09 13:31:23 -08:00
  • 1e4995274b Separate prover and verifier keys in CompressedSNARK (#145) Srinath Setty 2023-03-02 18:36:13 -08:00
  • 01ae6446a9 pass only one multilinear polynomial to EE (#144) Srinath Setty 2023-03-01 16:31:00 -08:00
  • d53b3e0fc1 simplify trait requirements (#143) Srinath Setty 2023-02-28 18:21:25 -08:00
  • 621fda5c9e Feature to enable Neptune GPU Poseidon (#141) Nalin 2023-02-22 10:12:13 -08:00
  • b5874df449 Small optimizations (#142) Srinath Setty 2023-02-13 11:04:35 -08:00
  • c4b07f0925 allow the provider to provide byte representation of a scalar (#140) Srinath Setty 2023-02-10 12:36:51 -08:00
  • 8faffd38ea Make code generic over a TranscriptEngine (#139) Srinath Setty 2023-02-09 18:33:48 -08:00
  • b97786d291 move IPA-specific methods to the provider (#138) Srinath Setty 2023-02-06 18:07:14 -08:00
  • 0315bd1198 fix wasm build (#137) Srinath Setty 2023-02-03 13:34:01 -08:00
  • 603c1e2a85 traits for a vector commitment engine and a polynomial evaluation engine (#136) Srinath Setty 2023-02-02 16:21:24 -08:00
  • e7f8d11455 use thiserror (#135) Srinath Setty 2023-01-31 18:31:34 -08:00
  • 0ae8d15953 add Wasm build to CI (#134) Srinath Setty 2023-01-31 16:44:58 -08:00
  • 4163665f52 release candidate (#133) Srinath Setty 2023-01-31 16:28:11 -08:00
  • b2adab610a Clippy formatting (#131) Samuel Burnham 2023-01-31 17:53:15 -05:00
  • 74501936c3 parallel and batch_normalize (#129) Srinath Setty 2023-01-31 11:03:38 -08:00
  • 746af53e08 use serde feature to compute the digest of the shape (#132) Srinath Setty 2023-01-31 10:32:49 -08:00
  • 13964b6f16 Add serde proof serialization (#123) Samuel Burnham 2023-01-31 13:01:08 -05:00
  • 0b2b984fd1 release version (#130) Srinath Setty 2023-01-30 12:36:11 -08:00
  • 55f6736866 Add Wasm support (#125) Samuel Burnham 2023-01-30 14:31:36 -05:00
  • 6c6a8746d6 Speed up MSMs for non-GPU accelerated MSMs and architectures that don't support GPU/semolina (#126) Nalin 2023-01-27 09:51:08 -08:00
  • d35604fe15 release version (#124) Srinath Setty 2023-01-18 10:00:22 -08:00
  • 23178ff54d A simplified version of the nonnative gadgets (#122) Srinath Setty 2023-01-18 09:40:54 -08:00
  • fa9064a3f7 Delete outdated comment to avoid confusion (#117) Nalin 2022-12-21 15:54:11 -08:00
  • 6044aff625 Update crate versions (#119) Srinath Setty 2022-11-21 10:42:11 -08:00
  • f9672faf23 Make Nova's ecc gadgets read curve parameters from the group trait (#115) Srinath Setty 2022-09-22 13:31:55 -07:00
  • d2844089ba update benches (#111) Srinath Setty 2022-08-23 15:31:37 -07:00
  • 7ec2f57b84 optimize ECC ops (#110) Srinath Setty 2022-08-23 15:05:04 -07:00
  • 3c6867390a optimize point add constraints (#106) Srinath Setty 2022-08-18 08:25:26 -07:00
  • 6e408d03a6 simplify signature gadget (#109) Srinath Setty 2022-08-16 14:06:08 -07:00
  • faf28e71cd update version (#108) Srinath Setty 2022-08-16 11:51:23 -07:00
  • ccc6ccd4c7 Support for arbitrary arity for step circuit's IO (#107) Srinath Setty 2022-08-16 11:35:17 -07:00
  • 0a7cbf925f integrate with neptune's sponge (#105) Srinath Setty 2022-08-11 19:03:44 -07:00
  • ddd90f7373 Update crate versions (#104) Srinath Setty 2022-08-10 10:57:43 -07:00
  • c7e8782f11 pad two IPA instances to the same size when folding (#103) Srinath Setty 2022-07-27 22:21:47 -07:00
  • a56f823ace optimize the non-native arithmetic and hashing costs by using 4 limbs instead of 8 (#102) Srinath Setty 2022-07-27 17:09:49 -07:00
  • 111abcab38 optimize MinRoot constraint system (#101) Srinath Setty 2022-07-27 15:48:03 -07:00
  • 06192ac3d4 Optimizations (#100) Srinath Setty 2022-07-27 14:07:44 -07:00
  • 3dc26fd7e4 Simplifications in Nova's RO (#98) Srinath Setty 2022-07-25 12:22:41 -07:00
  • c6fa4d44eb Fix benches so it varies the number of constraints in the augmented circuit in powers of 2 (#97) Srinath Setty 2022-07-21 15:00:01 -07:00
  • 5d5b9aa244 Fix bench name (#95) Srinath Setty 2022-07-20 16:05:43 -07:00
  • 7d54d992a4 update benches (#94) Srinath Setty 2022-07-20 14:31:24 -07:00
  • 87a5b07bdd name changes for improved clarity (#93) Srinath Setty 2022-07-20 14:09:25 -07:00
  • ed915b2540 ecdsa signature proof (#92) Arthur Greef 2022-07-19 13:06:38 -07:00
  • 35cb03f977 reorganize traits into a module; cut boilerplate code (#91) Srinath Setty 2022-07-14 16:15:45 -07:00
  • 704d48b528 update to the latest pasta-msm crate (#89) Srinath Setty 2022-07-13 17:00:16 -07:00
  • e373f4633d edits to address clippy with the latest Rust (#90) Srinath Setty 2022-07-13 14:46:13 -07:00
  • a04566bb81 MinRoot example improvements (#88) Srinath Setty 2022-07-11 13:00:42 -07:00
  • ff40d17cc4 Nova-based VDF using MinRoot as an example (#86) Srinath Setty 2022-07-07 18:30:43 -07:00
  • 63f08c0e4a Support non-determinism with a minimal API (#85) Srinath Setty 2022-07-07 12:17:56 -07:00
  • 6667d2f8b5 Abstract the RO used in the circuit with traits (#84) Srinath Setty 2022-07-05 16:24:12 -07:00
  • 0863a732ff Add asserts for constraint count (#83) Srinath Setty 2022-07-05 14:50:17 -07:00
  • c29030b2d7 Release Candidate (#82) Srinath Setty 2022-07-01 16:03:19 -07:00
  • 0ff2e57bfa Spartan variant with an IPA-based polynomial commitment scheme for compressing IVC proofs (#80) Srinath Setty 2022-07-01 15:53:00 -07:00
  • 81b12232fe Add benches (#79) iontzialla 2022-06-14 15:32:44 -04:00
  • bf35556b90 Complete addition: handle addition of equal numbers and addition of negation (#78) iontzialla 2022-06-09 14:22:15 -04:00
  • a7da105677 IVC proof compression APIs and implementation (#77) Srinath Setty 2022-05-27 13:35:01 +05:30
  • 8308c29f94 use pasta_msm crate for MSM (#75) Srinath Setty 2022-05-26 17:27:19 +05:30
  • 0154358469 Verifier's checks (#73) Srinath Setty 2022-05-18 15:42:02 +05:30
  • b080bac949 Update README.md (#72) Srinath Setty 2022-05-18 09:03:24 +05:30