Code

Merge upstream commits#92

Code

Closed

ChihChengLiang wants to merge 221 commits intomainprivacy-scaling-explorations/halo2:mainfrom upstream-messyprivacy-scaling-explorations/halo2:upstream-messyCopy head branch name to clipboard

+6,195-2,060

Commits

Commits on Sep 18, 2021

• book: Fix typo

  3for

  committed
  10c0e59

  Copy full SHA for 10c0e59

Commits on Sep 19, 2021

• book: Fix typo

  3for

  committed
  9c945b9

  Copy full SHA for 9c945b9

Commits on Sep 21, 2021

• book: Fix typo

  3for

  committed
  e1a4be5

  Copy full SHA for e1a4be5

Commits on Sep 22, 2021

• book: Fix typo

  3for

  committed
  45a2515

  Copy full SHA for 45a2515

• book: Fix typo

  3for

  committed
  c89ef70

  Copy full SHA for c89ef70

Commits on Sep 26, 2021

• book: Fix typo

  3for

  committed
  bcc9d58

  Copy full SHA for bcc9d58

• Merge branch 'zcash:main' into main

  3for

  authored
  70ec164

  Copy full SHA for 70ec164

• book: Fix typo

  3for

  committed
  536279d

  Copy full SHA for 536279d

• book: Fix typo

  3for

  committed
  c09344a

  Copy full SHA for c09344a

Commits on Oct 2, 2021

• book: Fix typo

  3for

  committed
  b12d03e

  Copy full SHA for b12d03e

Commits on Oct 6, 2021

• book: Fix typo

  3for

  committed
  bac1aa4

  Copy full SHA for bac1aa4

• Merge branch 'zcash:main' into main

  3for

  authored
  e5f4732

  Copy full SHA for e5f4732

Commits on Oct 26, 2021

• Apply suggestions from code review

  nuttycom

  authored
  8cfff30

  Copy full SHA for 8cfff30

Commits on Jan 21, 2022

• impl From<&Assigned<F>> for Assigned<F>

  Show description for 93ee714
  str4d

  committed
  93ee714

  Copy full SHA for 93ee714

• Add AssignedCell<Assigned<F>, F>::evaluate() method

  Show description for 9d0e0b7
  str4d

  committed
  9d0e0b7

  Copy full SHA for 9d0e0b7

• Add Assigned::is_zero_vartime method

  str4d

  committed
  927463f

  Copy full SHA for 927463f

• impl<F: Field> Eq for Assigned<F>

  str4d

  committed
  8d00aca

  Copy full SHA for 8d00aca

• Add other Add*, Sub*, Mul* variant impls to Assigned<F>

  str4d

  committed
  50b8e05

  Copy full SHA for 50b8e05

• Add Assigned::{double, square, cube} methods

  str4d

  committed
  a7e4549

  Copy full SHA for a7e4549

• Add unary operators to Assigned proptest

  str4d

  committed
  05a4d26

  Copy full SHA for 05a4d26

• Make Assigned::Zero slightly less likely in Assigned proptest

  str4d

  committed
  b7944e5

  Copy full SHA for b7944e5

Commits on Feb 3, 2022

• Improve the explanation of incomplete addition:

  Show description for c4bdab5
  

  daira

  and

  Jack Grigg

  committed
  c4bdab5

  Copy full SHA for c4bdab5

Commits on Feb 9, 2022

• halo2_proofs: rename variables for consistency

  Show description for a4d3c32
  

  ebfull

  and

  str4d

  committed
  a4d3c32

  Copy full SHA for a4d3c32

Commits on Feb 10, 2022

• Minor changes

  ebfull

  committed
  a129490

  Copy full SHA for a129490

Commits on Feb 11, 2022

• Improvements due to @daira's code review.

  ebfull

  committed
  289f24b

  Copy full SHA for 289f24b

Commits on Feb 14, 2022

• halo2_proofs: add hardcoded proof to plonk_api test for backwards compatibility testing

  ebfull

  committed
  90bebdf

  Copy full SHA for 90bebdf

• Merge pull request zcash#501 from zcash/hardcoded-proof

  Show description for 552c5be
  str4d

  authored
  552c5be

  Copy full SHA for 552c5be

• Merge pull request zcash#495 from zcash/book-consistency

  Show description for 8c0deb1
  ebfull

  authored
  8c0deb1

  Copy full SHA for 8c0deb1

• halo2_proofs: change IPA check equation to match the book

  Show description for f2daf91
  ebfull

  committed
  f2daf91

  Copy full SHA for f2daf91

• Address comments brought up by @str4d.

  ebfull

  committed
  0b73c74

  Copy full SHA for 0b73c74

• Merge pull request zcash#502 from zcash/simplify-ipa-equation

  Show description for 247cd62
  ebfull

  authored
  247cd62

  Copy full SHA for 247cd62

• Update changelogs

  str4d

  committed
  e0cc7b3

  Copy full SHA for e0cc7b3

• Update license dates and links

  str4d

  committed
  1d2f698

  Copy full SHA for 1d2f698

• halo2_proofs 0.1.0-beta.2

  str4d

  committed
  f642727

  Copy full SHA for f642727

• halo2_gadgets 0.1.0-beta.1

  str4d

  committed
  c9852c6

  Copy full SHA for c9852c6

• halo2 0.1.0-beta.2

  str4d

  committed
  80953d0

  Copy full SHA for 80953d0

• MockProver: Use a sorted scan to check that lookup inputs

  Show description for 7107b83
  daira

  committed
  7107b83

  Copy full SHA for 7107b83

Commits on Feb 15, 2022

• MockProver: Optimize repetitions of the last usable row, not the zero row.

  Show description for e7ffefd
  daira

  committed
  e7ffefd

  Copy full SHA for e7ffefd

• Merge pull request zcash#487 from daira/book-improve-incomplete-addition

  Show description for c5cdea1
  daira

  authored
  c5cdea1

  Copy full SHA for c5cdea1

• Merge pull request zcash#504 from zcash/release-0.1.0-beta.2

  Show description for c63828b
  str4d

  authored
  c63828b

  Copy full SHA for c63828b

• CI: Update codecov/codecov-action to v2.1.0

  str4d

  committed
  e293242

  Copy full SHA for e293242

• CI: Test against Windows and macOS in addition to Ubuntu

  str4d

  committed
  82bb4e6

  Copy full SHA for 82bb4e6

Commits on Feb 16, 2022

• Merge pull request zcash#505 from zcash/ci-updates

  Show description for c12620c
  str4d

  authored
  c12620c

  Copy full SHA for c12620c

• dev: Move VerifyFailure and FailureLocation into submodule

  str4d

  committed
  0e08903

  Copy full SHA for 0e08903

• dev: Add MockProver::assert_satisfied

  Show description for 5cdc029
  str4d

  committed
  5cdc029

  Copy full SHA for 5cdc029

• dev: Add a custom VerifyFailure::ConstraintNotSatisfied emitter

  Show description for 8e1fb87
  str4d

  committed
  8e1fb87

  Copy full SHA for 8e1fb87

• dev: Move cell layout emitter into a submodule

  str4d

  committed
  212e3d0

  Copy full SHA for 212e3d0

• dev: Move expression stringifier into dev::failure::emitter

  str4d

  committed
  44e3cf8

  Copy full SHA for 44e3cf8

• dev: Move cell loaders into dev::util

  str4d

  committed
  62eea4c

  Copy full SHA for 62eea4c

• dev: Add a custom VerifyFailure::Lookup emitter

  Show description for c19a1ad
  str4d

  committed
  c19a1ad

  Copy full SHA for c19a1ad

• dev: Store gate offset in VerifyFailure::CellNotAssigned

  str4d

  committed
  369ff52

  Copy full SHA for 369ff52

• dev: Add a custom VerifyFailure::CellNotAssigned emitter

  Show description for 57596ca
  str4d

  committed
  57596ca

  Copy full SHA for 57596ca

• Minor simplification

  daira

  authored
  b48b032

  Copy full SHA for b48b032

Commits on Mar 16, 2022

• Add mechanism for generating a new proof in test.

  ebfull

  committed
  e10f4e1

  Copy full SHA for e10f4e1

• Stop placing the selector_map (which is an internal API detail) in the pinned verification key.

  ebfull

  committed
  819bc3c

  Copy full SHA for 819bc3c

• Remove logic for reading and writing VerificationKey to/from buffers.

  ebfull

  committed
  f46d777

  Copy full SHA for f46d777

Commits on Mar 17, 2022

• [book] Correct typo in protocol description.

  Show description for 2194973
  

  therealyingtong

  and

  daira

  authored
  2194973

  Copy full SHA for 2194973

• Remove VerifyingKey serialization from sha256 gadget benchmark

  str4d

  committed
  d3f2980

  Copy full SHA for d3f2980

• Fix docs.rs build

  Show description for c6b4fca
  str4d

  committed
  c6b4fca

  Copy full SHA for c6b4fca

• Merge pull request zcash#524 from zcash/fix-docs-rs-build

  Show description for 31b68fa
  str4d

  authored
  31b68fa

  Copy full SHA for 31b68fa

Commits on Mar 18, 2022

• Merge pull request zcash#521 from zcash/reconstruct-selectors

  Show description for 642efc1
  str4d

  authored
  642efc1

  Copy full SHA for 642efc1

• Merge pull request zcash#523 from zcash/therealyingtong-patch-1

  Show description for 084ecf1
  therealyingtong

  authored
  084ecf1

  Copy full SHA for 084ecf1

Commits on Mar 22, 2022

• Merge pull request zcash#417 from zcash/fix-assigned-usage

  Show description for 8abd7b7
  str4d

  authored
  8abd7b7

  Copy full SHA for 8abd7b7

• Update changelogs

  str4d

  committed
  e39c8e9

  Copy full SHA for e39c8e9

• halo2_proofs 0.1.0-beta.3

  str4d

  committed
  8acd4ab

  Copy full SHA for 8acd4ab

• halo2_gadgets 0.1.0-beta.2

  str4d

  committed
  11dcfb8

  Copy full SHA for 11dcfb8

• Merge pull request zcash#531 from zcash/release-0.1.0-beta.3

  Show description for 406f622
  str4d

  authored
  406f622

  Copy full SHA for 406f622

Commits on Mar 24, 2022

• Bench heavily padded lookup in MockProver.

  Show description for 51d34c1
  

  therealyingtong

  and

  daira

  committed
  51d34c1

  Copy full SHA for 51d34c1

Commits on Mar 30, 2022

• dev: Enable VerifyFailure::Permutation to point to region offsets

  str4d

  committed
  0946bdb

  Copy full SHA for 0946bdb

Commits on Apr 2, 2022

• Reduce depth of AST by special casing the application of Horner's rule.

  Show description for 4163b87
  ebfull

  committed
  4163b87

  Copy full SHA for 4163b87

• rustfmt

  ebfull

  committed
  fd7e9dd

  Copy full SHA for fd7e9dd

Commits on Apr 3, 2022

• Use unwrap_or_default() instead of unwrap_or(HashMap::new())

  ebfull

  committed
  fa069a7

  Copy full SHA for fa069a7

Commits on Apr 4, 2022

• Apply @str4d's review suggestions.

  ebfull

  committed
  6a31a0e

  Copy full SHA for 6a31a0e

• Merge pull request zcash#537 from zcash/fix-stack-overflow

  Show description for 95df0af
  str4d

  authored
  95df0af

  Copy full SHA for 95df0af

Commits on Apr 6, 2022

• halo2_proofs 0.1.0-beta.4

  therealyingtong

  committed
  a11cb97

  Copy full SHA for a11cb97

• halo2_gadgets 0.1.0-beta.3

  therealyingtong

  committed
  75b5c1e

  Copy full SHA for 75b5c1e

• Merge pull request zcash#540 from zcash/release-0.1.0-beta.4

  Show description for 1e6bb51
  str4d

  authored
  1e6bb51

  Copy full SHA for 1e6bb51

Commits on Apr 7, 2022

• Relicense Halo 2 crates as MIT OR Apache 2.0

  Show description for 90e671e
  str4d

  committed
  90e671e

  Copy full SHA for 90e671e

• Add an umbrella copyright line to cover future contributors

  Show description for 0c50500
  str4d

  committed
  0c50500

  Copy full SHA for 0c50500

Commits on Apr 10, 2022

• [book] Use more intuitive expression for vanishing poly degree

  therealyingtong

  authored
  8cb9226

  Copy full SHA for 8cb9226

Commits on Apr 14, 2022

• cost-model.rs: Correct lookup required degree calculation.

  therealyingtong

  authored
  066bd15

  Copy full SHA for 066bd15

Commits on Apr 18, 2022

• Merge pull request zcash#549 from zcash/patch-cost-model-lookup

  Show description for dc2e454
  str4d

  authored
  dc2e454

  Copy full SHA for dc2e454

• Fix clippy lints

  str4d

  authored
  19b2b3b

  Copy full SHA for 19b2b3b

• Merge pull request zcash#532 from zcash/bench-lookup-mockprover

  Show description for 2217669
  str4d

  authored
  2217669

  Copy full SHA for 2217669

• [book] Add description of selector combining optimization.

  Show description for 84f5c26
  daira

  committed
  84f5c26

  Copy full SHA for 84f5c26

Commits on Apr 19, 2022

• Clarify a comment

  daira

  authored
  424a274

  Copy full SHA for 424a274

• Merge pull request zcash#445 from daira/mockprover-regression

  Show description for 606afb8
  str4d

  authored
  606afb8

  Copy full SHA for 606afb8

• Clarify some comments and messages

  Show description for 69c138c
  

  str4d

  and

  daira

  authored
  69c138c

  Copy full SHA for 69c138c

• Merge pull request zcash#551 from daira/daira-book-combining

  Show description for a307bc4
  daira

  authored
  a307bc4

  Copy full SHA for a307bc4

Commits on Apr 20, 2022

• Merge pull request zcash#480 from zcash/477-mockprover-pretty-failures

  Show description for 46ba444
  str4d

  authored
  46ba444

  Copy full SHA for 46ba444

• Add a Constraints helper

  Show description for 78de8a5
  str4d

  committed
  78de8a5

  Copy full SHA for 78de8a5

• Note that Constraints::with_selector accepts arrays from 1.53

  str4d

  committed
  d93846f

  Copy full SHA for d93846f

• Add benchmark for various FFT sizes.

  ebfull

  committed
  a02b9e2

  Copy full SHA for a02b9e2

• Merge pull request zcash#552 from zcash/benchmark-fft

  Show description for f49f4d1
  str4d

  authored
  f49f4d1

  Copy full SHA for f49f4d1

Commits on Apr 22, 2022

• Merge pull request zcash#414 from zcash/constraints-helper

  Show description for 66b2b3b
  str4d

  authored
  66b2b3b

  Copy full SHA for 66b2b3b

• Bump codecov/codecov-action from 2.1.0 to 3.1.0

  Show description for f52d477
  dependabot[bot]

  authored
  f52d477

  Copy full SHA for f52d477

• Merge pull request zcash#544 from zcash/book-patch-vanishing

  Show description for 66827f3
  daira

  authored
  66827f3

  Copy full SHA for 66827f3

Commits on Apr 24, 2022

• halo2_gadgets: Migrate chip gates to Constraints::with_selector

  Show description for b028004
  str4d

  committed
  b028004

  Copy full SHA for b028004

• CI: Use ubuntu-latest runner for book workflow

  Show description for d43c861
  str4d

  committed
  d43c861

  Copy full SHA for d43c861

• Revert "CI: Pin nightly version in book workflow"

  Show description for b866548
  str4d

  committed
  b866548

  Copy full SHA for b866548

• Merge pull request zcash#557 from zcash/fix-mdbook-deploy

  Show description for 34b467b
  str4d

  authored
  34b467b

  Copy full SHA for 34b467b

• CI: Pass the correct katex-header.html path to rustdoc

  Show description for 2cf0125
  str4d

  committed
  2cf0125

  Copy full SHA for 2cf0125

• Merge pull request zcash#558 from zcash/fix-rustdoc-deploy

  Show description for 5d99f7d
  str4d

  authored
  5d99f7d

  Copy full SHA for 5d99f7d

Commits on Apr 25, 2022

• Add draft of halo2 security proof to the formal protocol description

  ebfull

  committed
  8e58245

  Copy full SHA for 8e58245

• Merge pull request zcash#560 from ebfull/soundness

  Show description for 2498d65
  ebfull

  authored
  2498d65

  Copy full SHA for 2498d65

• Fix upper bound of \epsilon.

  ebfull

  committed
  b46848e

  Copy full SHA for b46848e

• Remove redundant mention of blinding factors

  ebfull

  committed
  d420b78

  Copy full SHA for d420b78

• x -> x_3 rename in zero knowledge section.

  ebfull

  committed
  05b8b77

  Copy full SHA for 05b8b77

• Fix order of \epsilon bound.

  ebfull

  committed
  1ea7aa1

  Copy full SHA for 1ea7aa1

• Merge pull request zcash#561 from ebfull/proof-fixups

  Show description for 26c604d
  ebfull

  authored
  26c604d

  Copy full SHA for 26c604d

Commits on Apr 26, 2022

• plonk: Derive Clone for VerifyingKey and ProvingKey.

  Show description for a6d7785
  parazyd

  committed
  a6d7785

  Copy full SHA for a6d7785

• Merge pull request zcash#556 from zcash/migrate-chip-gates-to-constraints-helper

  Show description for 5f86733
  ebfull

  authored
  5f86733

  Copy full SHA for 5f86733

Commits on Apr 27, 2022

• Bump MSRV to 1.56.1

  Show description for 7688c37
  str4d

  committed
  7688c37

  Copy full SHA for 7688c37

• Set edition to 2021

  Show description for bb1ed82
  str4d

  committed
  bb1ed82

  Copy full SHA for bb1ed82

• Remove pins for dependencies with MSRV-incompatible point releases

  str4d

  committed
  f830c6f

  Copy full SHA for f830c6f

• halo2_gadgets: Remove usage of array::IntoIter::new

  Show description for e3f1bf6
  str4d

  committed
  e3f1bf6

  Copy full SHA for e3f1bf6

• Fix some clippy lints

  str4d

  committed
  f467599

  Copy full SHA for f467599

• halo2_gadgets: pprof 0.8

  str4d

  committed
  fdc6c9d

  Copy full SHA for fdc6c9d

• Temporarily revert resolver = "2"

  Show description for aa4639e
  str4d

  committed
  aa4639e

  Copy full SHA for aa4639e

• Merge pull request zcash#564 from zcash/482-msrv-1.56.1

  Show description for 0c33fa4
  ebfull

  authored
  0c33fa4

  Copy full SHA for 0c33fa4

• sha256: Add InitialRound and MainRoundIdx structs

  Show description for f2d1f1d
  str4d

  committed
  f2d1f1d

  Copy full SHA for f2d1f1d

• sha256: Simplify single-constraint gates

  Show description for 7d15fa3
  str4d

  committed
  7d15fa3

  Copy full SHA for 7d15fa3

Commits on Apr 28, 2022

• optimize fft

  ashWhiteHat

  committed
  9a9873a

  Copy full SHA for 9a9873a

• Apply @daira's review suggestion

  ashWhiteHat

  committed
  32ed927

  Copy full SHA for 32ed927

Commits on Apr 29, 2022

• CI: Fix Rust version used for benchmarks

  str4d

  committed
  6ff065c

  Copy full SHA for 6ff065c

• Merge pull request zcash#565 from zcash/ci-fix-bench

  Show description for c736951
  str4d

  authored
  c736951

  Copy full SHA for c736951

• Bump actions/checkout from 2 to 3

  Show description for 1d9ca93
  dependabot[bot]

  authored
  1d9ca93

  Copy full SHA for 1d9ca93

• halo2: Disable default benchmark harness

  Show description for f0168cf
  str4d

  committed
  f0168cf

  Copy full SHA for f0168cf

Commits on May 1, 2022

• Merge pull request zcash#566 from zcash/ci-2-fix-2-bench

  Show description for 1ccef3b
  str4d

  authored
  1ccef3b

  Copy full SHA for 1ccef3b

Commits on May 2, 2022

• halo2_gadgets: Add MessagePiece::from_subpieces

  Show description for 97864d7
  str4d

  committed
  97864d7

  Copy full SHA for 97864d7

Commits on May 4, 2022

• Migrate to ff 0.12

  str4d

  committed
  e04c8bf

  Copy full SHA for e04c8bf

• Rename RangeConstrained::subset_of to bitrange_of

  str4d

  committed
  3800de5

  Copy full SHA for 3800de5

Commits on May 5, 2022

• Merge pull request zcash#570 from zcash/ff-0.12

  Show description for 506e310
  str4d

  authored
  506e310

  Copy full SHA for 506e310

• Merge pull request zcash#568 from zcash/circuit-review

  Show description for b2e2b9b
  str4d

  authored
  b2e2b9b

  Copy full SHA for b2e2b9b

• Merge pull request zcash#554 from zcash/dependabot/github_actions/codecov/codecov-action-3.1.0

  Show description for 377de39
  str4d

  authored
  377de39

  Copy full SHA for 377de39

• Merge pull request zcash#511 from zcash/dependabot/github_actions/actions/checkout-3

  Show description for 72ff677
  str4d

  authored
  72ff677

  Copy full SHA for 72ff677

• EccInstructions::mul: take Self::ScalarVar instead of Chip::Var.

  therealyingtong

  committed
  6d83db7

  Copy full SHA for 6d83db7

• EccInstructions: introduce witness_scalar_var() instruction.

  therealyingtong

  committed
  cbf3d6a

  Copy full SHA for cbf3d6a

• Introduce ecc::BaseFitsInScalarInstructions trait.

  therealyingtong

  committed
  5ebfe91

  Copy full SHA for 5ebfe91

• Rename FixedPoint::ScalarKind -> FixedPoint::FixedScalarKind.

  therealyingtong

  committed
  6f2fc57

  Copy full SHA for 6f2fc57

• ecc::chip: Introduce ScalarVar enum.

  therealyingtong

  committed
  1c877f3

  Copy full SHA for 1c877f3

• Introduce ScalarVar::new and ScalarVar::from_base gadget APIs.

  therealyingtong

  committed
  5fd0834

  Copy full SHA for 5fd0834

• Update changelog.

  therealyingtong

  committed
  fdf5169

  Copy full SHA for fdf5169

• Merge pull request zcash#542 from zcash/relicense-mit-or-apache-2.0

  Show description for 64e7efb
  defuse

  authored
  64e7efb

  Copy full SHA for 64e7efb

• Merge pull request zcash#563 from parazyd/clone-impls-keys

  Show description for a1d1371
  ebfull

  authored
  a1d1371

  Copy full SHA for a1d1371

• Merge pull request zcash#543 from NoCtrlZ/feat/fft-optimization

  Show description for 6fb622a
  ebfull

  authored
  6fb622a

  Copy full SHA for 6fb622a

• Merge branch 'main' into main

  nuttycom

  authored
  1791e69

  Copy full SHA for 1791e69

Commits on May 6, 2022

• Merge pull request #380 from 3for/main

  Show description for 6e762bd
  nuttycom

  authored
  6e762bd

  Copy full SHA for 6e762bd

• Address comments from code review.

  Show description for 3c6ffb6
  

  therealyingtong

  and

  str4d

  committed
  3c6ffb6

  Copy full SHA for 3c6ffb6

• Move EccInstructions::ScalarVar changelog entry to "Changed"

  str4d

  authored
  5a543f9

  Copy full SHA for 5a543f9

• Merge pull request zcash#522 from zcash/full-width-var-base-mul

  Show description for 30f92f3
  str4d

  authored
  30f92f3

  Copy full SHA for 30f92f3

Commits on May 7, 2022

• halo2_gadgets: Generalise MerklePath beyond two MerkleChips

  str4d

  committed
  0d978f0

  Copy full SHA for 0d978f0

Commits on May 8, 2022

• Use MessagePiece::from_subpieces in MerkleChip::hash_layer

  Show description for 3bed572
  str4d

  committed
  3bed572

  Copy full SHA for 3bed572

• book: Rewrite MerkleCRH gadget page

  Show description for 7ea240d
  str4d

  committed
  7ea240d

  Copy full SHA for 7ea240d

• halo2_gadgets: Tidy up and document MerkleCRH implementation

  str4d

  committed
  6444ccc

  Copy full SHA for 6444ccc

• halo2_gadgets: Deduplicate some Sinsemilla chip expressions

  str4d

  committed
  dc2ec03

  Copy full SHA for dc2ec03

• book: Rewrite Sinsemilla gadget page

  Show description for 03697e2
  str4d

  committed
  03697e2

  Copy full SHA for 03697e2

• halo2_gadgets: Batch inversions in SinsemillaChip::hash_to_point

  Show description for 96d4a31
  str4d

  committed
  96d4a31

  Copy full SHA for 96d4a31

Commits on May 9, 2022

• halo2_gadgets: Move primitives::* to *::primitives

  str4d

  committed
  6145b14

  Copy full SHA for 6145b14

• halo2_gadgets: Refactor fixed-base scalar mul gadget APIs

  Show description for 3486703
  str4d

  committed
  3486703

  Copy full SHA for 3486703

Commits on May 10, 2022

• halo2_gadgets: Fix return type of ecc::chip::FixedPoint::u

  Show description for 342ebdd
  str4d

  committed
  342ebdd

  Copy full SHA for 342ebdd

• halo2_gadgets: Refactor complete addition constraints

  Show description for 144d082
  str4d

  committed
  144d082

  Copy full SHA for 144d082

• book: Add explicit constraints table for incomplete addition

  str4d

  committed
  17cd222

  Copy full SHA for 17cd222

• book: Add page for witnessing ECC points

  str4d

  committed
  88e189e

  Copy full SHA for 88e189e

• [book] Add 'Selector combining' to SUMMARY.md

  therealyingtong

  committed
  e4e7821

  Copy full SHA for e4e7821

• Merge pull request zcash#580 from zcash/book-patch-summary

  Show description for bdf84a5
  daira

  authored
  bdf84a5

  Copy full SHA for bdf84a5

• halo2_gadgets: Extract a common DoubleAndAdd helper struct

  Show description for 56fc896
  str4d

  committed
  56fc896

  Copy full SHA for 56fc896

• halo2_gadgets: Use separate field names for var-mul incomplete selectors

  Show description for 18edad5
  str4d

  committed
  18edad5

  Copy full SHA for 18edad5

• halo2_gadgets: Refactor ecc::chip::mul_fixed::Config word assignment logic

  Show description for 85b0b7c
  

  str4d

  and

  therealyingtong

  committed
  85b0b7c

  Copy full SHA for 85b0b7c

• halo2_gadgets: Clean up ecc::chip::mul_fixed::Config logic

  Show description for 692fee0
  

  str4d

  and

  therealyingtong

  committed
  692fee0

  Copy full SHA for 692fee0

• halo2_gadgets: Refactor ScalarFixed::windows_usize

  Show description for ff01e4a
  str4d

  committed
  ff01e4a

  Copy full SHA for ff01e4a

• book: Fix various small bugs and add some missing constraints

  str4d

  committed
  f57b93f

  Copy full SHA for f57b93f

• book: Document var-mul constraints for complete addition and LSB

  str4d

  committed
  ad51e4a

  Copy full SHA for ad51e4a

• halo2_gadgets: Various small code cleanups

  Show description for a94a2bc
  str4d

  committed
  a94a2bc

  Copy full SHA for a94a2bc

• book: Document EccChip assumptions and general layout

  str4d

  committed
  ac67b11

  Copy full SHA for ac67b11

• halo2_gadgets: Documentation fixes

  str4d

  committed
  4b802a7

  Copy full SHA for 4b802a7

• halo2_gadgets: Address review comments

  str4d

  committed
  91e1106

  Copy full SHA for 91e1106

• Merge pull request zcash#573 from zcash/str4d/chip-review

  Show description for 50921f9
  str4d

  authored
  50921f9

  Copy full SHA for 50921f9

• halo2_proofs 0.1.0

  Show description for 3bc0c59
  str4d

  committed
  3bc0c59

  Copy full SHA for 3bc0c59

• halo2_gadgets 0.1.0

  Show description for e36041d
  str4d

  committed
  e36041d

  Copy full SHA for e36041d

• Merge pull request zcash#581 from zcash/release-0.1.0

  Show description for bf45980
  str4d

  authored
  bf45980

  Copy full SHA for bf45980

Commits on May 13, 2022

• remove .DS_Store

  trel

  committed
  076fa24

  Copy full SHA for 076fa24

• Merge pull request zcash#584 from trel/remove_dsstore

  Show description for 8075b21
  str4d

  authored
  8075b21

  Copy full SHA for 8075b21

Commits on May 25, 2022

• Merge pull request zcash#467 from zcash/sha256-tweaks

  Show description for 34b2e77
  therealyingtong

  authored
  34b2e77

  Copy full SHA for 34b2e77

• halo2_gadgets: Add protocol rule links for the chip constraints

  Show description for c1007d8
  str4d

  committed
  c1007d8

  Copy full SHA for c1007d8

Commits on May 27, 2022

• Merge pull request zcash#589 from zcash/protocol-rule-links

  Show description for c0db68a
  str4d

  authored
  c0db68a

  Copy full SHA for c0db68a

Commits on Jun 8, 2022

• halo2_gadgets: Reduce allocations during var-mul synthesis

  str4d

  committed
  5f1fb16

  Copy full SHA for 5f1fb16

• halo2_gadgets: Enable more inversions to be batched during synthesis

  str4d

  committed
  515f977

  Copy full SHA for 515f977

• halo2_proofs: Add halo2_proofs::circuit::Value<V>

  Show description for c17d52e
  str4d

  committed
  c17d52e

  Copy full SHA for c17d52e

• halo2_proofs: Replace Option<V> with Value<V>

  str4d

  committed
  47f25ad

  Copy full SHA for 47f25ad

• halo2_gadgets: Replace Option<V> with Value<V>

  str4d

  committed
  5ed3d25

  Copy full SHA for 5ed3d25

Commits on Jun 9, 2022

• halo2_proofs: Make Value::{known, unknown} const

  str4d

  committed
  521d6ed

  Copy full SHA for 521d6ed

• halo2_proofs: impl {Add, Sub, Mul} for &Value<V>

  str4d

  committed
  5752adf

  Copy full SHA for 5752adf

• Merge pull request zcash#597 from zcash/small-perf-improvements

  Show description for 1cf376e
  str4d

  authored
  1cf376e

  Copy full SHA for 1cf376e

Commits on Jun 13, 2022

• Update halo2_proofs/src/circuit/value.rs

  Show description for 7cb71b4
  

  str4d

  and

  therealyingtong

  authored
  7cb71b4

  Copy full SHA for 7cb71b4

• Merge pull request zcash#598 from zcash/circuit-value-type

  Show description for a898d65
  str4d

  authored
  a898d65

  Copy full SHA for a898d65

Commits on Jun 15, 2022

• [book] Add U to BCMS comparison table

  therealyingtong

  authored
  69a980f

  Copy full SHA for 69a980f

Commits on Jun 21, 2022

• Merge pull request zcash#601 from zcash/book/update-comparison

  Show description for c9fc4c6
  str4d

  authored
  c9fc4c6

  Copy full SHA for c9fc4c6

• Add BatchVerifier::finalize_and_return_rng

  str4d

  committed
  22ec369

  Copy full SHA for 22ec369

Commits on Jun 22, 2022

• Merge pull request zcash#603 from zcash/batch-verifier-return-rng

  Show description for f6efecc
  str4d

  authored
  f6efecc

  Copy full SHA for f6efecc

• Cache the representative of VerifyingKey used in transcripts

  Show description for 4802936
  str4d

  committed
  4802936

  Copy full SHA for 4802936

• Cache the constraint system degree in VerifyingKey

  Show description for 05f37ee
  str4d

  committed
  05f37ee

  Copy full SHA for 05f37ee

• Remove parallelism from within MSM scalar operations.

  ebfull

  committed
  6939ac4

  Copy full SHA for 6939ac4

• Deduplicate the extra (scalar, base) pairs in MSMs.

  ebfull

  committed
  6b4af24

  Copy full SHA for 6b4af24

• Merge pull request zcash#607 from zcash/caching

  Show description for 745f5d1
  str4d

  authored
  745f5d1

  Copy full SHA for 745f5d1

Commits on Jun 23, 2022

• Reduce memory overhead of MSM by 64 bytes per "other" base, and add tests.

  Show description for 2ed70a3
  daira

  committed
  2ed70a3

  Copy full SHA for 2ed70a3

• Merge pull request #1 from daira/msm-optimization-daira

  Show description for c1159bd
  ebfull

  authored
  c1159bd

  Copy full SHA for c1159bd

• Merge pull request zcash#608 from ebfull/msm-optimization

  Show description for 7087c33
  ebfull

  authored
  7087c33

  Copy full SHA for 7087c33

• Rework halo2_proofs::plonk::BatchVerifier

  Show description for dd94fb9
  str4d

  committed
  dd94fb9

  Copy full SHA for dd94fb9

• Merge pull request zcash#610 from zcash/rework-batch-verifier

  Show description for dac6cfb
  str4d

  authored
  dac6cfb

  Copy full SHA for dac6cfb

• halo2_gadgets: Silence clippy lints

  Show description for f0861db
  str4d

  committed
  f0861db

  Copy full SHA for f0861db

• halo2_proofs: Fix clippy lints

  str4d

  committed
  5641a64

  Copy full SHA for 5641a64

• halo2_proofs 0.2.0

  str4d

  committed
  7a22f3c

  Copy full SHA for 7a22f3c

• halo2_gadgets 0.2.0

  str4d

  committed
  2c06d83

  Copy full SHA for 2c06d83

• Merge pull request zcash#611 from zcash/release-0.2.0

  Show description for 9120031
  ebfull

  authored
  9120031

  Copy full SHA for 9120031

• Place halo2_proofs::plonk::BatchVerifier behind a (default enabled) crate feature called batch.

  ebfull

  committed
  deef0e1

  Copy full SHA for deef0e1

• Merge pull request zcash#612 from zcash/batch-crate-feature

  Show description for 96d9bde
  str4d

  authored
  96d9bde

  Copy full SHA for 96d9bde

Commits on Jul 7, 2022

• [Book] Make the permutation diagram stand out against dark backgrounds.

  Show description for 104101d
  

  daira

  authored and

  therealyingtong

  committed
  104101d

  Copy full SHA for 104101d

• [Book] Rename "polynomial degree bound" to "maximum constraint degree".

  Show description for 5af2bd3
  

  daira

  authored and

  therealyingtong

  committed
  5af2bd3

  Copy full SHA for 5af2bd3

Commits on Jul 15, 2022

• feat: make Expression::{Fixed,Advice,Instance} to wrap their own Query struct

  

  han0110

  authored and

  therealyingtong

  committed
  8ff5b1e

  Copy full SHA for 8ff5b1e

Commits on Aug 18, 2022

• Merge branch 'pse-main' into upstream-messy

  ChihChengLiang

  committed
  eb340d4

  Copy full SHA for eb340d4