Code

feat: Recursive verification#1379

Code

Closed

vezenovm wants to merge 16 commits intomasternoir-lang/noir:masterfrom mv/verify-proof-2noir-lang/noir:mv/verify-proof-2Copy head branch name to clipboard

+1,453-630

Commits

Commits on May 15, 2023

• chore!: Update to ACVM 0.12.0

  phated

  committed
  4f139ee

• feat: adapted to heterogeneous bb calls

  

  sirasistant

  authored and

  phated

  committed
  133e261

• chore: update cargo tomls

  

  sirasistant

  authored and

  phated

  committed
  57d1cbf

• test: re enabled sort test

  

  sirasistant

  authored and

  phated

  committed
  9375d3b

• fix: improve variable resolution

  

  sirasistant

  authored and

  phated

  committed
  2132c0a

• feat: use dummy constructor for bb call

  

  sirasistant

  authored and

  phated

  committed
  d22be54

• updates for latest

  phated

  committed
  b71f690

• feat!: Move WitnessMap type into ACVM to avoid leaking BTreeMap type

  phated

  committed
  e1f5b61

• feat(nargo): Only download as much CRS as you need

  phated

  committed
  da2525d

Commits on May 16, 2023

• update references

  phated

  committed
  b6b2c6c

Commits on May 17, 2023

• code review

  phated

  committed
  7439e39

Commits on May 18, 2023

• remove usage of IsOpcodeSupported

  vezenovm

  committed
  cb05ac2

• switch to using dyn

  vezenovm

  committed
  6822b47

• use Box new

  vezenovm

  committed
  7e07bf9

• add verify_proof for PWG due to new acvm where necessary

  vezenovm

  committed
  b5834c5

Commits on May 19, 2023

• add verify_proof builtin and double recursion test

  vezenovm

  committed
  ab40137