chore: add apps & fee support to AVM simulator and AVM bb-prover tests (

#11323)

Adds the following test helper classes:
- SimpleContractDataSource: fulfills ContractDataSource interface in a
minimal way to work with isolated AVM tests
- BaseAvmSimulationTester: provides a similar interface to
ContractDataSource, but adding contracts also performs contract address
nullifier insertions and includes helpers for contract initialization
(useful for constructor calls).
- AvmSimulationTester: extends Base* and exposes a function to
`simulateCall`. Uses a parent state manager to maintain state between
enqueued calls.
- PublicTxSimulationTester: extends Base* and exposes a function to
`simulateTx`. Commits state to trees to maintain state between txs.
- AvmProvingTester (& v2): extends a `PublicTxSimulationTester` and
exposes a function to `simProveVerify` a tx

barretenberg/cpp/src/barretenberg/vm/avm/trace/trace.cpp

@@ -322,7 +322,9 @@ void AvmTraceBuilder::pay_fee()
     // TS equivalent:
     // computeFeePayerBalanceStorageSlot(fee_payer);
     std::vector<FF> slot_hash_inputs = { FEE_JUICE_BALANCES_SLOT, public_inputs.fee_payer };
-    const auto balance_slot = poseidon2_trace_builder.poseidon2_hash(slot_hash_inputs, clk, Poseidon2Caller::SILO);
+    // TODO: do constrained slot derivations!
+    // const auto balance_slot = poseidon2_trace_builder.poseidon2_hash(slot_hash_inputs, clk, Poseidon2Caller::SILO);
+    const auto balance_slot = Poseidon2::hash(slot_hash_inputs);
 
     // ** Read the balance before fee payment **
     // TS equivalent:

noir-projects/noir-contracts/contracts/avm_test_contract/src/main.nr

@@ -670,7 +670,14 @@ contract AvmTest {
      * be optimized away.
      ************************************************************************/
     #[public]
-    fn bulk_testing(args_field: [Field; 10], args_u8: [u8; 10]) {
+    fn bulk_testing(
+        args_field: [Field; 10],
+        args_u8: [u8; 10],
+        get_instance_for_address: AztecAddress,
+        expected_deployer: AztecAddress,
+        expected_class_id: ContractClassId,
+        expected_initialization_hash: Field,
+    ) {
         dep::aztec::oracle::debug_log::debug_log("set_storage_single");
         set_storage_single(30);
         dep::aztec::oracle::debug_log::debug_log("set_storage_list");
@@ -692,9 +699,12 @@ contract AvmTest {
         dep::aztec::oracle::debug_log::debug_log("pedersen_hash_with_index");
         let _ = pedersen_hash_with_index(args_field);
         dep::aztec::oracle::debug_log::debug_log("test_get_contract_instance");
-        // address should match yarn-project/simulator/src/public/fixtures/index.ts's
-        // MockedAvmTestContractDataSource.otherContractInstance
-        test_get_contract_instance(AztecAddress::from_field(0x4444));
+        test_get_contract_instance_matches(
+            get_instance_for_address,
+            expected_deployer,
+            expected_class_id,
+            expected_initialization_hash,
+        );
         dep::aztec::oracle::debug_log::debug_log("get_address");
         let _ = get_address();
         dep::aztec::oracle::debug_log::debug_log("get_sender");

yarn-project/bb-prover/package.json

@@ -86,6 +86,8 @@
   "devDependencies": {
     "@aztec/ethereum": "workspace:^",
     "@aztec/kv-store": "workspace:^",
+    "@aztec/noir-contracts.js": "workspace:^",
+    "@aztec/protocol-contracts": "workspace:^",
     "@aztec/types": "workspace:^",
     "@jest/globals": "^29.5.0",
     "@types/jest": "^29.5.0",