Commit graph

  • 5a341b0f8f Modify Assignment::copy() to take Column<Any> instead of usize therealyingtong 2021-02-19 15:07:08 +0800
  • d82a0c85b1 Modify Assignment::copy() to take Permutation instead of usize therealyingtong 2021-02-19 14:53:26 +0800
  • 340fb2b6df Move Permutation struct from crate::circuit -> plonk::circuit therealyingtong 2021-02-19 14:36:19 +0800
  • 20bd44f854
    Merge pull request #191 from zcash/sha-256-gadget-namespacing ebfull 2021-02-23 08:49:03 -0700
  • 98896560fd
    Merge pull request #203 from zcash/newtype-region-idx ebfull 2021-02-23 08:20:19 -0700
  • 20e336390e
    Merge pull request #206 from zcash/book-sarkar ebfull 2021-02-23 08:19:18 -0700
  • 668bd8e89a book: Tidy up Sarkar explanation and make adjustments for clarity Jack Grigg 2021-02-23 14:00:02 +0000
  • b2d91140e7 book: Move Sarkar explanation into implementation section Jack Grigg 2021-02-23 11:42:02 +0000
  • 6f4c2dc0d7 Add documentation of Minimum Supported Rust Version. Daira Hopwood 2021-02-23 13:25:37 +0000
  • c5c0dbe190
    Merge pull request #204 from zcash/parameter-gen ebfull 2021-02-22 16:40:02 -0700
  • 2e8af8f0ca
    Merge pull request #198 from zcash/book-sarkar ebfull 2021-02-22 16:39:23 -0700
  • 12230a49e0
    Move CURVE_ID to CurveExt. Sean Bowe 2021-02-22 16:30:05 -0700
  • 75bb8121fb
    Switch to domain prefix based on what is suggested in #182 by @daira. Sean Bowe 2021-02-22 16:13:11 -0700
  • 1078f854e3
    Remove BLAKE2B_PERSONALIZATION constant. Sean Bowe 2021-02-22 15:53:22 -0700
  • 5503517ac1
    Produce URS using hashtocurve logic. Sean Bowe 2021-02-22 15:50:01 -0700
  • df8dcce042
    Add CurveExt and AffineExt associated types to project Group trait implementations. Sean Bowe 2021-02-22 15:47:57 -0700
  • a7b9ca44f8
    Merge pull request #202 from zcash/group-traits ebfull 2021-02-22 13:37:02 -0700
  • b4ed5295fe Migrate to group traits Jack Grigg 2021-02-22 19:02:53 +0000
  • 55fb581f17 Define hash-to-curve over Curve, not CurveAffine Jack Grigg 2021-02-22 18:58:50 +0000
  • 082d66d6e7 pasta: Reorganize the curve macro Jack Grigg 2021-02-22 18:41:41 +0000
  • 7037d55320 Rename Curve and CurveAffine properties to match group traits Jack Grigg 2021-02-22 18:39:14 +0000
  • 81a7936d99 pasta: Split halo2-specific curve-specific logic into a separate macro Jack Grigg 2021-02-22 18:33:53 +0000
  • 627d729836
    Merge pull request #136 from daira/hash-to-curve ebfull 2021-02-22 10:24:36 -0700
  • e93de2c285
    Avoid heap allocations within hash_to_curve. Sean Bowe 2021-02-22 10:15:30 -0700
  • 16e5f96f3f Fix a clippy lint. Daira Hopwood 2021-02-22 16:02:38 +0000
  • e408a351d5 Remove a redundant bool::from. Daira Hopwood 2021-02-21 21:43:11 +0000
  • 7dc21f4727 Repair test vectors and add tests for map_to_curve_simple_swu. Daira Hopwood 2021-02-21 21:01:19 +0000
  • 24def7ce02 Fix case where the input to map_to_curve_simple_swu is 0, and remove unneeded B_OVER_ZA constants. Daira Hopwood 2021-02-21 21:00:50 +0000
  • 704a6c3637 Remove unneeded sha3 dependency. Daira Hopwood 2021-02-21 00:45:04 +0000
  • 642aad68a3
    Revert comment changes that are no longer relevant, now that we don't expose the isogenous curves in the API Daira Hopwood 2021-02-20 21:54:50 +0000
  • a14eccc13d Remove unused hash support for Pasta Fp and Fq. Daira Hopwood 2021-02-20 21:51:32 +0000
  • 84f732acb4 Add circuit::RegionIndex and circuit::RegionStart newtypes therealyingtong 2021-02-20 21:19:06 +0800
  • 8b8dbbe2bb Refine type of buf in hash_to_field as suggested by @ebfull. Daira Hopwood 2021-02-18 23:54:27 +0000
  • 6d8c899e16 Rename map_to_curve to map_to_curve_simple_swu. Daira Hopwood 2021-02-18 23:43:01 +0000
  • 785ad5375c Switch from XOF:SHAKE128 to XMD:BLAKE2b. Daira Hopwood 2021-02-18 23:39:54 +0000
  • 25ea5d07f7 Fix error in doc comment. Daira Hopwood 2021-02-04 15:09:08 +0000
  • 9aa3327a0a Fix clippy lints. Daira Hopwood 2021-02-04 15:01:46 +0000
  • c17cd408f1 Fix point doubling on isogenous curve and add test for isogeny of identity. Sean Bowe 2021-02-02 17:37:00 -0700
  • a757bc4e43 Update hashtocurve benchmark Sean Bowe 2021-02-02 14:26:32 -0700
  • d14d2314a1 Remove isogenous curve from public API. Sean Bowe 2021-02-02 12:53:28 -0700
  • b488355e13 Add example to hash_to_curve doc comment. Sean Bowe 2021-02-02 12:39:58 -0700
  • dc069dff31 Rename hasher to hash_to_curve. Sean Bowe 2021-02-02 12:33:41 -0700
  • f6f008f905 Remove MINUS_B_OVER_A constant. Sean Bowe 2021-02-02 12:30:02 -0700
  • c48229ce0f Remove dependency on byteorder crate Sean Bowe 2021-02-02 11:57:21 -0700
  • 783e602e85 Remove SimplifiedSWUWithDegree3Isogeny structure because state is no longer necessary. Sean Bowe 2021-02-02 11:53:30 -0700
  • 83e2656c3e Introduce Curve::hasher abstraction. Sean Bowe 2021-02-02 11:36:06 -0700
  • 68a7a19d3b Move hashtocurve module into pasta module. Sean Bowe 2021-02-02 11:13:32 -0700
  • b134a73ef5 Hardcode isogeny constants and constants for hash to curve. Sean Bowe 2021-02-02 11:04:17 -0700
  • 5b33ff9cab Consolidate the hashtocurve module traits into a single structure. Sean Bowe 2021-02-02 10:24:33 -0700
  • e4e8aef5b6 Simplify HashToCurve trait. Sean Bowe 2021-02-02 09:26:08 -0700
  • db11c47045 Apply suggestions from code review Daira Hopwood 2021-01-30 22:08:17 +0000
  • fa3afc29bb Add an implementation of simplified SWU hash-to-curve. Daira Hopwood 2021-01-13 13:24:47 +0000
  • c9b606212e
    Merge pull request #196 from daira/book-improvements str4d 2021-02-20 04:19:40 +1300
  • e7562a471a
    Merge pull request #200 from zcash/fix-bench-plonk str4d 2021-02-19 23:18:09 +1300
  • e98dba8521 Update bench::plonk to work with multi-proof prover therealyingtong 2021-02-19 15:46:32 +0800
  • 6717594c46 book: Render gtab and invtab as matrices Jack Grigg 2021-02-19 01:13:16 +0000
  • b148c34c10 [book] Add Sarkar sqrt explanation to Fields section therealyingtong 2021-02-18 19:31:03 +0800
  • 4d61ad8ff5 Need a borrow here. Daira Hopwood 2021-02-18 23:50:01 +0000
  • fb6111df5b
    Merge pull request #176 from zcash/general-lookup ebfull 2021-02-18 16:32:48 -0700
  • e2f20770bb Edits from pairing with @str4d. This fixes an error in Z_P for the equality constraint argument, and also errors in the circuit commitments section. Daira Hopwood 2021-02-18 23:27:42 +0000
  • 0316019a94
    Add test for polynomial rotation in Lagrange form. Sean Bowe 2021-02-18 16:25:00 -0700
  • 81af4e43d1
    Update pinned verification key to account for circuit changes Sean Bowe 2021-02-18 15:48:20 -0700
  • d29246b49b
    Rename const_* -> constant_* therealyingtong 2021-02-14 08:48:44 +0800
  • 4bf46fc349
    Add Expression::Const variant therealyingtong 2021-02-13 18:36:29 +0800
  • 6a7f869f66
    Clippy fixes therealyingtong 2021-02-16 17:16:47 +0800
  • df2d818891
    Account for Rotations of LagrangeCoeff values therealyingtong 2021-02-14 23:17:54 +0800
  • 8e56b415fb
    Rename column -> expression for lookups therealyingtong 2021-02-12 10:24:55 +0800
  • 2f2de13887
    Calculate required degree of lookup therealyingtong 2021-02-12 09:40:53 +0800
  • aca6de61f8
    Evaluate Expressions and all variants therealyingtong 2021-02-10 22:57:08 +0800
  • d8534e1c50
    Pass Expressions to meta.lookup() therealyingtong 2021-02-10 19:36:25 +0800
  • 9401ceb68d
    Merge pull request #173 from zcash/vk-transcript ebfull 2021-02-18 13:28:57 -0700
  • 1e73f97a24
    Merge pull request #197 from zcash/bump-deps str4d 2021-02-19 09:20:35 +1300
  • 5e20b0f2a7
    Automatically derive PinnedVerificationKey's Debug impl. Sean Bowe 2021-02-18 07:51:41 -0700
  • 7fcd302d2d
    cargo fmt Sean Bowe 2021-02-17 15:40:41 -0700
  • 8060a12ea4
    Fix minor nit (match ergonomics) Sean Bowe 2021-02-17 15:39:46 -0700
  • 2b1c319ba0
    Use pretty-printing in test of verification key pinning. Sean Bowe 2021-02-17 15:38:43 -0700
  • 2fe4e0d900
    Change personalization of BLAKE2b used in hash_into. Sean Bowe 2021-02-17 15:17:23 -0700
  • 87536cea10
    Use newtypes to simplify Debug implementations for pinning verification keys. Sean Bowe 2021-02-17 15:15:08 -0700
  • 2076701fc3
    cargo fmt Sean Bowe 2021-02-17 13:55:38 -0700
  • 34a5bfd4b1
    Remove unused TryInto import. Sean Bowe 2021-02-17 13:53:50 -0700
  • 6226426be0
    Restore whitespace Sean Bowe 2021-02-17 13:53:31 -0700
  • bc9d05e67b
    Apply suggestions from code review ebfull 2021-02-17 13:44:28 -0700
  • 98f5b17359
    Remove unused import Sean Bowe 2021-02-17 10:58:37 -0700
  • ea563434f4
    Remove hash_into from Rotation. Sean Bowe 2021-02-17 10:48:28 -0700
  • dfa7d96fa9
    Refactor verification key hashing logic to use Display impls. Sean Bowe 2021-02-17 10:46:20 -0700
  • f35e190455
    Hash in field modulus, curve parameters therealyingtong 2021-02-17 11:32:14 +0800
  • 52c028b4da
    Disambiguate naming of hash() -> hash_into() therealyingtong 2021-02-16 01:09:54 +0800
  • e7d6f67564
    Rename aux -> instance after rebasing therealyingtong 2021-02-16 00:20:54 +0800
  • b204ff74a8
    Do not return hash results from component hash() methods therealyingtong 2021-02-15 12:46:14 +0800
  • 4aa4b4463a
    Hash domain and cs into transcript therealyingtong 2021-02-11 22:30:26 +0800
  • 437782e902
    Hash fixed_commitments and permutations into transcript therealyingtong 2021-02-09 14:01:33 +0800
  • ad771f89cb Book: improve the section explaining the permutation argument. Daira Hopwood 2021-02-17 17:11:11 +0000
  • 776016fe53 crossbeam-utils 0.8 Jack Grigg 2021-02-17 20:43:36 +0000
  • 0c4f779993 ff 0.9 Jack Grigg 2021-02-17 20:42:27 +0000
  • 2c77eccf01 metrics 0.14.2 Jack Grigg 2021-02-17 20:40:12 +0000
  • a73560c842 Book: cosmetics and minor corrections / wording improvements. Daira Hopwood 2021-02-17 17:10:11 +0000
  • 07af9ea3e7 Book: generalize input columns to expressions in lookup argument. Daira Hopwood 2021-02-17 17:09:10 +0000
  • 068babe3d0
    Merge pull request #193 from zcash/any-permutation ebfull 2021-02-17 09:06:27 -0700
  • b299542eea
    Merge pull request #174 from zcash/ecc-gadget ebfull 2021-02-17 08:54:02 -0700
  • a19dc68dee Use Column<Any> in Permutation::Argument therealyingtong 2021-02-17 21:13:25 +0800