Skip to content
This repository has been archived by the owner on Oct 21, 2023. It is now read-only.

Latest commit

 

History

History
33 lines (21 loc) · 927 Bytes

README.md

File metadata and controls

33 lines (21 loc) · 927 Bytes

recursion-demo

UPDATE: This repo is outdated. Refer to https://github.com/noir-lang/noir-examples for the most recent examples.

A collection of simple examples demonstrating how to do recursion in Noir.

CLI

Setup

  1. Install Node.js ≥v18 (tested on v18.17.0)
  2. Install Nargo via nix with the instructions here (tested on commit ea80de5)
  3. Install bb.js by running npm i -g @aztec/bb.js (tested on v0.3.3)

Prove and verify the example code

  1. https://github.com/Savio-Sou/recursion-demo.git
  2. cd recursion-demo
  3. nargo compile main
  4. nargo execute witness
  5. bb.js prove -o proof
  6. bb.js write_vk -o vk
  7. bb.js verify -k vk -p proof

In Next.js

Setup

  1. TBC

Prove and verify the example code

  1. TBC