example code of recursive proof

[jzaki]

pure ts module to show recursive proof. Intended to use export+codegen via scripts, but execution doesn't verify inner proofs. A future pr will extract the export+codegen example for it's own example.

[jzaki]

Related: noir-lang/noir#4563

[jzaki]

Modifying to be recursive

[jzaki]

Closes #197

[catmcgee]

hey @jzaki this is for this repo - https://github.com/noir-lang/noir-examples/tree/master/recursion/packages/noir/recursion

right now it does something similar to your example here - although yours is much more concise :)

I think @signorecello's idea was to have a more practical example, eg a game

[jzaki]

@catmcgee They are quite different.

[Savio-Sou]

Would be great to get you guys' help on updating https://noir-lang.org/docs/how_to/how-to-recursion, perhaps following the review and merging of this PR.

[critesjosh]

@jzaki wdyt about adding some more detail to the README (e.g. about the structure of the repo)? I think it'd be helpful to give a short description of what sumLib, sum, recurseNode, and recurseLeaf all do, and how they fit together in main.ts.

[critesjosh]

nice!