feat: update and generate test Prover.tomls for protocol circuits (#1…

…0659)

Adds methods to generate test `Prover.tomls` for protocol circuits.

Note this was a tricky one to complete for a few reasons:

- No tests simulate all kernels and all rollup circuits. I commandeered
the prover `full.test` and forced in a few extra txs in a new test to
make sure it makes `merge` and `block-merge` inputs.
- No tests use the full reset circuit. I had to add a nasty hack that
passes the untrimmed reset inputs and writes those to file.
- I didn't want the `Prover.tomls` to annoyingly update every time a dev
wants to update some inline fixture, so I forced (in `test_data`) to
only update with `generateProtocolCircuitTestData = true` which is only
updated by `full.test`.

To regen all test `Prover.tomls`, run:
`AZTEC_GENERATE_TEST_DATA=1 FAKE_PROOFS=1 yarn workspace
@aztec/end-to-end test full.test`
from `yarn-project` after bootstrapping.

noir-projects/noir-protocol-circuits/.gitignore

@@ -1,4 +1,3 @@
-Prover.toml
 Verifier.toml
 target
 crates/autogenerated

noir-projects/noir-protocol-circuits/crates/private-kernel-init/SampleInputs.toml → noir-projects/noir-protocol-circuits/crates/private-kernel-init/Prover.toml

@@ -1,12 +1,12 @@
-vk_tree_root = "0x10aeb1e1434c916694f3fc471d707b9263adcf958c37795b58d35427a9e04a73"
-protocol_contract_tree_root = "0x2dcbefa1ba7a12eb4f2ca5632698034aaab9a60c0428603cb64a7685760f2032"
+vk_tree_root = "0x0a118eae659eb1671e3f579a83c4ad3688cee1b9f23dcec48af4d3f3a2de1733"
+protocol_contract_tree_root = "0x296690a67333fb896eff0ef812d31f9be26161726e47057bb688ddcf08164453"
 is_private_only = true
 
 [tx_request]
-args_hash = "0x086312177b724df7468df37f7ae09f85abfef6b6125c5a9a370e67fe70846184"
+args_hash = "0x12c676d5f4440750e22bd5cb2bd80e389ed616ebd9e100b283d3b9002e8981a5"
 
   [tx_request.origin]
-  inner = "0x1a5fa7ce05b311a856eb526af7a3adf75dd3932d4a675f335d0bfe3f55dd5bdf"
+  inner = "0x111914eadfa81022a42e019b6cf3df64d98685d3c137a16079d0742132432bb0"
 
   [tx_request.tx_context]
   chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
@@ -22,7 +22,7 @@ l2_gas = "0x00000000000000000000000000000000000000000000000000000000005b8d80"
 
 [tx_request.tx_context.gas_settings.max_fees_per_gas]
 fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
-fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000c9bd2e5e0"
+fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000c9bd150e0"
 
   [tx_request.function_data]
   is_private = true
@@ -31,7 +31,7 @@ fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000c9bd2
     inner = "0x0000000000000000000000000000000000000000000000000000000027e740b2"
 
 [private_call]
-contract_class_artifact_hash = "0x22b30390331e4ecdefa5ccd6b1f5c92b43cb8ecdb45a625d225b49a8c9227c09"
+contract_class_artifact_hash = "0x0d3819fce2331f47acf18c285be4b077d51819612c643b2608a02052e5f36f9d"
 contract_class_public_bytecode_commitment = "0x0000000000000000000000000000000000000000000000000000000000000000"
 protocol_contract_sibling_path = [
   "0x0000000000000000000000000000000000000000000000000000000000000000",
@@ -199,30 +199,30 @@ acir_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 ]
 
 [private_call.public_keys.npk_m.inner]
-x = "0x21b4432c1232a63a3987d8fe05c2ff3040b9082a7eb84b067365039264ecf11a"
-y = "0x04286d9fe9fddcca43f315314017c1ce83c37e2d9d7bbf3ea043019c71bb7dc6"
+x = "0x139be90137cc3dcf55a5ba270c494c7500a284c99fd14111e6f1d59496465c9c"
+y = "0x2c34bad1dd8d7916951548bb529b7163ba5ec59aae7913ecc4773d7cb55eb2d4"
 is_infinite = false
 
 [private_call.public_keys.ivpk_m.inner]
-x = "0x28c2886ff141bcf45f9a1d6336fc483d7b6e280a939c56484092f471d1f6b6b9"
-y = "0x2b9fa19409430888d41d2350218ac1bfcb01cc7c71269eabac440aa3aa46615c"
+x = "0x221bb3e565e780f9afdb9374d54a4ef756a48f6d34eca3a9b90c5b0e8217ecb2"
+y = "0x2b069c020a1e71381ee41abd5b5fe580fab2bbdf24b255c58dc37b621ab2e418"
 is_infinite = false
 
 [private_call.public_keys.ovpk_m.inner]
-x = "0x303104dc2f4b51e249101248dc7b4f3e4678d9ec652cbbb8e7f0a82b5b401472"
-y = "0x0f7e00a5c06157f98d29e854e510d9358156c97e569df82e9cdea038f7586ece"
+x = "0x1e4302fd93271d4c0b112d26c409ac3dd469a077ebf6e803b6b5090ddd7ce2c9"
+y = "0x17282e7a07f5a5d8422bd3b52b99a3cca771378dcd09e7f15dd9237ab5d40b4e"
 is_infinite = false
 
 [private_call.public_keys.tpk_m.inner]
-x = "0x037b61522cf6feb37f305560a83ac94d6139c668aa64bb014c1debc99a686f73"
-y = "0x2178d58b36ec5624ea8d284d10f49e162effeff35fc1dcdf84a6b429019423f5"
+x = "0x1fd615d3d0bb687e06c847e826a0ca9a8de440aed209317d184b623705454e27"
+y = "0x1996dfa29a2665692761c7bc61af694ecef5bb43cbc98c11c303b9c4b5952a77"
 is_infinite = false
 
   [private_call.salted_initialization_hash]
-  inner = "0x0edb84e4d1c9a35662cfc40ab28a4088bd8dc78afb2d43e06f9306a6ce059c68"
+  inner = "0x1c01f5c1ca50bee25ec06e57d086d09dcf9bdefcc6e74026182756cbe3c8ec4c"
 
 [app_public_inputs]
-args_hash = "0x086312177b724df7468df37f7ae09f85abfef6b6125c5a9a370e67fe70846184"
+args_hash = "0x12c676d5f4440750e22bd5cb2bd80e389ed616ebd9e100b283d3b9002e8981a5"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000001"
 end_side_effect_counter = "0x000000000000000000000000000000000000000000000000000000000000000d"
@@ -240,13 +240,13 @@ _value = "0x0000000000000000000000000000000000000000000000000000000000000000"
     inner = "0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000"
 
     [app_public_inputs.call_context.contract_address]
-    inner = "0x1a5fa7ce05b311a856eb526af7a3adf75dd3932d4a675f335d0bfe3f55dd5bdf"
+    inner = "0x111914eadfa81022a42e019b6cf3df64d98685d3c137a16079d0742132432bb0"
 
     [app_public_inputs.call_context.function_selector]
     inner = "0x0000000000000000000000000000000000000000000000000000000027e740b2"
 
   [[app_public_inputs.note_hash_read_requests]]
-  value = "0x2f2b2b604344c9df6ad0bb97335e0547bb4a7974a457d47e65b860dd1bedf6d3"
+  value = "0x192fc794d248ee77e9479e369945d717953f97b44be988ed3494a9bbf7b8b906"
   counter = "0x0000000000000000000000000000000000000000000000000000000000000002"
 
   [[app_public_inputs.note_hash_read_requests]]
@@ -694,7 +694,7 @@ _value = "0x0000000000000000000000000000000000000000000000000000000000000000"
   note_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 
   [[app_public_inputs.private_call_requests]]
-  args_hash = "0x15f52ecfc3bfbc88fcff7ebc7ee3a281f9ee1a3135bfd01a39738e8340396bea"
+  args_hash = "0x0c5f55cb39e70821fb4293623b2a2e6bd93328079d89b2a3ca30c0ecb0b8ca8f"
   returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
   start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000003"
   end_side_effect_counter = "0x000000000000000000000000000000000000000000000000000000000000000c"
@@ -703,10 +703,10 @@ _value = "0x0000000000000000000000000000000000000000000000000000000000000000"
     is_static_call = false
 
       [app_public_inputs.private_call_requests.call_context.msg_sender]
-      inner = "0x1a5fa7ce05b311a856eb526af7a3adf75dd3932d4a675f335d0bfe3f55dd5bdf"
+      inner = "0x111914eadfa81022a42e019b6cf3df64d98685d3c137a16079d0742132432bb0"
 
       [app_public_inputs.private_call_requests.call_context.contract_address]
-      inner = "0x1259d8661252c2cda5e39d44bd529b4e5a73137e182f7aefa67a5c5e1bd92537"
+      inner = "0x0a6785e6919ab0ba6d52a2f5a21ec7b12547d20086cba00612fdfca447797845"
 
       [app_public_inputs.private_call_requests.call_context.function_selector]
       inner = "0x000000000000000000000000000000000000000000000000000000009462d279"
@@ -1488,51 +1488,51 @@ _value = "0x0000000000000000000000000000000000000000000000000000000000000000"
   length = "0x0000000000000000000000000000000000000000000000000000000000000000"
 
   [app_public_inputs.historical_header]
-  total_fees = "0x0000000000000000000000000000000000000000000000000011782e30d36c6e"
+  total_fees = "0x00000000000000000000000000000000000000000000000000117815f5ec0920"
   total_mana_used = "0x00000000000000000000000000000000000000000000000000000000000162af"
 
     [app_public_inputs.historical_header.last_archive]
-    root = "0x048f9a09db59ae6ca4e2b851155137685bfafd9923370f2de6c4be7b9cf5e49f"
-    next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000008"
+    root = "0x01efdcbcbea2494f71ea74a5d0d0ba5455129c180cec155418ee104e6d22b2fc"
+    next_available_leaf_index = "0x000000000000000000000000000000000000000000000000000000000000000b"
 
     [app_public_inputs.historical_header.content_commitment]
     num_txs = "0x0000000000000000000000000000000000000000000000000000000000000002"
-    txs_effects_hash = "0x001d78eca986c1ae7c04b9c8da5e3b6d81d558076bc9b699b8a6b7f4d69ef0a0"
+    txs_effects_hash = "0x0083d384a3cfda20bd82135bd2425bf2ebe42d7804a3af17326471003ba9a878"
     in_hash = "0x00089a9d421a82c4a25f7acbebe69e638d5b064fa8a60e018793dcb0be53752c"
     out_hash = "0x00f5a5fd42d16a20302798ef6ed309979b43003d2320d9f0e8ea9831a92759fb"
 
 [app_public_inputs.historical_header.state.l1_to_l2_message_tree]
 root = "0x2e33ee2008411c04b99c24b313513d097a0d21a5040b6193d1f978b8226892d6"
-next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000080"
+next_available_leaf_index = "0x00000000000000000000000000000000000000000000000000000000000000b0"
 
 [app_public_inputs.historical_header.state.partial.note_hash_tree]
-root = "0x01e35f12a1539f5c06056a6a29539d447ce6a0f5b55d8c16fbc42f189ae2bbbb"
-next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000400"
+root = "0x2580c4cf35070b1a6513d8356c751ba43b73343ea9bbd82ec54b7c280c60ebb0"
+next_available_leaf_index = "0x00000000000000000000000000000000000000000000000000000000000005c0"
 
 [app_public_inputs.historical_header.state.partial.nullifier_tree]
-root = "0x007f0ff4d37c6cd323f5d01501b6c85a357f19ba25fecb6c13f28a1aacc69809"
-next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000480"
+root = "0x2a4f5b262c0ffc9abafb84971d0ab3756cf2b1ff7e43e8c5d4b2efdc6e38681c"
+next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000640"
 
 [app_public_inputs.historical_header.state.partial.public_data_tree]
-root = "0x11c60434f478c2aef10db3d9391c57f1af8f2650d9cb187c61cc28f8101b7ac5"
+root = "0x00e2f085ab9775583a0dadea698c9177e9c5772190570bab385df4863c3e461a"
 next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000097"
 
     [app_public_inputs.historical_header.global_variables]
     chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
     version = "0x0000000000000000000000000000000000000000000000000000000000000001"
-    block_number = "0x0000000000000000000000000000000000000000000000000000000000000008"
-    slot_number = "0x0000000000000000000000000000000000000000000000000000000000000014"
-    timestamp = "0x00000000000000000000000000000000000000000000000000000000675ae45f"
+    block_number = "0x000000000000000000000000000000000000000000000000000000000000000b"
+    slot_number = "0x0000000000000000000000000000000000000000000000000000000000000025"
+    timestamp = "0x00000000000000000000000000000000000000000000000000000000675b06ca"
 
       [app_public_inputs.historical_header.global_variables.coinbase]
-      inner = "0x000000000000000000000000998e3e3ed2b89b8ecb5f4105860cec4e01b638bd"
+      inner = "0x000000000000000000000000dde7ef1ed87eb5cbb0562efd27c3ad9eda8c800a"
 
       [app_public_inputs.historical_header.global_variables.fee_recipient]
       inner = "0x0000000000000000000000000000000000000000000000000000000000000000"
 
       [app_public_inputs.historical_header.global_variables.gas_fees]
       fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
-      fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000c9be2cdf2"
+      fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000c9bd150e0"
 
   [app_public_inputs.tx_context]
   chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
@@ -1548,4 +1548,4 @@ l2_gas = "0x00000000000000000000000000000000000000000000000000000000005b8d80"
 
 [app_public_inputs.tx_context.gas_settings.max_fees_per_gas]
 fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
-fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000c9bd2e5e0"
+fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000c9bd150e0"