Commit graph

Select branches

Hide pull requests

master

Mono Color

• c772801f8f
  Pass aux_lagrange_polys to prover as a slice therealyingtong 2020-09-18 21:02:28 +0800
• fd094fccd8
  Add aux_commitments and aux_evals to test_proving() example therealyingtong 2020-09-18 20:18:52 +0800
• 9482202a98
  Update PLONK test_proving() example therealyingtong 2020-09-18 12:02:48 +0800
• 0bdcbb6c67
  Introduce Wire enum for use in permutations therealyingtong 2020-09-18 01:33:31 +0800
• a257308ba2
  Add aux wires to ConstraintSystem therealyingtong 2020-09-18 01:07:19 +0800
• 0caf1d2087
  Provide aux_commitments to verifier and aux_lagrange_polys to prover therealyingtong 2020-09-18 00:33:42 +0800
• 0eed821083
  Merge pull request #24 from zcash/remove-fork-hack ebfull 2020-09-19 09:52:12 -0600
• 76c49a4df3
  Minor refactor therealyingtong 2020-09-19 23:44:00 +0800
• 33261ec1a0
  Recover from OpeningProof::create() failure in PLONK prover therealyingtong 2020-09-19 23:19:30 +0800
• 69a612fb59
  Increment blinding factor instead of choosing new random blinding factor therealyingtong 2020-09-19 23:04:17 +0800
• a6f5d0ad5e
  Remove fork from OpeningProof prover; add loop in PLONK prover to try different f_blind values therealyingtong 2020-09-19 13:21:05 +0800
• 208be28113
  Merge pull request #20 from zcash/small-multiexp ying tong 2020-09-17 13:00:51 +0800
• ced73c2bf7
  Minor fixes therealyingtong 2020-09-16 09:02:58 +0800
• d853d7ae36
  Merge pull request #23 from zcash/incorporate-msm ebfull 2020-09-16 13:23:49 -0600
• 52a85380bc
  Rename f_eval to msm_eval. Sean Bowe 2020-09-16 13:15:10 -0600
• 76f95b08e9
  Merge pull request #21 from zcash/incorporate-msm ying tong 2020-09-16 11:29:06 +0800
• a63602df2a
  Inline bit-shifting therealyingtong 2020-09-16 08:56:45 +0800
• 7710b73bff
  Rename 'plonk' benchmark to 'arithmetic' therealyingtong 2020-09-16 08:55:39 +0800
• 68de5db8c6
  Mitigate unnecessary scaling operations in commitment verifier. Sean Bowe 2020-09-15 17:42:02 -0600
• a886663e05
  Incorporate MSM/Guard into PLONK verifier API and arithmetic. Sean Bowe 2020-09-15 17:32:39 -0600
• 58708c2c20
  Remove old 'double-and-add' benchmark therealyingtong 2020-09-16 01:07:45 +0800
• d70c8cc0d7
  Add benchmarks for shared double-and-add therealyingtong 2020-09-16 00:44:56 +0800
• f2fc068db0
  Implement small_multiexp() in arithmetic.rs therealyingtong 2020-09-15 18:49:12 +0800
• 153f721c1d
  Merge pull request #16 from zcash/minor-renames ebfull 2020-09-13 10:31:47 -0600
• 643077b150
  Rename ConstraintSystem to Assignment, and MetaCircuit to ConstraintSystem. Sean Bowe 2020-09-11 17:18:41 -0600
• 626ef64e47
  Merge pull request #13 from zcash/accumulator ebfull 2020-09-13 10:25:24 -0600
• 5ec820f8fd
  Fix warning in test. Sean Bowe 2020-09-13 10:23:04 -0600
• fd350a28a0
  Minor adjustments to tests and documentation Sean Bowe 2020-09-13 10:17:00 -0600
• 221e9029f7
  Minor adjustments to MSM and Guard APIs. Sean Bowe 2020-09-13 10:14:32 -0600
• 19ee27e51a
  Fix bug in compute_g() therealyingtong 2020-09-13 23:10:37 +0800
• 1eb2a36086
  Return MSM from PLONK verifier therealyingtong 2020-09-13 23:10:06 +0800
• c264208a03
  Rename params.msm() to params.empty_msm() therealyingtong 2020-09-13 23:07:05 +0800
• 417174898e
  Update documentation therealyingtong 2020-09-13 12:31:29 +0800
• 229747e118
  Add compute_g() method on Guard and test use_g() therealyingtong 2020-09-13 11:47:21 +0800
• 1a52d8f6b8
  Add MSM to PLONK verifier signature therealyingtong 2020-09-13 11:39:35 +0800
• ed8130b7bf
  Introduce Accumulator struct and return it in use_g() therealyingtong 2020-09-13 11:37:10 +0800
• 0633086ac1
  Make MSM and Guard derive Clone therealyingtong 2020-09-13 11:33:44 +0800
• 14d1f41e08
  Address review comments therealyingtong 2020-09-13 02:55:48 +0800
• 5f1cd6ced2
  Only return Guard from OpeningProof.verify() therealyingtong 2020-09-13 00:45:11 +0800
• d41fcf842b
  Modify MSM and Guard structs and methods therealyingtong 2020-09-11 13:42:11 +0800
• 7255e085a4
  Add more fields and methods functions to MSM struct therealyingtong 2020-09-10 19:50:02 +0800
• 5724706a09
  Add MSM and Guard structs in polycommit scheme therealyingtong 2020-09-09 21:00:36 +0800
• eeb1b2458b
  Merge pull request #7 from zcash/refactor-modules ebfull 2020-09-07 17:43:18 -0600
• 549232234f
  Finish comment on Proof::verify. Sean Bowe 2020-09-07 16:34:40 -0600
• 4572e809d1
  cargo fmt Sean Bowe 2020-09-07 13:09:25 -0600
• 116659c1ba
  Refactor module tree. Sean Bowe 2020-09-07 10:22:25 -0600
• 7250ac8252
  Merge pull request #4 from zcash/permutation ebfull 2020-09-07 12:24:31 -0600
• 21f02a73c2
  Don't mutate the witness during permutation argument. Also, adds parallelism and reduces state/multiplications. Sean Bowe 2020-09-07 09:37:49 -0600
• b65e75921b
  Remove stale comment Sean Bowe 2020-09-06 14:21:28 -0600
• 190242a4e9
  Remove redundant permutation_queries vector. Sean Bowe 2020-09-06 14:18:05 -0600
• eff149e734
  Fix incorrect indexing into advice_cosets during proving. Sean Bowe 2020-09-06 14:10:25 -0600
• e37d0c946b
  Add parallelism in various locations in the prover. Sean Bowe 2020-09-06 13:40:06 -0600
• 3157fdd7d0
  Batch inversions during domain setup. Sean Bowe 2020-09-06 12:44:36 -0600
• ff8f9eb20e
  Reduce number of inversions by batch inverting when possible. Sean Bowe 2020-09-06 12:24:55 -0600
• 45491a21c9
  Add .vscode to .gitignore. Sean Bowe 2020-09-06 11:33:47 -0600
• 624eb6a421
  Remove unnecessary computation of permutation length in prover. Sean Bowe 2020-09-06 11:33:09 -0600
• 503939db05
  Minor cleanups therealyingtong 2020-09-06 06:34:29 +0800
• 965362c1f5
  Don't precompute deltaomega; inline its computation. Sean Bowe 2020-09-05 14:44:13 -0600
• 937861c0b8
  Add implementation of daira's algorithm for copy constraint enforcement. Sean Bowe 2020-09-05 12:56:45 -0600
• d7132404ba
  Index into q_evals consistently between prover and verifier. Sean Bowe 2020-09-05 12:08:56 -0600
• 869aba389a
  Cleanups Sean Bowe 2020-09-05 11:40:25 -0600
• da9c24bcfa
  Obtain permutation product polynomial correctly. Sean Bowe 2020-09-05 10:52:40 -0600
• 114653f366
  Fix indexing for permutation argument. Sean Bowe 2020-09-04 14:45:05 -0600
• a128d5d9b3
  Undo unnecessarily complicated negation thing. Sean Bowe 2020-09-04 14:25:16 -0600
• c7c5cf4db6
  Rename tmp variables therealyingtong 2020-09-04 13:51:50 +0800
• 10a4b4252c
  Fix current_delta initialisation in verifier ying tong 2020-09-04 19:05:08 +0800
• 06a4cfe13b
  Use extended omega for coset in prover. Sean Bowe 2020-09-04 04:49:59 -0600
• 0651359cb8
  [WIP] Finish prover Sean Bowe 2020-09-03 17:21:44 -0600
• 6b9ea1dbeb
  Precompute deltaomega vector. Sean Bowe 2020-09-03 14:31:57 -0600
• 36d37002fe
  Remove unneeded exponentiation of x_3 Sean Bowe 2020-09-03 14:28:22 -0600
• 335b629724
  Avoid redundant wire queries by searching for an existing query. Sean Bowe 2020-09-03 14:26:00 -0600
• 4a88d52457
  Use the correct permutation values from the SRS. Sean Bowe 2020-09-03 14:21:13 -0600
• d601533bd7
  Commit to permutation product polynomial in the prover. Sean Bowe 2020-09-03 10:58:48 -0600
• 441dcf0ecc
  Compute permutation_evals in prover therealyingtong 2020-09-03 12:29:38 +0800
• 1bc90c4fec
  Remove advice_shifted_evals from prover therealyingtong 2020-09-03 12:25:55 +0800
• 160dabe9c5
  Cleanups for verifier of permutation argument Sean Bowe 2020-09-02 13:15:40 -0600
• c44a020de7
  Permutation checks in verifier therealyingtong 2020-09-03 00:45:03 +0800
• bdd48f6037
  Add advice_shifted_evals to Proof struct therealyingtong 2020-09-02 16:45:34 +0800
• 2472ec3291
  WIP permutation checks in verifier therealyingtong 2020-09-01 13:06:25 +0800
• 0bf73c5d08
  Minor fixes to srs.rs therealyingtong 2020-09-02 23:18:43 +0800
• 2b547558ad
  Merge pull request #5 from rex4539/typos ebfull 2020-09-02 08:32:13 -0600
• c0444f8c31
  Fix typos Dimitris Apostolou 2020-09-01 20:45:20 +0300
• a2fca8a02d
  Add comments to clarify implementation of permutation argument in SRS generator. Sean Bowe 2020-08-31 10:18:55 -0600
• c427795bf5
  Reverse endianness of delta constants Sean Bowe 2020-08-31 10:10:05 -0600
• dc5df10832
  Update structured reference string and API for permutation argument. Sean Bowe 2020-08-31 10:01:09 -0600
• 85fd924b15
  WIP implement copy() on Variables therealyingtong 2020-08-31 13:58:00 +0800
• 4f8570db95
  Add DELTA generator of t-order multiplicative subgroup to Fp, Fq therealyingtong 2020-08-29 13:51:42 +0800
• 4c9a05ba74
  Merge pull request #2 from zcash/universal-circuits ebfull 2020-08-27 15:21:44 -0600
• b453b845b8
  Clean up prover implementation Sean Bowe 2020-08-27 14:03:43 -0600
• 154568c387
  Clean up verification implementation Sean Bowe 2020-08-27 13:52:55 -0600
• 35c4bd4dd9
  Improve naming of offsets/indexes and mappings. Sean Bowe 2020-08-27 13:27:24 -0600
• 378c56b952
  Sample of abstraction for writing PLONK circuits Sean Bowe 2020-08-27 11:43:08 -0600
• 9852913a32
  Add some comments and documentation. Sean Bowe 2020-08-27 10:46:54 -0600
• 1b6c0e9a8b
  Remove _x suffix from variable names Sean Bowe 2020-08-27 10:25:36 -0600
• 9099e9d9ba
  Properly invert when computing expected opening. Sean Bowe 2020-08-27 10:16:42 -0600
• ad106f1119
  (WIP) broken implementation of generalized PLONK Sean Bowe 2020-08-27 10:10:55 -0600
• 6051814c4b
  Split coset step up so that we can query wires at multiple spots. Sean Bowe 2020-08-24 13:50:52 -0600
• c59513eb28
  Minor adjustments for CI Sean Bowe 2020-08-24 13:34:59 -0600
• 44613ebd33
  Merge pull request #1 from zcash/actions ebfull 2020-08-24 13:26:08 -0600
• 24b7e6cc7c
  Run SRS synthesis on an empty circuit in test. Sean Bowe 2020-08-24 08:36:41 -0600