Code

feat: DSL recursion changes#383

Code

Closed

vezenovm wants to merge 48 commits intomasterAztecProtocol/barretenberg:masterfrom mv/noir-recursionAztecProtocol/barretenberg:mv/noir-recursionCopy head branch name to clipboard

+1,964-81

Commits

Commits on Apr 13, 2023

• Added recursion constraint into dsl + tests

  zac-williamson

  committed
  69eba2d

  Copy full SHA for 69eba2d

• fix dsl ecdsa constraint. Added ecdsa dsl tests

  zac-williamson

  committed
  7a80056

  Copy full SHA for 7a80056

Commits on Apr 16, 2023

• changed dsl recursion to pass proof/key as witnesses

  zac-williamson

  committed
  2436dcf

  Copy full SHA for 2436dcf

• recursive verification key no longer encapsulates a native key

  Show description for 292f626
  zac-williamson

  committed
  292f626

  Copy full SHA for 292f626

• added serialization test for acir_proofs

  zac-williamson

  committed
  bc02eff

  Copy full SHA for bc02eff

Commits on Apr 18, 2023

• Added serialization methods into dsl for recursive proof composition

  Show description for d9656e9
  zac-williamson

  committed
  d9656e9

  Copy full SHA for d9656e9

• added verificaiton key hash into RecursionConstraint

  Show description for 209f813
  zac-williamson

  committed
  209f813

  Copy full SHA for 209f813

• fixed compiler errors in stdlib_recursion_tests

  zac-williamson

  committed
  6496228

  Copy full SHA for 6496228

Commits on Apr 25, 2023

• feat(dsl)!: Noir recursion updates (#379)

  Show description for 5f21e22
  vezenovm

  authored
  5f21e22

  Copy full SHA for 5f21e22

• master merge conflicts

  vezenovm

  committed
  f4253ad

  Copy full SHA for f4253ad

• EnvReferenceString undefined reference to error workaround

  vezenovm

  committed
  25f5574

  Copy full SHA for 25f5574

• add missing recursion_constraint field from acir_format tests

  vezenovm

  committed
  1c8cc77

  Copy full SHA for 1c8cc77

• add recursion_constraints field back in acir_proofs.test inner circuit

  vezenovm

  committed
  6109828

  Copy full SHA for 6109828

• fix inner circuit in RecursionConstraint.TestRecursionConstraint

  vezenovm

  committed
  8358741

  Copy full SHA for 8358741

• merge conflictss w/ master

  vezenovm

  committed
  b65c442

  Copy full SHA for b65c442

• Empty-Commit

  vezenovm

  committed
  551277b

  Copy full SHA for 551277b

Commits on Apr 28, 2023

• add verify_recursive_proof method for simulating recursive verification in the ACVM

  vezenovm

  committed
  ce46c01

  Copy full SHA for ce46c01

• master merge conflicts in acir_format and updates to generate method in sol tests

  vezenovm

  committed
  87d7b40

  Copy full SHA for 87d7b40

• add ecc module to env package to fix linking of ennv_load_prover_crs and env_load_verifier_crs

  vezenovm

  committed
  11e97be

  Copy full SHA for 11e97be

Commits on May 1, 2023

• add back reference strinng to stdlib recursion key to pass sol verifier generation tests

  vezenovm

  committed
  941b275

  Copy full SHA for 941b275

• remove prints from recursive verifier test

  vezenovm

  committed
  6d86e39

  Copy full SHA for 6d86e39

Commits on May 3, 2023

• fix dirty free for when serializing vk to fields, was working on macbook so not caught earlier, but need more clarity on ubuntu

  vezenovm

  committed
  5a458d6

  Copy full SHA for 5a458d6

Commits on May 5, 2023

• Merge branch 'master' into mv/noir-recursion

  vezenovm

  committed
  7399ea7

  Copy full SHA for 7399ea7

• fix ecdsa tests after master merge

  vezenovm

  committed
  07a22f6

  Copy full SHA for 07a22f6

• missing keccak constraints fields in acir format and proofs tests

  vezenovm

  committed
  74a8327

  Copy full SHA for 74a8327

• one more missing keccak constraint

  vezenovm

  committed
  18cfb94

  Copy full SHA for 18cfb94

Commits on May 15, 2023

• merge conflicts w/ master

  vezenovm

  committed
  7de20cd

  Copy full SHA for 7de20cd

• mismatched acir format structs for gcc build

  vezenovm

  committed
  155903e

  Copy full SHA for 155903e

• missing block constraints in acir tests

  vezenovm

  committed
  683a875

  Copy full SHA for 683a875

Commits on May 16, 2023

• feat(dsl)!: Arbitrary depth recursion (#433)

  Show description for 7ecb574
  

  vezenovm

  and

  zac-williamson

  authored
  7ecb574

  Copy full SHA for 7ecb574

Commits on May 22, 2023

• move export key into dsl package

  vezenovm

  committed
  a2f6cbb

  Copy full SHA for a2f6cbb

• chore: remove unused export key in recursion format from main proof system classes

  vezenovm

  committed
  b56d3ca

  Copy full SHA for b56d3ca

• pr review: moved from_witness comment and renamed from_field_pt_vector

  vezenovm

  committed
  97ede2e

  Copy full SHA for 97ede2e

• moved export transcript in recursion format to DSL package

  vezenovm

  committed
  c64d8b5

  Copy full SHA for c64d8b5

• use false for clang-format SortIncludes

  vezenovm

  committed
  a590470

  Copy full SHA for a590470

• Merge branch 'master' into mv/noir-recursion

  vezenovm

  committed
  4d262e3

  Copy full SHA for 4d262e3

• move order of acir functions

  vezenovm

  committed
  f3baab0

  Copy full SHA for f3baab0

• remove ecc bb_module declaration in env package

  vezenovm

  committed
  a793b2d

  Copy full SHA for a793b2d

• chore: remove usage of magic numbers when slicing g1::affine_element into barretenberg::fr

  vezenovm

  committed
  f954266

  Copy full SHA for f954266

Commits on May 23, 2023

• introduce NUM_AGGREGATION_ELEMENTS constant and use it through recursion constraint

  vezenovm

  committed
  0f0d519

  Copy full SHA for 0f0d519

• nit ASSERT(result != -1) in get_public_input_index

  vezenovm

  committed
  294c1fa

  Copy full SHA for 294c1fa

• remove unused found var

  vezenovm

  committed
  517ed2c

  Copy full SHA for 517ed2c

• cast -1

  vezenovm

  committed
  92159e0

  Copy full SHA for 92159e0

• fix up verify_recursive_proof and add a test for it

  vezenovm

  committed
  d8ee388

  Copy full SHA for d8ee388

• moved from tempalte for has_valid_witness_assignments to a flag

  vezenovm

  committed
  cf9bdd6

  Copy full SHA for cf9bdd6

• chore: add comments to AcirProofs.TestVerifyRecursiveProofPass

  vezenovm

  committed
  2096676

  Copy full SHA for 2096676

Commits on May 24, 2023

• Merge branch 'master' into mv/noir-recursion

  vezenovm

  committed
  bb4404f

  Copy full SHA for bb4404f

Commits on May 26, 2023

• minor formatting changes to remove files from PR

  zac-williamson

  committed
  5f551ea

  Copy full SHA for 5f551ea