Update recursion to Noir v0.24.0

[Savio-Sou]

Problem

The recursion interface was updated as of AztecProtocol/aztec-packages#4221, which introduced breaking changes like:

• New #[recursive] attribute for programs to be recursively verified
• Merged proving and verifying methods in NoirJS (i.e. no more separated IntermediateProof and FinalProof methods)

As they were breaking changes, the current example compatible with Noir v0.23.0 is incompatible with ≥v0.24.0.

Happy Case

Update the example to demonstrate how is recursion used with Noir v0.24.0.

Alternatives Considered

No response

Additional Context

Corresponding doc-changing PRs for reference:

• https://github.com/noir-lang/noir/pull/4199/files
• https://github.com/noir-lang/noir/pull/4399/files

This Issue is not considered a blocker to the public release of v0.24.0, simply as extra context the release is aimed in the week of 26 Feb.

Would you like to submit a PR for this Issue?

No

Support Needs

No response