chore(acir_tests): Add script to regenerate double_verify_proof inputs

[vezenovm]

The information below can also be found in the README edited as part of this PR:

double_verify_proof has inputs that are proof system specific such as the circuit verification key and the proofs themselves which are being recursively verified. Certain proof system changes can sometimes lead to the key or inner proofs now being invalid.

This means we have to generate the proof specific inputs using our backend and pass it back into double_verify_proof to regenerate the accurate witness. The following is a temporary solution to manually regenerate the inputs for double_verify_proof on a specific Noir branch.

First find acir_tests/gen_inner_proof_inputs.sh. Change the $BRANCH env var to your working branch and $PROOF_NAME to your first input you want to recursively verify. The script is going to generate the proof system specific verification key output and proof for the assert_statement test.

To run:

./gen_inner_proof_inputs.sh

To generate a new input you can run the script again. To generate a new file under assert_statement/proofs/ be sure to change the $PROOF_NAME inside of the script.

You can then copy these inputs over to your working branch in Noir and regenerate the witness for double_verify_proof. You can then change the branch in run_acir_tests.sh to this Noir working branch as well and double_verify_proof should pass.

Checklist:

Remove the checklist to signal you've completed it. Enable auto-merge if the PR is ready to merge.

• If the pull request requires a cryptography review (e.g. cryptographic algorithm implementations) I have added the 'crypto' tag.
• I have reviewed my diff in github, line by line and removed unexpected formatting changes, testing logs, or commented-out code.
• Every change is related to the PR description.
• I have linked this pull request to relevant issues (if any exist).