Code

feat: Recursive verification #1246

Code

Closed

vezenovm wants to merge 11 commits intomasternoir-lang/noir:masterfrom mv/verify_proofnoir-lang/noir:mv/verify_proofCopy head branch name to clipboard

+959-428

Commits

Commits on Apr 25, 2023

• chore: replace aztec_backend with acvm-backend-barretenberg

  TomAFrench

  committed
  0f817df

  Copy full SHA for 0f817df

Commits on Apr 27, 2023

• feat: update to ACVM 0.10.0

  TomAFrench

  committed
  be16e46

  Copy full SHA for be16e46

• Merge branch 'master' into bump-backend

  Show description for 57ae056
  TomAFrench

  committed
  57ae056

  Copy full SHA for 57ae056

• chore: move ComputeMerkleRoot to same match arm as HashToField128Security

  TomAFrench

  committed
  24b680f

  Copy full SHA for 24b680f

• chore: bump backend commit

  TomAFrench

  committed
  d79b7f3

  Copy full SHA for d79b7f3

• feat: update stdlib to use new merkle black box function

  TomAFrench

  committed
  c64992a

  Copy full SHA for c64992a

Commits on Apr 28, 2023

• fix: bump commit of barretenberg to match acvm-backend-barretenberg

  TomAFrench

  committed
  5703482

  Copy full SHA for 5703482

• feat: update merkle_insert to use new compute_merkle_root function

  TomAFrench

  committed
  0171a46

  Copy full SHA for 0171a46

• prepare_outptus without low level op output size count

  vezenovm

  committed
  dc50f76

  Copy full SHA for dc50f76

• merge conflicts with bump-backend updates and updated deps for recursion branches

  vezenovm

  committed
  81da50b

  Copy full SHA for 81da50b

Commits on May 8, 2023

• nargo test with recursion and new recursion cmd

  vezenovm

  committed
  141235e

  Copy full SHA for 141235e