Code

Sync with release v0.4.1-rc#220

Code

Merged

jonathanpwang merged 120 commits intocommunity-editionaxiom-crypto/halo2-lib:community-editionfrom ce-merge-developaxiom-crypto/halo2-lib:ce-merge-developCopy head branch name to clipboardNov 22, 2023

+909-968

Commits

Commits on Jun 3, 2023

• fix: change all 1 to 1u64 to prevent unexpected overflow (#72)

  jonathanpwang

  authored
  282ee8e

  Copy full SHA for 282ee8e

Commits on Jun 6, 2023

• [Fix] Panic when dealing with identity point (#71)

  Show description for 8b9bdc2
  

  3 peopleauthored
  8b9bdc2

  Copy full SHA for 8b9bdc2

Commits on Jun 7, 2023

• fix: redundant check in ec_sub_unequal

  jonathanpwang

  committed
  05cfc1c

  Copy full SHA for 05cfc1c

• Add SafeType (#26)

  Show description for 0be26d4
  

  nyunyunyunyu

  authored and

  jonathanpwang

  committed
  0be26d4

  Copy full SHA for 0be26d4

Commits on Jun 9, 2023

• feat(CI): switch to larger runner

  jonathanpwang

  committed
  d3ed3a9

  Copy full SHA for d3ed3a9

• fix(builder): handle empty ctx with only equality constraints

  jonathanpwang

  committed
  e4b956b

  Copy full SHA for e4b956b

Commits on Jun 14, 2023

• feat: add SafeAddress and SafeUint160 (#85)

  Show description for 5293793
  PatStiles

  authored
  5293793

  Copy full SHA for 5293793

Commits on Jun 20, 2023

• Release 0.3.0 (#86)

  Show description for ca8e11c
  

  5 peopleauthored
  ca8e11c

  Copy full SHA for ca8e11c

• chore: fix halo2_proofs_axiom SHA commit

  jonathanpwang

  committed
  4060f2a

  Copy full SHA for 4060f2a

Commits on Jul 7, 2023

• Merge release v0.3.0 into develop (#90)

  jonathanpwang

  authored
  f6b22ab

  Copy full SHA for f6b22ab

• feat: FpChip::range_check now works with max_bits < n * (k-1) (#91)

  Show description for da451da
  jonathanpwang

  committed
  da451da

  Copy full SHA for da451da

Commits on Jul 20, 2023

• fix(test): zkevm-keccak test should have first_pass = SKIP_FIRST_PASS (#96)

  Show description for 70c5cc0
  jonathanpwang

  authored
  70c5cc0

  Copy full SHA for 70c5cc0

• Feat: test suite (#92)

  Show description for 08a16ce
  

  jonathanpwang

  and

  nyunyunyunyu

  authored
  08a16ce

  Copy full SHA for 08a16ce

Commits on Jul 21, 2023

• chore: make bit_length const function

  jonathanpwang

  committed
  d1beb92

  Copy full SHA for d1beb92

Commits on Jul 26, 2023

• feat: add debugging functions (#99)

  Show description for 160f503
  jonathanpwang

  authored
  160f503

  Copy full SHA for 160f503

• chore: remove cfg(test) for debug functions

  jonathanpwang

  committed
  081d475

  Copy full SHA for 081d475

Commits on Aug 6, 2023

• feat(halo2-base): add GateChip::pow_var (#103)

  jonathanpwang

  authored
  2b3dd5d

  Copy full SHA for 2b3dd5d

Commits on Aug 15, 2023

• Use halo2curves v0.4.0 and ff v0.13 (#107)

  Show description for 0b16812
  jonathanpwang

  authored
  0b16812

  Copy full SHA for 0b16812

• Add sub_mul to GateInstructions (#102)

  Show description for 3408b7a
  

  mmagician

  authored and

  jonathanpwang

  committed
  3408b7a

  Copy full SHA for 3408b7a

• fix(test): select_from_idx wasn't calling the right function (#105)

  

  mmagician

  authored and

  jonathanpwang

  committed
  a62ae5d

  Copy full SHA for a62ae5d

Commits on Aug 17, 2023

• chore: add back RangeCircuitBuilder::config (#111)

  jonathanpwang

  authored
  7100c23

  Copy full SHA for 7100c23

• fix: RangeCircuitBuilder::config remember lookup_bits

  jonathanpwang

  committed
  49aeedd

  Copy full SHA for 49aeedd

• [Feat] Add Poseidon Hasher Chip (#110)

  Show description for a7b5433
  

  3 peopleauthored
  a7b5433

  Copy full SHA for a7b5433

Commits on Aug 18, 2023

• feat: add VariableByteArray (#88)

  Show description for f724c9b
  

  3 peopleauthored
  f724c9b

  Copy full SHA for f724c9b

• chore: reduce CI real prover load

  jonathanpwang

  committed
  3bacff7

  Copy full SHA for 3bacff7

• Rename PoseidonHasherChip to PoseidonHasher (#113)

  Show description for cd9b6a4
  nyunyunyunyu

  authored
  cd9b6a4

  Copy full SHA for cd9b6a4

Commits on Aug 21, 2023

• chore(safe_types): add conversion SafeType to/from FixLenBytes

  jonathanpwang

  committed
  25e211a

  Copy full SHA for 25e211a

• chore(safe_type): add unsafe_to_safe_type unsafe conversion fn

  jonathanpwang

  committed
  b58046c

  Copy full SHA for b58046c

• feat: add select_array_by_indicator to GateInstructions (#115)

  Show description for 204a699
  jonathanpwang

  authored
  204a699

  Copy full SHA for 204a699

Commits on Aug 22, 2023

• cleanup: use test-utils for benching (#112)

  Show description for 1c33fbc
  jonathanpwang

  authored
  1c33fbc

  Copy full SHA for 1c33fbc

• fix(safe_types): VarLenBytes should allow len == MAX_LEN (#117)

  jonathanpwang

  authored
  83ca65e

  Copy full SHA for 83ca65e

• [feat] Add Poseidon Chip (#114)

  Show description for 7b23747
  nyunyunyunyu

  authored
  7b23747

  Copy full SHA for 7b23747

• [chore] Reorg Folder Structure of hashes/zkevm (#118)

  Show description for 9798c85
  

  nyunyunyunyu

  and

  jonathanpwang

  authored
  9798c85

  Copy full SHA for 9798c85

Commits on Aug 23, 2023

• [fix] CI for zkevm hashes (#119)

  Show description for 9fac2a8
  nyunyunyunyu

  authored
  9fac2a8

  Copy full SHA for 9fac2a8

• [chore] Split keccak implementation into multiple files (#120)

  Show description for 154cd8c
  nyunyunyunyu

  authored
  154cd8c

  Copy full SHA for 154cd8c

Commits on Aug 24, 2023

• feat: keccak constant visibility changes (#121)

  Show description for 89da366
  MonkeyKing-1

  authored
  89da366

  Copy full SHA for 89da366

Commits on Aug 27, 2023

• [feat] Keccak Raw Output (#122)

  Show description for eb4fe65
  nyunyunyunyu

  authored
  eb4fe65

  Copy full SHA for eb4fe65

• Virtual region managers and dynamic lookup support (#123)

  Show description for 15bca77
  jonathanpwang

  authored
  15bca77

  Copy full SHA for 15bca77

Commits on Aug 28, 2023

• Use raw_assign_{advice,fixed} in keccak (#125)

  Show description for f4c7e2a
  jonathanpwang

  authored
  f4c7e2a

  Copy full SHA for f4c7e2a

• [feat] PoseidonHasher supports multiple inputs in compact format (#127)

  Show description for 7831b00
  nyunyunyunyu

  authored
  7831b00

  Copy full SHA for 7831b00

Commits on Aug 29, 2023

• [feat] Expose Keccack Raw Inputs in Bytes instead of Input RLCs (#124)

  Show description for 7bdf089
  

  nyunyunyunyu

  and

  jonathanpwang

  authored
  7bdf089

  Copy full SHA for 7bdf089

• Bump zkevm-hashes to v0.1.4

  jonathanpwang

  committed
  d07b0d4

  Copy full SHA for d07b0d4

• chore: clippy fix

  jonathanpwang

  committed
  6c80289

  Copy full SHA for 6c80289

• Generic vertical gate assignment (#129)

  Show description for f2cf3e8
  jonathanpwang

  authored
  f2cf3e8

  Copy full SHA for f2cf3e8

Commits on Sep 1, 2023

• Add deep_clone to BaseCircuitBuilder (#131)

  Show description for be52d1d
  jonathanpwang

  authored
  be52d1d

  Copy full SHA for be52d1d

Commits on Sep 2, 2023

• fix: SingleCorePhaseManager should not create thread in constructor

  Show description for edd239f
  jonathanpwang

  committed
  edd239f

  Copy full SHA for edd239f

Commits on Sep 3, 2023

• chore: make new_context public

  jonathanpwang

  committed
  f39fef3

  Copy full SHA for f39fef3

Commits on Sep 4, 2023

• Convenience functions and fixes for multi-phase (#133)

  Show description for 608b8f2
  jonathanpwang

  authored
  608b8f2

  Copy full SHA for 608b8f2

Commits on Sep 5, 2023

• chore: add BaseCircuitBuilder::set_k fn

  jonathanpwang

  committed
  2b03c17

  Copy full SHA for 2b03c17

• fix: CopyConstraintManager::clear was dropping

  jonathanpwang

  committed
  64c8123

  Copy full SHA for 64c8123

• feat: impl From<SafeByte> for AssignedValue

  jonathanpwang

  committed
  04a40d4

  Copy full SHA for 04a40d4

• chore(poseidon): add derive statements

  jonathanpwang

  committed
  671f0cc

  Copy full SHA for 671f0cc

Commits on Sep 6, 2023

• fix(copy_constraints): backend permutation argument depends on order

  Show description for d27e46a
  jonathanpwang

  committed
  d27e46a

  Copy full SHA for d27e46a

• feat: add left_pad functions for var length arrays (#137)

  jonathanpwang

  authored
  a1fec64

  Copy full SHA for a1fec64

Commits on Sep 8, 2023

• chore: use PrimeField for OptimizedPoseidonSpec (#139)

  jonathanpwang

  authored
  72b53bf

  Copy full SHA for 72b53bf

• chore: add getter functions to Poseidon spec (#140)

  jonathanpwang

  authored
  0acc05a

  Copy full SHA for 0acc05a

Commits on Sep 9, 2023

• feat: use (TypeId, usize) instead of usize for lookup tag (#142)

  jonathanpwang

  authored
  61fda9d

  Copy full SHA for 61fda9d

• chore: add ContextTag type alias

  jonathanpwang

  committed
  58155d7

  Copy full SHA for 58155d7

• feat(base): add GateInstructions::inner_product_left function (#143)

  Show description for 3a35050
  jonathanpwang

  authored
  3a35050

  Copy full SHA for 3a35050

• [feat] Keccak Coprocessor Leaf Circuit (#130)

  Show description for 9377d90
  

  nyunyunyunyu

  and

  jonathanpwang

  authored
  9377d90

  Copy full SHA for 9377d90

• [feat] App Circuit Utils for Keccak Coprocessor (#141)

  Show description for 54044c9
  nyunyunyunyu

  authored
  54044c9

  Copy full SHA for 54044c9

Commits on Sep 10, 2023

• [chore] Fix fmt (#144)

  Show description for 14bec5a
  nyunyunyunyu

  authored
  14bec5a

  Copy full SHA for 14bec5a

• chore: add misc utility functions (#146)

  Show description for c2a9341
  jonathanpwang

  authored
  c2a9341

  Copy full SHA for c2a9341

• feat(keccak): add ingestion module for Rust native input formatting (#147)

  jonathanpwang

  authored
  482bed6

  Copy full SHA for 482bed6

• chore(keccak): use snark-verifier native Poseidon for encoding (#148)

  Show description for 41ea795
  jonathanpwang

  authored
  41ea795

  Copy full SHA for 41ea795

Commits on Sep 11, 2023

• feat: optimize leaf poseidon with hash_compact_chunk_inputs (#149)

  jonathanpwang

  authored
  1ea4f84

  Copy full SHA for 1ea4f84

• [chore] cleanup code (#150)

  Show description for 2ccfc43
  jonathanpwang

  authored
  2ccfc43

  Copy full SHA for 2ccfc43

• chore: get halo2-pse working again

  jonathanpwang

  committed
  18057d3

  Copy full SHA for 18057d3

• Merge branch 'main' into release-0.4.0-rc0

  jonathanpwang

  committed
  46c5769

  Copy full SHA for 46c5769

• chore: fix fmt

  jonathanpwang

  committed
  eb5b284

  Copy full SHA for eb5b284

• [Doc] Keccak Doc (#145)

  Show description for 92277ce
  nyunyunyunyu

  authored
  92277ce

  Copy full SHA for 92277ce

• chore: pin snark-verifier branch

  jonathanpwang

  committed
  1bf36b1

  Copy full SHA for 1bf36b1

Commits on Sep 18, 2023

• [fix] max_rows in BaseCircuitBuilder in Keccak Leaf Circuit (#152)

  Show description for 12f190a
  

  nyunyunyunyu

  authored and

  jonathanpwang

  committed
  12f190a

  Copy full SHA for 12f190a

• [chore] Remove Unnecessary Lookup in Keccak Coprocessor Leaf Circuit (#153)

  Show description for 9a2fc70
  nyunyunyunyu

  authored
  9a2fc70

  Copy full SHA for 9a2fc70

• Revert "chore: pin snark-verifier branch"

  Show description for 17d297b
  jonathanpwang

  committed
  17d297b

  Copy full SHA for 17d297b

• [rename] (coprocessor, leaf) -> (component, shard) (#161)

  jonathanpwang

  authored
  26b81a3

  Copy full SHA for 26b81a3

Commits on Sep 19, 2023

• [rename] (coprocessor, leaf) -> (component, shard) (#161)

  jonathanpwang

  committed
  712d889

  Copy full SHA for 712d889

• [fix] Multiple Phase Lookup (#162)

  Show description for e36c45b
  nyunyunyunyu

  authored
  e36c45b

  Copy full SHA for e36c45b

• [fix] Multiple Phase Lookup (#162)

  Show description for d3828a4
  

  nyunyunyunyu

  authored and

  jonathanpwang

  committed
  d3828a4

  Copy full SHA for d3828a4

Commits on Sep 26, 2023

• [chore] add conversion SafePrimitive to QuantumCell::Existing (#169)

  Show description for 215fe1c
  jonathanpwang

  authored
  215fe1c

  Copy full SHA for 215fe1c

• fix: bad import on halo2-pse

  jonathanpwang

  committed
  524c818

  Copy full SHA for 524c818

• [chore] add conversion SafePrimitive to QuantumCell::Existing (#169)

  Show description for 7acbe4d
  jonathanpwang

  committed
  7acbe4d

  Copy full SHA for 7acbe4d

• fix: bad import on halo2-pse

  jonathanpwang

  committed
  5a43f96

  Copy full SHA for 5a43f96

• chore: make {Fixed,Var}LenBytes* constructor public

  Show description for 4cd0844
  jonathanpwang

  committed
  4cd0844

  Copy full SHA for 4cd0844

• chore: make {Fixed,Var}LenBytes* constructor public

  Show description for 3f84ec2
  jonathanpwang

  committed
  3f84ec2

  Copy full SHA for 3f84ec2

Commits on Sep 28, 2023

• chore(keccak): format_requests always returns true capacity (#171)

  jonathanpwang

  authored
  16fa9e5

  Copy full SHA for 16fa9e5

Commits on Sep 29, 2023

• [chore] derive Hash for BaseCircuitParams (#172)

  Show description for dff0e63
  jonathanpwang

  authored
  dff0e63

  Copy full SHA for dff0e63

Commits on Oct 1, 2023

• [chore] impl AsRef, AsMut for BaseCircuitBuilder to self (#173)

  Show description for 8a5d469
  jonathanpwang

  authored
  8a5d469

  Copy full SHA for 8a5d469

• [chore] impl AsRef, AsMut for BaseConfig to self (#174)

  Show description for addfbec
  jonathanpwang

  authored
  addfbec

  Copy full SHA for addfbec

Commits on Oct 7, 2023

• [chore] Add getters to KeccakComponentShardCircuit (#178)

  Show description for 9e6c9a1
  jonathanpwang

  authored
  9e6c9a1

  Copy full SHA for 9e6c9a1

Commits on Oct 10, 2023

• [chore] Expose Keccak Packing (#180)

  Show description for fef7316
  nyunyunyunyu

  authored
  fef7316

  Copy full SHA for fef7316

Commits on Oct 11, 2023

• [chore] Expose Keccak Format (#181)

  Show description for 5411321
  nyunyunyunyu

  authored
  5411321

  Copy full SHA for 5411321

• [feat] basic dynamic lookup table gadget (#182)

  Show description for bf71f0e
  jonathanpwang

  authored
  bf71f0e

  Copy full SHA for bf71f0e

Commits on Oct 16, 2023

• [chore] expose spec in PoseidonHasher (#183)

  Show description for 9ff8994
  jonathanpwang

  authored
  9ff8994

  Copy full SHA for 9ff8994

Commits on Oct 18, 2023

• [chore] fix halo2-pse build error (#184)

  Show description for ff0cadf
  jonathanpwang

  authored
  ff0cadf

  Copy full SHA for ff0cadf

Commits on Oct 20, 2023

• [feat] expose keccak table loading/packing functions for external crate usage (#195)

  Show description for 582f671
  jonathanpwang

  authored
  582f671

  Copy full SHA for 582f671

• [chore] add getters to PoseidonCompactChunkInput (#196)

  Show description for eef553c
  jonathanpwang

  authored
  eef553c

  Copy full SHA for eef553c

Commits on Oct 21, 2023

• [chore] fix deref after using CopyGetters (#197)

  Show description for ca498e5
  jonathanpwang

  authored
  ca498e5

  Copy full SHA for ca498e5

Commits on Oct 22, 2023

• [feat] implement CircuitExt for KeccakComponentShardCircuit (#198)

  Show description for 2e996ae
  jonathanpwang

  authored
  2e996ae

  Copy full SHA for 2e996ae

Commits on Oct 23, 2023

• Merge branch 'release-0.4.0-rc' into develop

  jonathanpwang

  committed
  ee822b9

  Copy full SHA for ee822b9

• chore: fix snark-verifier-sdk version

  jonathanpwang

  committed
  267123f

  Copy full SHA for 267123f

Commits on Nov 2, 2023

• [chore] add cargo audit to CI (#207)

  Show description for 4ba2efc
  jonathanpwang

  authored
  4ba2efc

  Copy full SHA for 4ba2efc

• [fix] FieldChip::range_check should take FieldPoint instead of UnsafeFieldPoint (#209)

  Show description for d4bf2fa
  jonathanpwang

  authored
  d4bf2fa

  Copy full SHA for d4bf2fa

Commits on Nov 3, 2023

• [feat] update docs (#211)

  Show description for 4bc9f0a
  jonathanpwang

  authored
  4bc9f0a

  Copy full SHA for 4bc9f0a

• [chore] fix dev graph tests (#212)

  Show description for 4e78e40
  jonathanpwang

  authored
  4e78e40

  Copy full SHA for 4e78e40

• [fix] BasicDynLookupConfig needs selector on advice table to prevent lookup poison (#206)

  Show description for a30e3b1
  jonathanpwang

  authored
  a30e3b1

  Copy full SHA for a30e3b1

• [feat] add keccak circuit tests against Known Answer Test vectors (#213)

  Show description for 6cc92c6
  jonathanpwang

  authored
  6cc92c6

  Copy full SHA for 6cc92c6

• [chore] fix documentation (#215)

  Show description for cba20ed
  jonathanpwang

  authored
  cba20ed

  Copy full SHA for cba20ed

• [chore] fix doc comment (#216)

  Show description for 67e3a0e
  jonathanpwang

  authored
  67e3a0e

  Copy full SHA for 67e3a0e

Commits on Nov 12, 2023

• chore: fix halo2-pse compile

  jonathanpwang

  committed
  5e2706f

  Copy full SHA for 5e2706f

Commits on Nov 13, 2023

• fix: TypeId in ContextTag not stable across builds (#217)

  Show description for 70d6d8a
  jonathanpwang

  authored
  70d6d8a

  Copy full SHA for 70d6d8a

• Merge branch 'release-0.4.0-rc' into release-0.4.1-rc

  jonathanpwang

  committed
  dacb885

  Copy full SHA for dacb885

• chore: fix RAM test to use &str type id

  jonathanpwang

  committed
  b880af1

  Copy full SHA for b880af1

Commits on Nov 14, 2023

• [chore] add crate prefix to type_ids (#218)

  Show description for adb9694
  jonathanpwang

  committed
  adb9694

  Copy full SHA for adb9694

Commits on Nov 16, 2023

• chore: use halo2-axiom from crates.io

  jonathanpwang

  committed
  b6a5750

  Copy full SHA for b6a5750

• chore: use poseidon-primitives from crates.io

  jonathanpwang

  committed
  d45800d

  Copy full SHA for d45800d

Commits on Nov 20, 2023

• chore: Bump halo2-axiom to v0.4

  jonathanpwang

  committed
  26a4504

  Copy full SHA for 26a4504

• chore: add get_mut for keccak circuit params

  jonathanpwang

  committed
  12e07e1

  Copy full SHA for 12e07e1

Commits on Nov 22, 2023

• Merge branch 'develop' into ce-merge-develop

  jonathanpwang

  committed
  42a9ed6

  Copy full SHA for 42a9ed6

• chore: bring back readme

  jonathanpwang

  committed
  e3f2522

  Copy full SHA for e3f2522