Code

Merge master#2

Code

Merged

ludamad merged 85 commits intoludamad:masterludamad/barretenberg:masterfrom AztecProtocol:masterAztecProtocol/barretenberg:masterCopy head branch name to clipboardMay 29, 2023

+163,069-32,221

Commits

Commits on Mar 18, 2023

• Added dynamic array abstraction into standard library (#112)

  Show description for 24ab0dc
  zac-williamson

  authored
  24ab0dc

Commits on Mar 22, 2023

• fix: Store lagrange forms of selector polys w/ Ultra (#255)

  Show description for b121963
  vezenovm

  authored
  b121963

Commits on Mar 23, 2023

• feat(ts): allow passing srs via env functions (#260)

  Show description for ac78353
  

  ludamad

  and

  ludamad0

  authored
  ac78353

Commits on Mar 24, 2023

• Lde/transcript (#248)

  Show description for d9d4cb7
  

  ledwards2225

  and

  codygunton

  authored
  d9d4cb7

Commits on Mar 27, 2023

• fix(build): git add -f .yalc (#265)

  Show description for 7671192
  

  ludamad

  and

  ludamad0

  authored
  7671192

• chore: modularize bb (#271)

  Show description for 63b580d
  

  ludamad

  authored and

  spalladino

  committed
  63b580d

• Adding foundation to bb.js (#274)

  Show description for 414a793
  

  spypsy

  and

  ludamad

  authored
  414a793

• Fix build of ts package (#276)

  spalladino

  authored
  561a229

Commits on Mar 29, 2023

• Splitting turbo composer (#266)

  Show description for c3d757a
  

  Rumata888

  and

  ledwards2225

  authored
  c3d757a

Commits on Mar 30, 2023

• Cg/move to shared (#294)

  Show description for 2dbe41b
  codygunton

  authored
  2dbe41b

• Lde/split gemini (#256)

  Show description for b9df01e
  ledwards2225

  authored
  b9df01e

• Lde/lookup grand product (#286)

  Show description for 2923304
  ledwards2225

  authored
  2923304

Commits on Mar 31, 2023

• Cg/arithmetization (#296)

  Show description for 8885aa5
  codygunton

  authored
  8885aa5

Commits on Apr 4, 2023

• feat: Working UltraPlonk for Noir (#299)

  Show description for d56dfbd
  

  7 peopleauthored
  d56dfbd

• Add debugging CMake preset & update code-workspace (#308)

  Show description for 519f9f8
  

  codygunton

  and

  phated

  authored
  519f9f8

Commits on Apr 5, 2023

• Lde/ultra composer (#302)

  Show description for f74b052
  ledwards2225

  authored
  f74b052

• fix(nix): Use wasi-sdk 12 to provide barretenberg-wasm in overlay (#315)

  Show description for 4a06992
  phated

  authored
  4a06992

• Prep: move composer type, proving key and verification key. (#303)

  Show description for 887ed39
  codygunton

  authored
  887ed39

• fix(dsl): Use info instead of std::cout to log (#323)

  Show description for 486d738
  

  phated

  and

  vezenovm

  authored
  486d738

Commits on Apr 6, 2023

• fix(nix): Disable ASM & ADX when building in Nix (#327)

  Show description for 3bc724d
  

  phated

  and

  kevaundray

  authored
  3bc724d

• Aztec3 Specific Work in Barretenberg (#142)

  Show description for 2c569cf
  

  7 peopleauthored
  2c569cf

Commits on Apr 7, 2023

• Split shplonk in prep for work queue (#321)

  ledwards2225

  authored
  2f40d9e

• Consolidate permutation mapping computation into one method (#330)

  ledwards2225

  authored
  a21ec0c

• Lde/reinstate work queue (#324)

  Show description for 688ca22
  ledwards2225

  authored
  688ca22

Commits on Apr 10, 2023

• fix(cmake): Remove leveldb dependency that was accidentally re-added (#335)

  Show description for 3534e2b
  

  phated

  and

  kevaundray

  authored
  3534e2b

• change to get_num_gates() inside get_total_circuit_size() (#332)

  vezenovm

  authored
  365bfc7

Commits on Apr 11, 2023

• Mm/ensure all stdlib_primitives_tests are run using all four composers

  

  maramihali

  authored and

  maramihali

  committed
  8fa24c9

Commits on Apr 12, 2023

• UltraHonk Composer (Split) (#339)

  Show description for a616757
  ledwards2225

  authored
  a616757

• fix: Revert generator changes that cause memory OOB access (#338)

  Show description for 500daf1
  

  3 peopleauthored
  500daf1

Commits on Apr 13, 2023

• doc: Document more thoroughly why fields don't 0-init (#349)

  Show description for ebed17f
  ludamad

  authored
  ebed17f

• 32-Byte Keccak256 challenges for UltraPlonK (#350)

  Show description for d104756
  codygunton

  authored
  d104756

• Ultra Honk arithmetic and grand product relations (#351)

  Show description for 4bfda8f
  ledwards2225

  authored
  4bfda8f

Commits on Apr 14, 2023

• add modified consistency check for selectors (#354)

  ledwards2225

  authored
  4c886b6

Commits on Apr 18, 2023

• No SYSTEM_COMPOSER (#352)

  Show description for f7fc07d
  codygunton

  authored
  f7fc07d

Commits on Apr 20, 2023

• Lde/lookup grand prod relation (#359)

  Show description for 9fb4b7a
  ledwards2225

  authored
  9fb4b7a

• fixed bug where range constraining connected witnesses threw an error (#369)

  Show description for a38e361
  

  zac-williamson

  and

  codygunton

  authored
  a38e361

Commits on Apr 21, 2023

• Add Mutex to global initialisation of generators (#371)

  Show description for ecb6129
  

  maxhora

  and

  kevaundray

  authored
  ecb6129

Commits on Apr 24, 2023

• chore: Add cachix action for uploading binary cache artifacts (#373)

  Show description for 87aeb37
  phated

  authored
  87aeb37

• Zw/recursion constraint reduction (#377)

  Show description for acc6b95
  

  zac-williamson

  and

  codygunton

  authored
  acc6b95

Commits on Apr 25, 2023

• add constraints to ensure that the result of the logic constraint is

  Show description for 7e66411
  

  maramihali

  authored and

  maramihali

  committed
  7e66411

• fixed error where applying copy constraints to range-constrained indices would create an unbalanced set membership check

  

  zac-williamson

  authored and

  maramihali

  committed
  d9b7e21

• improve documentation and fix issue in non-ultra variants of the

  Show description for 6ef5df5
  

  maramihali

  authored and

  maramihali

  committed
  6ef5df5

• [SQUASHED] ecdsa key recovery with test(s). (#346)

  Show description for 70cdaff
  suyash67

  authored
  70cdaff

• feat(nullifier_tree): make empty nullifier tree leaves hash be 0 (#360) (#382)

  Show description for b85ab8d
  

  4 peopleauthored
  b85ab8d

Commits on Apr 27, 2023

• Solidity Ultra Verifier with tests (#363)

  Show description for 2396c3f
  

  LHerskind

  and

  cheethas

  authored
  2396c3f

• fix: throw -> throw_or_abort in sol gen (#388)

  Show description for 7cfe3f0
  

  Maddiaa0

  and

  cheethas

  authored
  7cfe3f0

• feat!: replace MerkleMembershipConstraint withComputeMerkleRootConstraint (#385)

  Show description for 74dbce5
  TomAFrench

  authored
  74dbce5

• Ultraplonk check_circuit (#366)

  Show description for 7b55988
  Rumata888

  authored
  7b55988

Commits on Apr 28, 2023

• updating IPA to use transcript (#367)

  ledwards2225

  authored
  7e4db68

Commits on May 2, 2023

• hack: introduce BARRETENBERG_CRYPTO_GENERATOR_PARAMETERS_HACK (#409)

  Show description for 48a654f
  ludamad

  authored
  48a654f

Commits on May 3, 2023

• Add Keccak constraints to acir_format (#393)

  guipublic

  authored
  8076db9

• exp: fix alpine versioning (#415)

  Show description for 18d26d9
  

  Maddiaa0

  and

  cheethas

  authored
  18d26d9

• Small change that was left out of construct_addition_chains fix (#404)

  Show description for 2fbceb3
  Rumata888

  authored
  2fbceb3

Commits on May 4, 2023

• Pending bb work for aztec3 (#368)

  Show description for 89946ae
  

  3 peopleauthored
  89946ae

• feat: CI to test aztec circuits with current commit of bberg (#418)

  Show description for 20a0873
  

  3 peopleauthored
  20a0873

• chore: use build-system submodule (#419)

  Show description for ca0bb9c
  dbanks12

  authored
  ca0bb9c

• slack bberg channel (#422)

  dbanks12

  authored
  3b97116

• Cg/flavor (#326)

  Show description for e66f1ef
  

  codygunton

  and

  ledwards2225

  authored
  e66f1ef

Commits on May 5, 2023

• Add external benchmarks (#401)

  Show description for 48759f2
  Rumata888

  authored
  48759f2

• Reduce occurence of using namespace syntax in header files (#387)

  Show description for 9a8225e
  

  maramihali

  and

  maramihali

  authored
  9a8225e

• ensure all operand sizes are tested (#432)

  Show description for ad615ee
  

  maramihali

  and

  maramihali

  authored
  ad615ee

Commits on May 9, 2023

• Add ECDSA test for ACIR and fix (#435)

  Show description for bb08dfa
  

  kevaundray

  and

  zac-williamson

  authored
  bb08dfa

• chore(ci): Add Noir CI that runs with a github label (#430)

  phated

  authored
  97ccf76

Commits on May 11, 2023

• Adds prehashed message variant of EcDSA (#437)

  Show description for 0c38518
  kevaundray

  authored
  0c38518

• Ultra Honk (#412)

  ledwards2225

  authored
  6ac16d0

• DSL: Add valid dummy data for ecdsa constraints when verifier is creating circuit (#438)

  Show description for 223b9de
  

  kevaundray

  and

  zac-williamson

  authored
  223b9de

• chore(ci): Add explicit ref for Noir checkout (#440)

  phated

  authored
  ae44792

Commits on May 12, 2023

• feat!: add support for ROM and RAM ACVM opcodes (#417)

  Show description for 697fabb
  guipublic

  authored
  697fabb

• fix the build (#442)

  guipublic

  authored
  97c9bc7

Commits on May 17, 2023

• msgpack: initial support for friendly binary serialization format (#374)

  Show description for 2f49c10
  

  5 peopleauthored
  2f49c10

• Zw/noir recursion 2 (#414)

  Show description for 5425693
  

  zac-williamson

  and

  dbanks12

  authored
  5425693

• Chore: bundle msgpack to fix nix-build (#450)

  Show description for 7927890
  ludamad

  authored
  7927890

Commits on May 18, 2023

• variable-length keccak (#441)

  Show description for d3cdd43
  

  zac-williamson

  and

  kevaundray

  authored
  d3cdd43

• chore: disable circuits tests in master (#454)

  dbanks12

  authored
  ebe9b58

• fix: msgpack error (#456)

  ludamad

  authored
  943d6d0

• Add missing hash_index while compressing vk. (#457)

  Show description for 7f74479
  suyash67

  authored
  7f74479

Commits on May 19, 2023

• Adam/fix allow explicit field init (#460)

  Show description for 9413a2e
  ludamad

  authored
  9413a2e

• fix: msgpack variant_impl.hpp (#462)

  Show description for b5838a6
  ludamad

  authored
  b5838a6

• fix: bbmalloc linker error (#459)

  ludamad

  authored
  d4761c1

Commits on May 22, 2023

• format msgpack serialization and excldue msgpack-c from clang-format (#467)

  vezenovm

  authored
  4c39ac6

Commits on May 23, 2023

• patch: temporarily remove broken solidity ci (#470)

  Maddiaa0

  authored
  e1318c1

• Sumcheck improvements (#455)

  Show description for 0e7d32f
  ledwards2225

  authored
  0e7d32f

Commits on May 25, 2023

• Fixed a bug in biggroup tests (#478)

  Rumata888

  authored
  ad28215

• DSL: Add KeccakVar opcode (#476)

  Show description for 0834791
  kevaundray

  authored
  0834791

• Multi-constraint Relations (#444)

  Show description for 4d851dd
  ledwards2225

  authored
  4d851dd