Extend browser integration-tests to cover verification with Solidity verifier

[Savio-Sou]

Discussed in https://github.com/orgs/noir-lang/discussions/2690

^{Originally posted by Savio-Sou September 14, 2023}

Problem

The current compile_prove_verify.test.ts headless browser test covers:

1. Compilation
2. Execution
3. Proving with bb.js
4. Verifying with bb.js

Noir app devs often want proofs to also be verifiable by barretenberg's Solidity verifier, which isn't currently tested in CI.

Happy Case

Extend the test above to also test verification of the proofs generated with Solidity verifiers generated by bb binary.

Note:

• NOT Solidity verifiers from bb.js as the recommended Noir dev workflow generates Solidity verifiers in the CLI
• For minimizing CI times, Solidity verifiers can be cached and regenerated only when the bb.js version tested against is bumped

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response