chore(ci): ensure that prover.toml files in protocol circuits are in sync

noir-projects/Earthfile

@@ -10,6 +10,12 @@ test-protocol-circuits:
   # TODO(#10754): Remove --skip-brillig-constraints-check
   RUN cd /usr/src/noir-projects/noir-protocol-circuits && nargo test --silence-warnings --skip-brillig-constraints-check
 
+  # Also execute circuits to ensure that `Prover.toml` files are in sync.
+  LET circuits = "private-kernel-inner private-kernel-tail private-kernel-reset rollup-root rollup-block-root rollup-block-merge rollup-base-private rollup-base-public"
+  FOR circuit IN $circuits
+      RUN cd /usr/src/noir-projects/noir-protocol-circuits/crates/$circuit && nargo execute --silence-warnings --skip-brillig-constraints-check
+  END
+
 test-aztec-nr:
   FROM ../+bootstrap
   ENV PATH="/usr/src/noir/noir-repo/target/release:${PATH}"
@@ -69,4 +75,4 @@ public-functions-report:
 
   RUN cd noir-contracts && node ./scripts/publicFunctionsSizeReport.js ./target/
 
-  SAVE ARTIFACT ./noir-contracts/public_functions_report.json public_functions_report.json
+  SAVE ARTIFACT ./noir-contracts/public_functions_report.json public_functions_report.json

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

@@ -3,4 +3,4 @@ target
 crates/autogenerated
 /Nargo.toml
 /private_kernel_reset_dimensions.json
-install-state.gz
+install-state.gz