Code

example code of recursive proof#207

Code

Merged

jzaki merged 18 commits intomainAztecProtocol/dev-rel:mainfrom jz/recursive-proofs-how-toAztecProtocol/dev-rel:jz/recursive-proofs-how-toCopy head branch name to clipboardApr 17, 2024

+882

Commits

Commits on Apr 2, 2024

• Initial Noir ts commit

  jzaki

  committed
  6823523

  Copy full SHA for 6823523

Commits on Apr 5, 2024

• Update recursive proof example WIP

  jzaki

  committed
  6ede541

  Copy full SHA for 6ede541

• Add 'how-to/recursive-proofs/' from commit '6ede541281290dcff86ca37d48bdfa1cd17ef69e'

  Show description for ab986b1
  jzaki

  committed
  ab986b1

  Copy full SHA for ab986b1

• Ignore circuit exports

  jzaki

  committed
  e52f656

  Copy full SHA for e52f656

• add usage instructions

  jzaki

  committed
  2b36a15

  Copy full SHA for 2b36a15

• User intermediate proof in circuit

  jzaki

  committed
  c29b67c

  Copy full SHA for c29b67c

• Test altered proof

  jzaki

  committed
  61a9cbb

  Copy full SHA for 61a9cbb

• verify outer proof

  jzaki

  committed
  ed0371f

  Copy full SHA for ed0371f

• Verify two inner proofs (exception)

  jzaki

  committed
  53a91e0

  Copy full SHA for 53a91e0

• minor updates to recursive howto script (exception)

  jzaki

  committed
  2558dc9

  Copy full SHA for 2558dc9

Commits on Apr 11, 2024

• Single recursive function (WIP)

  jzaki

  committed
  8120d96

  Copy full SHA for 8120d96

• Revert "Single recursive function (WIP)"

  Show description for 67121cd
  jzaki

  committed
  67121cd

  Copy full SHA for 67121cd

Commits on Apr 12, 2024

• Modify for single nested recursion

  jzaki

  committed
  2fdeeea

  Copy full SHA for 2fdeeea

• Add verification before failing recursive generation

  jzaki

  committed
  969dd83

  Copy full SHA for 969dd83

• fix public input length with hidden size

  jzaki

  committed
  ebb3ed1

  Copy full SHA for ebb3ed1

• WIP outer proof

  jzaki

  committed
  5c72ded

  Copy full SHA for 5c72ded

• Fix execution errors with outer recursive proof

  jzaki

  committed
  afa349a

  Copy full SHA for afa349a

Commits on Apr 17, 2024

• Document recursive verification example

  jzaki

  committed
  17805da

  Copy full SHA for 17805da