Noir recursion example

[critesjosh]

No description provided.

[critesjosh]

@catmcgee what's the status of this? There are questions coming up in discord where this might be helpful. cc @signorecello

[signorecello]

At least trying 2 in 1 proof verifications because that's what's unclear if it's working or not

We can flesh out the "real-world use-case" later on

[signorecello]

Assigning to @jzaki since @catmcgee will be busy with alpha hack

[jzaki]

Recurse summation (simple example like chaining hashes up a tree), EDIT: work on nested recursive example