feat: Recursive verification

[vezenovm]

Related issue(s)

Resolves #1154

Description

This adds a foreign function to enable recursive verification of proofs.

Summary of changes

A new std lib method was added:

#[foreign(verify_proof)]
fn verify_proof(_verification_key : [Field], _proof : [Field], _public_input : Field, _key_hash : Field, _input_aggregation_object : [Field]) -> [Field] {}

Although this function signature is not final as I would like to remove the key hash field and have it be handled by the compiler. The key hash will have to be specific to a backend and we cannot rely on the compiler to generate the key hash without backend interop.

Include a way to generate inner recursive proofs with nargo. The barretenberg backend requries a different hash type for recursive proofs (it using pedersen-blake3 for efficiency), however, the Noir requries a keccak based prover in order to be compatible with the Solidity verifier. This is why a new RecursiveProver type was added to the DSL package.

Dependency additions / changes

ACVM: noir-lang/acvm#291
acvm-backend-barretenberg: noir-lang/acvm-backend-barretenberg#146

Test additions / changes

There is a new recursion test that calls the new verify_proof foreign function. The recursive data comes from the xor test.

Checklist

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt with default settings.
• I have linked this PR to the issue(s) that it resolves.
• I have reviewed the changes on GitHub, line by line.
• I have ensured all changes are covered in the description.

Documentation needs

• This PR requires documentation updates when merged.

Additional context

[vezenovm]

Closed due to move to bb.js

[Savio-Sou]

Superseded by #1594.