Commit Graph

  • b9737fc0e8 Random z MUST be {1..2^128-1}, so we loop in case we (rarely) randomly generate a zero jane/batch Deirdre Connolly 2021-02-05 15:12:10 -0500
  • 9becaf5079 Check all batch item inputs sizes against the supplied VerifyingKey first Deirdre Connolly 2021-02-04 19:20:45 -0500
  • 3e237a9ab1 Mark rng as &mut in closure Deirdre Connolly 2021-02-04 19:11:11 -0500
  • ce345d97d5 Add docs Deirdre Connolly 2021-02-04 18:53:59 -0500
  • 140d31d24e
    Format comment about optimizing miller loop terms Deirdre Connolly 2021-02-03 21:20:46 -0500
  • 8e4d566887
    Update doc re: VerifiyingKey Deirdre Connolly 2021-02-03 20:21:04 -0500
  • 70cc09e7e6
    Tidy tuple return Deirdre Connolly 2021-02-03 20:18:34 -0500
  • 25b1a8cf6d Tidy up some batch verification math based on review Deirdre Connolly 2021-02-01 19:57:15 -0500
  • be65838165 Add groth16 batch verify test and benchmarks Deirdre Connolly 2021-01-25 03:45:56 -0500
  • b750faa607 Add common mimc test utils Deirdre Connolly 2021-01-25 03:44:08 -0500
  • 414c4f2e88 Finish groth16 batch verification math Deirdre Connolly 2021-01-23 06:33:49 -0500
  • 5b0226b268 port bellman batch changes from librustzcash Jane Lusby 2021-01-13 16:02:34 -0800
  • 59e6fc0d47
    Merge pull request #63 from zkcrypto/release-0.9.0 ebfull 2021-01-26 15:04:51 -0700
  • 9a5fa5dc97 bellman 0.9.0 Jack Grigg 2021-01-26 21:41:47 +0000
  • 90be7d9826
    Merge pull request #62 from zkcrypto/rand-dependency-updates ebfull 2021-01-26 14:31:22 -0700
  • e0e98c631e Bump MSRV to 1.47.0 Jack Grigg 2021-01-26 21:14:43 +0000
  • 1944122407 hex-literal 0.3 Jack Grigg 2021-01-26 21:13:56 +0000
  • 8113d8beab bitvec 0.20 Jack Grigg 2021-01-26 21:12:25 +0000
  • 6491440eae Bump ff to 0.9 Jack Grigg 2021-01-26 19:31:04 +0000
  • fa9be45588
    Merge pull request #58 from zkcrypto/release-0.8.1 main ebfull 2020-11-10 11:39:04 -0700
  • 2059de8bb3
    Release v0.8.1 Sean Bowe 2020-11-10 11:33:02 -0700
  • a51a6a08f8
    Merge pull request #55 from w3f/pub-multiexp ebfull 2020-11-10 07:34:35 -0700
  • a2c22a474e
    Merge pull request #57 from zkcrypto/fix-nightly-deref-issue ebfull 2020-11-02 09:23:04 -0700
  • a5ff6f514b Fix deref breakage with nightly-2020-10-06 Jack Grigg 2020-10-30 00:25:57 +0000
  • eec6155ec4 makes multiexp module public Sergey Vasilyev 2020-10-25 23:16:09 +0300
  • 0f2244fdb4
    Merge pull request #53 from zkcrypto/release-0.8.0 master ebfull 2020-09-08 17:04:14 -0600
  • f0141b6f69 bellman 0.8.0 Jack Grigg 2020-09-08 23:54:10 +0100
  • e35089357e
    Merge pull request #52 from zkcrypto/ff-0.8 ebfull 2020-09-08 16:53:05 -0600
  • f3c8d4e634 Add Actions CI workflow Jack Grigg 2020-09-08 23:46:57 +0100
  • ec638e4d02 Replace bit-vec crate with bitvec Jack Grigg 2020-09-04 13:29:37 +0100
  • e6a404a29e Pass exponent bits into multiexp instead of exponents themselves Jack Grigg 2020-09-02 21:39:32 +0100
  • f90fa65a32 Migrate to ff 0.8 Jack Grigg 2020-09-02 15:20:12 +0100
  • 81f4aac8c7
    Merge pull request #50 from zkcrypto/release-0.7.0 ebfull 2020-08-25 16:34:28 -0600
  • 212f8ae3fe Remove paths from dependencies Jack Grigg 2020-08-25 23:33:43 +0100
  • 227890761a Add missing intra-doc link Jack Grigg 2020-08-25 23:32:14 +0100
  • 9738f45d1d s/into_iter/iter to fix warnings Jack Grigg 2020-08-25 23:30:20 +0100
  • 18a85dc3bd Remove unnecessary extern crates Jack Grigg 2020-08-25 23:29:52 +0100
  • 2030fb488b bellman 0.7.0 Jack Grigg 2020-08-22 11:57:27 +0100
  • c3cfe43dad bls12_381 0.2.0 Jack Grigg 2020-08-22 11:46:27 +0100
  • 1f3ffdd5a1 pairing 0.17.0 Jack Grigg 2020-08-22 11:40:10 +0100
  • 9d85d4eac3 group 0.7.0 Jack Grigg 2020-08-22 11:33:31 +0100
  • 8521902516 ff 0.7.0 Jack Grigg 2020-08-22 11:31:01 +0100
  • 459fa4a635 pairing: Remove BLS12-381 implementation Jack Grigg 2020-07-02 16:22:14 +1200
  • 200901d496 s/{pairing::bls12_381, zcash_primitives::jubjub}/{bls12_381, jubjub} Jack Grigg 2020-07-02 08:26:54 +1200
  • 6c76adca08 bellman: Migrate to bit-vec 0.6 Jack Grigg 2020-06-25 22:04:24 +1200
  • 10ac7ce51f bellman: Migrate to sha2 0.9 Jack Grigg 2020-06-25 22:03:14 +1200
  • b6a2e4e485 pairing: Require G1 and G2 to be PrimeCurve Jack Grigg 2020-08-13 18:11:44 +0100
  • 74c7d4914d group: Hard-code a w-NAF window size of 4 Jack Grigg 2020-08-12 08:12:48 +0100
  • 6875667f1d group: CofactorGroup::mul_by_cofactor -> CofactorGroup::clear_cofactor Jack Grigg 2020-08-12 08:02:29 +0100
  • e534f36ec4 bellman: add VerificationError (#254) Henry de Valence 2020-08-05 03:26:31 -0700
  • 701e6cfa1b group: Make Wnaf generic over Group Jack Grigg 2020-06-06 11:29:26 +1200
  • 0c9e783172 group: Separate prime and cofactor traits into modules Jack Grigg 2020-05-30 00:49:44 +1200
  • a77b2c8623 group: Renaming prior to trait refactor Jack Grigg 2020-05-29 21:52:39 +1200
  • 8142ece846 group: Remove "compressed" notion from GroupEncoding Jack Grigg 2020-05-29 20:58:54 +1200
  • 9397e78789 group: Extract compressed encodings from CurveAffine trait Jack Grigg 2020-05-29 20:22:53 +1200
  • f490cdc674 group: Default implementation of CurveProjective::batch_normalize Jack Grigg 2020-05-21 11:58:57 +1200
  • 06c2c37b28 group: Move uncompressed encodings to an UncompressedEncoding trait Jack Grigg 2020-05-21 11:48:52 +1200
  • a1a27128f2 pairing: Move PairingCurveAffine::Prepared to MultiMillerLoop trait Jack Grigg 2020-06-03 18:01:57 +1200
  • 02dc1763a3 pairing: Extract Engine::miller_loop into a MultiMillerLoop trait Jack Grigg 2020-05-30 18:35:33 +1200
  • ee6e00b0e7 pairing: Pass affine references to Engine::pairing Jack Grigg 2020-05-30 16:56:58 +1200
  • 5eb58836ce pairing: Move final_exponentiation into a MillerLoopResult trait Jack Grigg 2020-05-30 16:45:44 +1200
  • fd53dbc6f2 pairing: Separate associated types for MillerLoopResult and Gt Jack Grigg 2020-05-30 16:01:42 +1200
  • f5254a1b8a pairing: Remove Engine::Fq and Engine::Fqe Jack Grigg 2020-05-21 09:57:33 +1200
  • 2215865538 group: Remove CurveProjective::Base and CurveAffine::Base Jack Grigg 2020-05-21 09:55:05 +1200
  • 025746cdc8 ff: Remove ScalarEngine Jack Grigg 2020-05-30 15:18:25 +1200
  • 2e540e681c bellman: Replace E: ScalarEngine with Scalar: PrimeField Jack Grigg 2020-05-30 12:32:21 +1200
  • 027847f543 Fix various lints Jack Grigg 2020-05-22 18:52:35 +1200
  • cbe8c5de67 group: Rename into_*(&self) -> to_*(&self) Jack Grigg 2020-05-20 11:30:41 +1200
  • 392a107b31 group: Remove EncodedPoint::from_affine Jack Grigg 2020-05-19 18:30:31 +1200
  • 180e54d4b3 group: Remove EncodedPoint::{into_affine, into_affine_unchecked} Jack Grigg 2020-05-19 18:10:10 +1200
  • 32c85391dc group: Add mixed-addition scalar multiplication bounds to CurveAffine Jack Grigg 2020-05-15 17:49:45 +1200
  • 9c291bfb72 group: Return subtle::Choice from CurveAffine::is_identity Jack Grigg 2020-05-15 17:33:34 +1200
  • 0ef1cc1034 group: Direct-to-affine CurveProjective::batch_normalize Jack Grigg 2020-05-15 17:08:43 +1200
  • ac47effa05 group: Return subtle::Choice from Group::is_identity Jack Grigg 2020-05-14 23:44:51 +1200
  • b72d0935b4 group: Add scalar multiplication bounds to Group Jack Grigg 2020-05-14 23:16:07 +1200
  • 3f0efc3a66 group: Add Group::Subgroup associated type Jack Grigg 2020-05-14 22:53:39 +1200
  • ac9b139d29 group: Move CurveProjective::double to Group Jack Grigg 2020-05-14 20:37:14 +1200
  • bca06de21c group: Sum + for<'a> Sum<&'a Self> bounds for Group Jack Grigg 2020-05-14 20:30:22 +1200
  • 78db26b713 group: Introduce Group and PrimeGroup traits Jack Grigg 2020-05-14 18:10:06 +1200
  • e75b850fe5 Remove Engine associated type from CurveAffine and CurveProjective Jack Grigg 2020-05-06 18:49:03 +1200
  • 8db20b4466 Make CurveProjective::double take &self and return Self Jack Grigg 2020-05-06 14:02:24 +1200
  • 3d1af5bed8 group: Rename zero and one to identity and generator Jack Grigg 2020-05-06 13:40:44 +1200
  • 145747c08b Remove explicit std::marker from Sized bound Jack Grigg 2020-04-24 14:32:44 +1200
  • d7e727255c ff: Rename PrimeField::into_repr -> PrimeField::to_repr Jack Grigg 2020-05-02 18:55:13 +1200
  • 80a0c777bb ff: Move pow_vartime back into Field trait Jack Grigg 2020-05-02 17:57:19 +1200
  • a0177b6108 ff: Remove Ord bound from PrimeField Jack Grigg 2020-05-02 15:48:51 +1200
  • 9243a6d8bd ff: Add PrimeField::ReprEndianness associated type Jack Grigg 2020-05-01 14:20:35 +1200
  • f8ed66ec97 ff: Remove frobenius_map from Field trait Jack Grigg 2020-05-01 14:01:43 +1200
  • 8318d2f481 ff: Remove SqrtField trait Jack Grigg 2020-05-01 13:48:30 +1200
  • d6a1581f83 ff: Remove PrimeFieldRepr trait Jack Grigg 2020-04-23 17:32:04 +1200
  • b269d6ab44 ff: Add Ord bound to PrimeField Jack Grigg 2020-04-23 16:30:36 +1200
  • dfea841123 ff: PrimeField: BitAnd<u64, Output = u64> + Shr<u32, Output = Self> Jack Grigg 2020-04-22 10:45:51 +1200
  • 027cb982dc ff: PrimeField::{is_even, is_odd} Jack Grigg 2020-04-21 19:05:19 +1200
  • 43573a953b ff: Rework BitIterator to work with both u8 and u64 limb sizes Jack Grigg 2020-03-28 12:02:32 +1300
  • 0f49ddc2c0 ff: Add PrimeField: From<u64> constraint Jack Grigg 2020-03-27 23:19:58 +1300
  • 0980462d4b ff: Move pow_vartime into a trait that is generic over the limb size Jack Grigg 2020-03-27 22:35:55 +1300
  • f067548b44 group: Rewrite wNAF to remove dependency on ff::PrimeFieldRepr Jack Grigg 2020-03-26 19:23:29 +1300
  • 5552955ab8 group: Take scalar by reference in CurveProjective::recommended_wnaf_for_scalar Jack Grigg 2020-03-26 19:00:46 +1300
  • 1a54252784 Move from CurveProjective::add_assign_mixed to traits Jack Grigg 2019-12-14 17:20:47 +0000
  • 23443c7e8d Move from Curve*::negate to Neg operator Jack Grigg 2019-05-27 17:36:22 +0100