apollo_integration_tests: test to verify proof flow fixtures

Author: einat-starkware

Cargo.lock

@@ -94,6 +94,7 @@ futures.workspace = true
 metrics.workspace = true
 mockall.workspace = true
 rstest.workspace = true
+starknet_proof_verifier.workspace = true
 
 [[bin]]
 name = "integration_test_proof_flow"

crates/apollo_integration_tests/Cargo.toml

@@ -232,14 +232,14 @@ impl TestScenario for DeployAndInvokeTxs {
     }
 }
 
-fn load_proof_flow_proof_facts() -> ProofFacts {
+pub fn load_proof_flow_proof_facts() -> ProofFacts {
     let path = concat!(env!("CARGO_MANIFEST_DIR"), "/resources/proof_flow/proof_facts.json");
     let json = std::fs::read_to_string(path)
         .expect("Failed to read proof_facts.json — run the fixture generator first");
     serde_json::from_str(&json).expect("Failed to parse proof_facts.json")
 }
 
-fn load_proof_flow_proof() -> Proof {
+pub fn load_proof_flow_proof() -> Proof {
     let path = concat!(env!("CARGO_MANIFEST_DIR"), "/resources/proof_flow/proof.bin");
     let bytes =
         std::fs::read(path).expect("Failed to read proof.bin — run the fixture generator first");

crates/apollo_integration_tests/src/utils.rs

@@ -0,0 +1,14 @@
+use apollo_integration_tests::utils::{load_proof_flow_proof, load_proof_flow_proof_facts};
+use starknet_proof_verifier::verify_proof;
+
+#[test]
+fn proof_flow_fixtures_verify() {
+    let proof_facts = load_proof_flow_proof_facts();
+    let proof = load_proof_flow_proof();
+    if let Err(err) = verify_proof(proof_facts, proof) {
+        panic!(
+            "Proof verification of the proof fixtures failed. The fixtures are corrupted or \
+             stale. Rerun `./scripts/generate_proof_flow_fixtures.sh`. Underlying error: {err}"
+        );
+    }
+}