Commit graph

Select branches

Hide pull requests

master

Mono Color

• 6c85ad14a9 Use latest stable Rust Jack Grigg 2020-11-25 19:38:03 +0000
• 6f6a6a6bb0
  Merge pull request #48 from zcash/small-optimisations str4d 2020-11-25 14:01:23 +0000
• 875c223748 Simplify h_poly expression evaluation in Proof::create Jack Grigg 2020-11-24 23:38:26 +0000
• 61cddec3b8 Update crate authors Jack Grigg 2020-11-10 16:52:41 +0000
• 61c9392475 Remove query allocations from Proof::create Jack Grigg 2020-10-21 22:17:23 +0100
• 6360da1f4e Remove query allocations from Proof::verify Jack Grigg 2020-10-21 17:10:57 +0100
• 7f29ab913d Simplify h(x_3) computation in verifier using Horner's rule Jack Grigg 2020-10-21 16:03:42 +0100
• feba8e2fdf Allocate permutation_modified_advice once in Proof::create Jack Grigg 2020-10-21 16:02:25 +0100
• cc5f45231d
  Merge pull request #42 from zcash/plonk-benches str4d 2020-11-24 18:14:07 +0000
• 9a4f27056c Fix clippy lint in metrics model doctest Jack Grigg 2020-11-24 17:56:33 +0000
• e8bf35d853
  Merge pull request #43 from zcash/transcript-merge str4d 2020-11-24 17:50:18 +0000
• 3eb6712c6c Add aux information to metrics therealyingtong 2020-11-23 23:35:50 +0800
• 37c4927dac model: Measure keygen and prover separately Jack Grigg 2020-11-12 15:27:46 +0000
• 236b3a6692 Collect some verifier metrics Jack Grigg 2020-11-11 15:16:52 +0000
• d4424db8d4 Collect some prover metrics Jack Grigg 2020-11-10 23:59:06 +0000
• ba27586965 Add an example performance model Jack Grigg 2020-11-10 23:55:21 +0000
• fb8f67dfe5 Add a simple metrics Recorder for counting things in models Jack Grigg 2020-11-10 23:54:53 +0000
• 1f3fc875ab PLONK benchmarks. Sean Bowe 2020-10-13 15:06:21 -0600
• bffab9953e Conditionally squeeze scalar hasher before interacting with base hasher therealyingtong 2020-10-21 22:33:22 +0800
• 15682bf16f Make init_with_hashers() internal to transcript crate ying tong 2020-10-21 19:23:50 +0800
• 7822201c9c Remove redundant point checks in commitment verifier ying tong 2020-10-21 19:22:21 +0800
• 2375507f4f Update error handling therealyingtong 2020-10-15 17:01:26 +0800
• 43337dea1b Make Transcript generic over curve points therealyingtong 2020-10-15 07:35:06 +0800
• 1e8769b738
  Merge pull request #60 from zcash/tweedle-refactor str4d 2020-11-12 22:45:25 +0000
• 71111e88b7 Type aliases for the tweedle groups Jack Grigg 2020-11-12 21:45:56 +0000
• 3407d13e4b Move curves and fields into tweedle module Jack Grigg 2020-11-12 20:13:13 +0000
• f4c15760f2 Use explicit trait paths in arithmetic macros Jack Grigg 2020-11-12 19:37:48 +0000
• 5a2f474616
  Merge pull request #56 from zcash/coset-docs ebfull 2020-11-11 08:56:03 -0700
• 5d1e1a29db
  Merge pull request #51 from zcash/update-ci ebfull 2020-11-11 08:52:59 -0700
• 629bab41b0
  Merge pull request #54 from zcash/column-types Daira Hopwood 2020-11-11 14:14:40 +0000
• a856137619 Minor refactors ying tong 2020-11-11 13:46:18 +0800
• 28e07eab16 Add to documentation for coset evaluation domain therealyingtong 2020-11-10 13:44:52 +0800
• 766caf9214 Make getters for column index() and column_type() therealyingtong 2020-11-10 00:45:52 +0800
• 0519a522aa Use TryFrom to convert Column<Any> to other column types therealyingtong 2020-11-10 00:39:08 +0800
• ad781356c2 Update authors in Cargo.toml therealyingtong 2020-11-07 13:22:52 +0800
• 22b6d5bd70 Cleanups in circuit.rs therealyingtong 2020-11-07 13:22:33 +0800
• 34c6cba537 Add generic query_any_index() and get_any_query_index methods therealyingtong 2020-11-06 11:36:54 +0800
• 075988ae4e Introduce Column struct and ColumnType trait therealyingtong 2020-11-06 11:25:50 +0800
• 2034179d82 Rename wire -> column therealyingtong 2020-11-06 11:13:54 +0800
• 10676657f4 Fix stable clippy lints Jack Grigg 2020-10-30 01:29:05 +0000
• 5a6a45c6a8 Fix deref breakage with nightly-2020-10-06 Jack Grigg 2020-10-30 01:21:09 +0000
• ca160f9ead Update Actions CI with improved workflow Jack Grigg 2020-10-30 00:45:07 +0000
• 87d7453a1a
  Merge pull request #50 from steven-ecc/update-contributor-agreement ebfull 2020-10-29 09:06:19 -0600
• af9bb0b5d1 Correct numbering and add missing sections Steven Smith 2020-10-25 09:42:25 -0700
• 18746f109c
  Merge pull request #26 from zcash/multipoint-opening ebfull 2020-10-20 09:08:11 -0600
• 011132337f
  Remove notes on multiopen module Sean Bowe 2020-10-20 08:57:48 -0600
• 3761419ebc Add documentation for multiopen.rs therealyingtong 2020-10-16 11:28:38 +0800
• a30719c245 Minor changes to multiopen therealyingtong 2020-10-16 08:43:41 +0800
• 1e9f7f37c6
  Minor improvements to multiopen. Sean Bowe 2020-10-15 17:16:44 -0600
• 9d572c181d
  Remove unnecessary enumeration in multiopen prover. Sean Bowe 2020-10-15 17:12:17 -0600
• 685bf79613
  Relocate x_5 challenge sampling location to simplify logic. Sean Bowe 2020-10-15 17:11:06 -0600
• 123cacc7cc
  Remove additional unnecessary vector clone from multiopen prover. Sean Bowe 2020-10-15 17:06:35 -0600
• 55ef4ea1f7
  Unify the construct_intermediate_sets function between multiopen prover and verifier. Sean Bowe 2020-10-15 17:01:30 -0600
• d3f593e89c
  Avoid unnecessary enumeration. Sean Bowe 2020-10-15 14:18:02 -0600
• 3955da435c
  Avoid unnecessary vector cloning in multiopen. Sean Bowe 2020-10-15 14:17:03 -0600
• 588de0e024
  Add test for lagrange interpolation. Sean Bowe 2020-10-15 14:15:03 -0600
• 63d7de3bc2
  Perform inversions in lagrange_interpolate as part of a batch. Sean Bowe 2020-10-15 14:08:13 -0600
• 5c563eca12
  Do not enumerate product inside of lagrange_interpolate. Sean Bowe 2020-10-15 13:56:42 -0600
• 2f7b46ffa1 Remove use of parallelize() from multiopen::prover therealyingtong 2020-10-14 08:16:14 +0800
• 742c15bb51 Minor changes and documentation therealyingtong 2020-10-14 01:08:03 +0800
• 24b85dec67 Remove q_evals.len() = rotations.len() check therealyingtong 2020-10-14 00:43:48 +0800
• b62d113031 Refactor to use fold() in multiple places therealyingtong 2020-10-09 21:34:53 +0800
• 79cabb3d8d Move random scaling of MSM into multiopen verifier therealyingtong 2020-10-09 12:21:06 +0800
• 088118cc5d Refactor lagrange_interpolate() method therealyingtong 2020-10-08 22:59:55 +0800
• 1441193de1 Refactoring from initial code review therealyingtong 2020-10-08 12:48:40 +0800
• 6f6378b2ea More idiomatic implementation of Ord for Field ying tong 2020-10-08 12:23:16 +0800
• 89fd6e4d44 Use map_err() when handling multiopen::Proof::create() therealyingtong 2020-10-08 12:15:46 +0800
• 5181ca56f1 Bind &[pubinput] in plonk test_proving() therealyingtong 2020-10-08 00:21:32 +0800
• 97873fa6ea Use VerifierQuery and construct_intermediate_sets() in verifier therealyingtong 2020-10-08 00:20:00 +0800
• 6cd74999ff Use ProverQuery and construct_intermediate_sets() in prover therealyingtong 2020-10-08 00:13:06 +0800
• 9378d0cc70 Define construct_intermediate_sets() helper method for multiopen prover and verifier therealyingtong 2020-10-07 21:59:55 +0800
• cbe4415870 Introduce Query and CommitmentData structs for multiopen therealyingtong 2020-10-07 21:57:54 +0800
• 1e21c08acd Implement Ord and PartialOrd for Field therealyingtong 2020-10-07 21:54:00 +0800
• 07e2d390a9 Introduce Lagrange interpolation method in arithmetic.rs therealyingtong 2020-09-30 08:45:24 +0800
• c3d0a172a7 Create multiopen abstraction therealyingtong 2020-09-29 15:23:41 +0800
• a8e0a5565e
  Merge pull request #38 from zcash/lookup-argument ebfull 2020-10-13 08:53:49 -0600
• 67b35954f4
  Move MSM into submodule. Sean Bowe 2020-10-13 08:16:20 -0600
• 2ccddac674
  Split proof/input length checks into separate method of verifier Sean Bowe 2020-09-29 17:35:24 -0600
• 9672bf9725
  Minor improvements to check_hx() Sean Bowe 2020-09-29 17:14:37 -0600
• 7d8daa5d05
  Refactor h_eval computation into separate, more functional code. Sean Bowe 2020-09-29 16:56:21 -0600
• e275d78c7d
  Simplify permutations field of ConstraintSystem Sean Bowe 2020-09-29 08:51:00 -0600
• e5fd7914b1
  Merge pull request #37 from zcash/remove-srs ebfull 2020-09-29 08:29:17 -0600
• 7a3caaad59
  Fix comments Sean Bowe 2020-09-29 08:28:00 -0600
• c97da352ee
  Remove SRS and replace with ProvingKey/VerifyingKey abstractions Sean Bowe 2020-09-29 08:25:04 -0600
• 865160ca88
  Merge pull request #30 from zcash/blinded-accumulator ebfull 2020-09-28 08:30:51 -0600
• 4a37e05f49
  cargo fmt Sean Bowe 2020-09-25 10:21:54 -0600
• 6d41693af5
  Use Blind::default(). Sean Bowe 2020-09-25 09:58:19 -0600
• 56b6d8bd03
  Auxilary wires in PLONK are foux blinded just like fixed wires. Sean Bowe 2020-09-25 09:28:49 -0600
• 316a027784
  Modify commitment opening argument so that G element can be foux blinded to align with wire blinding in PLONK. Sean Bowe 2020-09-25 09:22:19 -0600
• 3db368b40e
  Move Guard and Accumulator implementations into verifier submodule. Sean Bowe 2020-09-25 09:11:37 -0600
• f3cfd27a8f
  Merge pull request #31 from zcash/rename-openingproof ebfull 2020-09-25 10:19:29 -0600
• 2d1f69328f
  Rename OpeningProof to just Proof. Sean Bowe 2020-09-25 09:39:32 -0600
• 5f6c382546
  Merge pull request #29 from zcash/address-clippy-lints ebfull 2020-09-25 09:31:12 -0600
• a37c926a89
  Address clippy lints Sean Bowe 2020-09-20 13:09:03 -0600
• 6e7895d8d5
  Merge pull request #22 from zcash/aux-wires ebfull 2020-09-20 10:37:07 -0600
• 60aa2918c3
  Remove get_g_scalars() from MSM. Sean Bowe 2020-09-19 13:52:33 -0600
• 6620817d81
  Return errors from verifier instead of assuming points aren't at infinity in the proof. Sean Bowe 2020-09-19 13:47:37 -0600
• 73d494a72d
  Various changes, including restoring permutation argument to advice wires only for now. Sean Bowe 2020-09-19 13:31:56 -0600
• e8839a7579
  Refactor wire pattern matching when computing permutation product therealyingtong 2020-09-18 22:58:40 +0800
• 24fe3fae29
  Remove aux_commitments computation from Prover; remove blinding factor when accumulator aux_evals therealyingtong 2020-09-18 22:51:48 +0800