Epic: E2E headless browser tests

[Savio-Sou]

Prerequisites

Beta Give feedback

1. Test noir_wasm on PR #1229
   E-MEDIUM P-MEDIUM enhancement +3
   
2. Epic: bb.js end to end testing #2251
   2 of 2
   +0
   
3. Epic: Recursive aggregation in Next.js (i.e. in browser) Planning#28
   5 of 6
   +0
   
4. Headless Browser testing #2610
   +0
   
5. Dependencies in noir wasm don't get std library #1244
   bug +1
   
6. chore: add recursive integration test #2763
   +0
7. Extend browser integration-tests to cover verification with Solidity verifier #2694
   enhancement +1
   

The test suite should cover:

In CLI:

1. Compiling Noir programs into ACIRs with Nargo / noir_wasm (should be equivalent, up to engineering's recommendation)
2. Generate Solidity verifiers for the Noir programs with bb.js
3. Deploy the Solidity verifiers

In headless browser:

4. Generates witnesses with acvm_js
5. Prove the ACIRs + witnesses with bb.js
6. Submit proofs to the Solidity verifiers

For discussion

1. What tests to include?

   Could be based on tooling/nargo_cli/tests

2. Should we include downloading from npm in the test suite?

[kevaundray]

@kobyhallx who is owning this EPIC?