Commit Graph
-
421e607(HEAD -> poseidon-transcript) initial PoseidonTranscript draft (which does not work) by 2023-07-26 19:47:06 +0200 -
b42938eupdate version (#209) by 2023-07-28 10:32:10 -0700 -
eeb3e47Ppsnark refactorings (#208) by 2023-07-28 13:03:34 -0400 -
cdab403(main) refactor: streamline some traits and bounds (#207) by 2023-07-25 15:07:37 -0400 -
a62bccfSmall code organization improvements (#206) by 2023-07-21 14:24:47 -0400 -
87499b3test: Tests for polynomial & bignat circuits (#205) by 2023-07-17 15:39:00 -0400 -
82ca5feBenchmark computation commitments (#201) by 2023-07-12 18:13:45 -0400 -
dd44a7arefactor: make CommitmentKeyExtTrait public (#200) by 2023-07-12 17:51:59 -0400 -
ac8db99update the dependencies & code clean (#196) by 2023-07-11 10:12:31 +0800 -
dd3b1a2fix typo (#189) by 2023-07-07 11:07:33 +0800 -
e76e6bcReorganize various Spartan SNARKs and make the direct interface more generic (#195) by 2023-07-06 19:51:00 -0700 -
4087cabupdate README.md and version (#194) by 2023-07-06 13:58:55 -0700 -
ba06404Fix comment typo (#192) by 2023-07-07 02:33:38 +0900 -
0664244refactor: Refactor Keccak256Transcript and update tests (#191) by 2023-07-06 13:32:44 -0400 -
4b077bcAdd Grumpkin cycle implementation (#181) by 2023-07-05 19:10:05 -0400 -
905ec2dAdd a Sha256 bench (#188) by 2023-06-28 19:18:07 -0400 -
bfbd786remove a padded witness (#187) by 2023-06-21 17:05:20 -0700 -
1e6bf94[refactorings] Leftovers (pot-pourri?) (#184) by 2023-06-19 19:11:42 -0400 -
ff0370fAdd the ability to profile the benchmarks w/ a flamegraph feature (#183) by 2023-06-19 18:52:39 -0400 -
af886d6Improve performance of recursive (#163) by 2023-06-20 02:52:57 +0700 -
031738dRemove Zlib compression in public parameter computation (#182) by 2023-06-12 19:46:02 -0400 -
bef4226[test, chore]: Fix clippy and genericize one more test (#180) by 2023-06-09 12:53:23 -0400 -
7193483Update README.md with release flag (#173) by 2023-05-26 22:48:15 +0200 -
261fd19chore: Update neptune dependency (#172) by 2023-05-26 22:43:56 +0200 -
54f758e[test-only] More genericity in tests (#171) by 2023-05-26 22:43:35 +0200 -
58fc746release candidate (#169) by 2023-05-18 11:19:15 -0700 -
afd7403Fix cross-curve check and then eliminate an unnecessary instance on the primary curve (#167) by 2023-05-18 10:45:08 -0700 -
b28aaf7hash of public parameters in the transcript (#168) by 2023-05-18 10:19:44 -0700 -
f16fa1emake ecc tests generic (#165) by 2023-05-10 22:52:05 +0200 -
cddd707chore: update to ff/group 0.13 (#166) by 2023-05-10 15:15:17 -0400 -
b76d7aabatch sum-checks (#161) by 2023-04-10 11:31:04 -0700 -
21d4092serde for types (#160) by 2023-04-03 18:54:00 -0700 -
83f2e07support proving step circuits with final snark (#159) by 2023-04-03 18:33:38 -0700 -
3b3ae70A more optimal preprocessing SNARK (#158) by 2023-03-31 18:54:32 -0700 -
4aab459Batch polynomial evaluations (#154) by 2023-03-27 17:59:52 -0700 -
7b1bb44spark-based commitments to R1CS matrices (#152) by 2023-03-20 18:16:06 -0700 -
eb97499Fix padding logic (#151) by 2023-03-13 10:45:35 -0700 -
cbbc1c6Generalize TranscriptRepr implementation for slices (#150) by 2023-03-10 09:27:48 -0800 -
0e86f9asimplify commitmentengine (#149) by 2023-03-09 14:33:33 -0800 -
6ba2044minor typo fix (#147) by 2023-03-10 07:08:50 +0900 -
03710dbSimplify TranscriptEngine usage (#148) by 2023-03-09 13:31:23 -0800 -
1e49952Separate prover and verifier keys in CompressedSNARK (#145) by 2023-03-02 18:36:13 -0800 -
01ae644pass only one multilinear polynomial to EE (#144) by 2023-03-01 16:31:00 -0800 -
d53b3e0simplify trait requirements (#143) by 2023-02-28 18:21:25 -0800 -
621fda5Feature to enable Neptune GPU Poseidon (#141) by 2023-02-22 10:12:13 -0800 -
b5874dfSmall optimizations (#142) by 2023-02-13 11:04:35 -0800 -
c4b07f0allow the provider to provide byte representation of a scalar (#140) by 2023-02-10 12:36:51 -0800 -
8faffd3Make code generic over a TranscriptEngine (#139) by 2023-02-09 18:33:48 -0800 -
b97786dmove IPA-specific methods to the provider (#138) by 2023-02-06 18:07:14 -0800 -
0315bd1fix wasm build (#137) by 2023-02-03 13:34:01 -0800 -
603c1e2traits for a vector commitment engine and a polynomial evaluation engine (#136) by 2023-02-02 16:21:24 -0800 -
e7f8d11use thiserror (#135) by 2023-01-31 18:31:34 -0800 -
0ae8d15add Wasm build to CI (#134) by 2023-01-31 16:44:58 -0800 -
4163665release candidate (#133) by 2023-01-31 16:28:11 -0800 -
b2adab6Clippy formatting (#131) by 2023-01-31 17:53:15 -0500 -
7450193parallel and batch_normalize (#129) by 2023-01-31 11:03:38 -0800 -
746af53use serde feature to compute the digest of the shape (#132) by 2023-01-31 10:32:49 -0800 -
13964b6Add serde proof serialization (#123) by 2023-01-31 13:01:08 -0500 -
0b2b984release version (#130) by 2023-01-30 12:36:11 -0800 -
55f6736Add Wasm support (#125) by 2023-01-30 14:31:36 -0500 -
6c6a874Speed up MSMs for non-GPU accelerated MSMs and architectures that don't support GPU/semolina (#126) by 2023-01-27 09:51:08 -0800 -
d35604frelease version (#124) by 2023-01-18 10:00:22 -0800 -
23178ffA simplified version of the nonnative gadgets (#122) by 2023-01-18 09:40:54 -0800 -
fa9064aDelete outdated comment to avoid confusion (#117) by 2022-12-21 15:54:11 -0800 -
6044affUpdate crate versions (#119) by 2022-11-21 10:42:11 -0800 -
f9672faMake Nova's ecc gadgets read curve parameters from the group trait (#115) by 2022-09-22 13:31:55 -0700 -
d284408update benches (#111) by 2022-08-23 15:31:37 -0700 -
7ec2f57optimize ECC ops (#110) by 2022-08-23 15:05:04 -0700 -
3c68673optimize point add constraints (#106) by 2022-08-18 08:25:26 -0700 -
6e408d0simplify signature gadget (#109) by 2022-08-16 14:06:08 -0700 -
faf28e7update version (#108) by 2022-08-16 11:51:23 -0700 -
ccc6ccdSupport for arbitrary arity for step circuit's IO (#107) by 2022-08-16 11:35:17 -0700 -
0a7cbf9integrate with neptune's sponge (#105) by 2022-08-11 19:03:44 -0700 -
ddd90f7Update crate versions (#104) by 2022-08-10 10:57:43 -0700 -
c7e8782pad two IPA instances to the same size when folding (#103) by 2022-07-27 22:21:47 -0700 -
a56f823optimize the non-native arithmetic and hashing costs by using 4 limbs instead of 8 (#102) by 2022-07-27 17:09:49 -0700 -
111abcaoptimize MinRoot constraint system (#101) by 2022-07-27 15:48:03 -0700 -
06192acOptimizations (#100) by 2022-07-27 14:07:44 -0700 -
3dc26fdSimplifications in Nova's RO (#98) by 2022-07-25 12:22:41 -0700 -
c6fa4d4Fix benches so it varies the number of constraints in the augmented circuit in powers of 2 (#97) by 2022-07-21 15:00:01 -0700 -
5d5b9aaFix bench name (#95) by 2022-07-20 16:05:43 -0700 -
7d54d99update benches (#94) by 2022-07-20 14:31:24 -0700 -
87a5b07name changes for improved clarity (#93) by 2022-07-20 14:09:25 -0700 -
ed915b2ecdsa signature proof (#92) by 2022-07-19 13:06:38 -0700 -
35cb03freorganize traits into a module; cut boilerplate code (#91) by 2022-07-14 16:15:45 -0700 -
704d48bupdate to the latest pasta-msm crate (#89) by 2022-07-13 17:00:16 -0700 -
e373f46edits to address clippy with the latest Rust (#90) by 2022-07-13 14:46:13 -0700 -
a04566bMinRoot example improvements (#88) by 2022-07-11 13:00:42 -0700 -
ff40d17Nova-based VDF using MinRoot as an example (#86) by 2022-07-07 18:30:43 -0700 -
63f08c0Support non-determinism with a minimal API (#85) by 2022-07-07 12:17:56 -0700 -
6667d2fAbstract the RO used in the circuit with traits (#84) by 2022-07-05 16:24:12 -0700 -
0863a73Add asserts for constraint count (#83) by 2022-07-05 14:50:17 -0700 -
c29030bRelease Candidate (#82) by 2022-07-01 16:03:19 -0700 -
0ff2e57Spartan variant with an IPA-based polynomial commitment scheme for compressing IVC proofs (#80) by 2022-07-01 15:53:00 -0700 -
81b1223Add benches (#79) by 2022-06-14 15:32:44 -0400 -
bf35556Complete addition: handle addition of equal numbers and addition of negation (#78) by 2022-06-09 14:22:15 -0400 -
a7da105IVC proof compression APIs and implementation (#77) by 2022-05-27 13:35:01 +0530 -
8308c29use pasta_msm crate for MSM (#75) by 2022-05-26 17:27:19 +0530 -
0154358Verifier's checks (#73) by 2022-05-18 15:42:02 +0530 -
b080bacUpdate README.md (#72) by 2022-05-18 09:03:24 +0530