Commit Graph

  • 9f654005c7 poseidon: Replace the `Duplex` struct with a `Sponge` struct Jack Grigg 2021-11-24 17:01:33 +0000
  • eca0dd7177 CI: Switch to storing benchmarks in gh-pages branch Jack Grigg 2021-12-09 13:24:50 +0000
  • b827298d42 poseidon: Rename `SpongeState` to `SpongeRate` Jack Grigg 2021-11-24 16:48:04 +0000
  • 0378898289 Replace `FieldExt::{from, to}_bytes` with `PrimeField::{from, to}_repr` Jack Grigg 2021-12-07 18:02:03 +0000
  • 6f0cab5ffd Replace `FieldExt::from_u64` with `PrimeField: From<u64>` Jack Grigg 2021-12-07 17:47:03 +0000
  • e4f338e758
    Merge pull request #250 from zcash/update-halo2-assignedcell str4d 2021-12-09 15:30:40 +0000
  • 84aa43fe8b bench: Fix circuit benchmarks Jack Grigg 2021-12-09 13:18:39 +0000
  • a4135dde24 ecc::chip: Fix `print_ecc_chip` Jack Grigg 2021-12-09 00:49:01 +0000
  • 6b84d0955a Fix "complex type" clippy lints Jack Grigg 2021-12-08 04:06:00 +0000
  • a44253acc7 ecc::chip: Define a `MagnitudeSign` type alias Jack Grigg 2021-12-08 02:16:59 +0000
  • bacdf67428 Remove the `CellValue` type Jack Grigg 2021-12-02 02:51:46 +0000
  • 65a89f099b Replace `gadget::utilities::copy` with `AssignedCell::copy_advice` Jack Grigg 2021-12-02 02:10:00 +0000
  • 3079800f42 Remove `Var::new` trait method Jack Grigg 2021-12-02 01:10:00 +0000
  • 9b41a06363 Migrate to halo2 version with `AssignedCell` Jack Grigg 2021-12-02 00:10:00 +0000
  • 5cb838f1a2 circuit: Remove `Copy` impl from `poseidon::pow5::StateWord` Jack Grigg 2021-12-01 23:52:25 +0000
  • e99fc92e4b circuit: Use `Field::is_zero_vartime` Jack Grigg 2021-12-01 12:59:37 +0000
  • 50b4600a1a circuit: Remove `Copy` impl from `CellValue` Jack Grigg 2021-12-01 12:51:33 +0000
  • 55567f31ed
    Merge pull request #248 from zcash/ecc-config-refactor str4d 2021-12-08 01:40:14 +0000
  • a38e2ff728
    Ensure lo and hi incomplete ranges line up str4d 2021-12-08 01:00:18 +0000
  • 99b767a3a1
    Merge pull request #252 from zcash/circuit-pin-proof-size str4d 2021-12-06 20:03:22 +0000
  • fe7796b884 circuit: Ensure that the real proof length matches calculated length Jack Grigg 2021-12-06 19:44:44 +0000
  • e2c300368b circuit: Pin the proof size Jack Grigg 2021-12-06 18:01:30 +0000
  • 42ad193b58
    Merge pull request #247 from zcash/ternary-expr str4d 2021-12-06 17:32:35 +0000
  • a09173a331 ecc::chip: Remove chip-level permutation. therealyingtong 2021-11-30 22:37:12 -0500
  • c00ee1707e mul_fixed::base_field_elem: Refactor base_field_elem::Config. therealyingtong 2021-11-30 22:31:49 -0500
  • 687e220c36 mul_fixed::short: Refactor short::Config. therealyingtong 2021-11-30 22:20:24 -0500
  • 165c9b6941 mul_fixed::full_width: Refactor full_width::Config. therealyingtong 2021-11-30 22:15:19 -0500
  • f472a16b32 chip::mul_fixed: Move running_sum_config into mul_fixed::Config. therealyingtong 2021-11-30 22:00:07 -0500
  • 1a7e832ed4 chip::mul_fixed: Refactor mul_fixed::Config. therealyingtong 2021-12-03 11:51:59 -0500
  • a7dad1d611 chip::mul: Refactor mul::Config. therealyingtong 2021-11-30 15:41:57 -0500
  • 440cd14dbb mul::overflow: Refactor overflow::Config. therealyingtong 2021-11-30 14:47:47 -0500
  • 931d61a863 mul::complete: Refactor complete::Config. therealyingtong 2021-11-30 15:00:05 -0500
  • 22f57005a9 mul::incomplete: Refactor incomplete::Config. therealyingtong 2021-11-30 15:59:29 -0500
  • 0ede6b2301 mul::Config: Reorder gate definitions Jack Grigg 2021-12-04 04:35:33 +0000
  • 2ec480ef6b utilities::lookup_range_check: Derive Copy for LookupRangeCheckConfig. therealyingtong 2021-11-30 14:31:42 -0500
  • 4fe6fb8bf2 chip::add: Refactor add::Config. therealyingtong 2021-11-30 13:41:02 -0500
  • 13faedc7cc chip::add_incomplete: Refactor add_incomplete::Config. therealyingtong 2021-11-30 13:29:52 -0500
  • 9d8fee29c7 chip::witness_point: Refactor witness_point::Config. therealyingtong 2021-11-30 13:47:52 -0500
  • 53b68ea799
    Merge pull request #249 from zcash/241-spendingkey-ct_eq ebfull 2021-12-02 11:45:44 -0700
  • d8690b8985
    Merge pull request #236 from zcash/bench-poseidon-2 str4d 2021-12-01 15:57:55 +0000
  • b02628d263 Apply suggestions from code review ying tong 2021-11-30 20:08:56 -0500
  • 76c8bb9711 utilities::cond_swap: Use ternary helper in cond_swap. therealyingtong 2021-11-30 13:06:09 -0500
  • 37f1bba998 Remove `PartialEq, PartialOrd` impls from `{Extended}SpendingKey` Jack Grigg 2021-11-30 23:25:35 +0000
  • 674ceb54c8 `impl ConstantTimeEq for {Extended}SpendingKey` Jack Grigg 2021-11-30 23:24:50 +0000
  • 32b3eb9840
    Merge pull request #235 from zcash/n_minus_x str4d 2021-11-30 20:39:30 +0000
  • 1a7a1255c8 mul::complete.rs: Use ternary helper in complete addition part of variable-base scalar mul. therealyingtong 2021-11-30 12:55:20 -0500
  • 9513efd6f3 ecc::chip::mul.rs: Use ternary helper in variable-base scalar mul. therealyingtong 2021-11-30 12:52:15 -0500
  • ba75da27bb gadget::utilities: Introduce ternary expression helper. therealyingtong 2021-11-30 10:39:01 -0500
  • 421891f065 Benchmark proof creation and verification for RATE = 2, 8, 11. therealyingtong 2021-11-04 02:07:28 +0100
  • 9b76556503 poseidon: Make gadget tests generic over WIDTH, RATE therealyingtong 2021-11-03 14:37:02 +0100
  • b63c868591 poseidon: Make Spec trait methods not take (&self) parameter. therealyingtong 2021-11-03 14:12:24 +0100
  • e0a0a0d509 book: Introduce RangeCheck macro. therealyingtong 2021-11-30 09:30:43 -0500
  • 409bbf36a0 mul::complete: Replace k_minus_one with one_minus_k. therealyingtong 2021-11-18 15:03:40 -0500
  • 303bdc3f65 Replace local bool_check expressions with utilities::bool_check(). therealyingtong 2021-11-18 13:47:30 -0500
  • 4fb434f88d gadget::utilities: Use range_check in bool_check. therealyingtong 2021-11-18 13:28:11 -0500
  • 36f1d18705 gadget::utilities: Use N - x in range_check. therealyingtong 2021-11-19 12:50:53 -0500
  • aa251befbc
    Merge pull request #240 from zcash/update-halo2 str4d 2021-11-29 20:19:58 +0000
  • 68b790c7da
    Merge pull request #239 from nuttycom/di_from_bytes str4d 2021-11-29 17:46:44 +0000
  • 99d03e0d25 Migrate to latest halo2 revision Jack Grigg 2021-11-24 00:21:44 +0000
  • 01ec8dca1d
    Merge pull request #220 from zcash/bench-poseidon str4d 2021-11-26 16:22:52 +0000
  • 14c4b40dfc Add construction of DiversifierIndex directly from bytes. Kris Nuttycombe 2021-11-24 18:08:53 -0700
  • 9bb29018ac poseidon::pow5: Undo circuit change. therealyingtong 2021-11-23 15:38:55 -0500
  • 79123629da
    Docfixes and minor refactors. ying tong 2021-11-23 15:29:56 -0500
  • 067e26822d
    Merge pull request #238 from zcash/reddsa-0.1.0 str4d 2021-11-23 14:12:19 +0000
  • 1cd9e7d4d4 Use reddsa 0.1 instead of the git dependency Jack Grigg 2021-11-19 23:10:46 +0000
  • faae7ac2ea
    Merge pull request #224 from zcash/poseidon-api str4d 2021-11-19 17:25:25 +0000
  • fe1bc97ab4 Generalise Pow5T3 chip to be generic over WIDTH, RATE. therealyingtong 2021-11-02 15:52:11 +0100
  • 0417e233c3 poseidon: Return CellValue from squeeze() therealyingtong 2021-11-19 00:04:27 -0500
  • de37248749 Allow passing CellValue as input word to Poseidon gadget. Update circuit description. therealyingtong 2021-11-04 12:07:27 +0100
  • dfcea20569
    Merge pull request #218 from zcash/zcash_note_encryption-batchdomain ying tong 2021-11-17 15:13:57 +0100
  • 465afd162e
    Merge pull request #229 from zcash/228-fix-ivk-to_bytes str4d 2021-11-17 13:30:54 +0000
  • 8c018eff7e Migrate to `zcash_note_encryption::BatchDomain` Jack Grigg 2021-11-17 12:12:48 +0000
  • 235cd791b4 Fix `IncomingViewingKey::to_bytes` Jack Grigg 2021-11-17 12:12:20 +0000
  • d43ad00b8d
    Merge pull request #223 from dconnolly/patch-1 str4d 2021-11-17 11:12:16 +0000
  • c4947e594a
    Fix typos Dimitris Apostolou 2021-11-05 09:53:54 +0200
  • a347d26475 fix(clippy): clippy --fix Matthias Seitz 2021-11-08 19:24:37 +0100
  • 568e24cd5f Derive Clone for circuit::Instance Deirdre Connolly 2021-11-04 23:30:43 -0400
  • 7412dfe79a
    Update src/circuit.rs Deirdre Connolly 2021-11-04 17:54:30 -0400
  • 6fe3605ed8 Switch from crates.io patches to git revision dependencies Jack Grigg 2021-11-04 17:20:57 +0000
  • e51e92e848 Add `orchard::circuit::Instance::from_parts()` Deirdre Connolly 2021-11-03 23:15:27 -0400
  • 7a76934cc0 Do not test Orchard constants. therealyingtong 2021-10-25 13:35:03 +0200
  • 0f061f4047 Refactor Sinsemilla tests to be generic over domains. therealyingtong 2021-08-25 13:36:39 +0800
  • ae52c8a660 Refactor ECC tests to be generic over fixed bases. therealyingtong 2021-08-25 12:38:53 +0800
  • 51190895f5 Create halo2_gadgets crate. therealyingtong 2021-10-20 15:45:26 +0200
  • 4b6719a240 Add PoseidonInstructions::load_word() API. therealyingtong 2021-10-20 14:24:02 +0200
  • 96504e7162 Further fixes. halo2-gadgets therealyingtong 2021-10-14 16:07:40 +0200
  • 4f9c0be42e
    Merge pull request #187 from zcash/poseidon-fq ebfull 2021-10-15 08:29:01 -0600
  • 56225d603a Update dependencies' versions. therealyingtong 2021-10-13 16:16:32 +0200
  • ebd8595bc5 Remove from_coordinates_unchecked() API, introduce copy_point() therealyingtong 2021-08-25 15:03:46 +0800
  • cf5dd3b396 Further cleanups. therealyingtong 2021-08-25 13:38:23 +0800
  • c6a37af154 Refactor Sinsemilla tests to be generic over domains. therealyingtong 2021-08-25 13:36:39 +0800
  • 1acf0c2c15 Refactor ECC tests to be generic over fixed bases. therealyingtong 2021-08-25 12:38:53 +0800
  • a997364545 Move fixed bases utils into halo2_ecc crate. therealyingtong 2021-08-25 12:26:33 +0800
  • f762ee342e Imports, dependencies, documentation cleanups. therealyingtong 2021-08-20 19:47:01 +0800
  • f7e150a81b Create halo2-gadgets workspace. therealyingtong 2021-08-20 15:43:45 +0800
  • 6c6b5e66f3 sinsemilla::merkle.rs: Implement i2lebsp locally. therealyingtong 2021-08-20 18:44:39 +0800
  • 2c3c3cefdc Move primitives::sinsemilla::i2lebsp_k into constants::sinsemilla. therealyingtong 2021-08-20 17:39:55 +0800
  • 5168c0c2bb Refactor src/constants and primitives::sinsemilla::constants. therealyingtong 2021-08-20 12:21:46 +0800
  • f34b4ba51c lookup_range_check: Introduce local lebs2ip method. therealyingtong 2021-08-19 16:51:40 +0800
  • 76431eefad Move decompose_word into from constants::util into gadget::utilities. therealyingtong 2021-08-19 16:41:31 +0800