Add snapshot test of privacy bootloader program hash

Cargo.toml

@@ -42,6 +42,7 @@ tracing = "0.1.40"
 tracing-subscriber = { version = "0.3", features = ["env-filter"] }
 mockall = "0.13.1"
 rstest = "0.21"
+expect-test = "1.4"
 
 # cairo-vm
 cairo-vm = { version = "=3.2.0", features = [

crates/privacy_circuit_verify/src/consts.rs

@@ -23,14 +23,8 @@ pub const MAX_CAIRO_PROOF_UNCOMPRESSED_BYTES: usize =
 pub const MAX_RECURSIVE_PROOF_UNCOMPRESSED_BYTES: usize =
     RECURSIVE_PROOF_UNCOMPRESSED_BYTES * PROOF_MAX_DECOMPRESSED_RATIO;
 
-// Source code for this compiled privacy bootloader can be found at:
-// repo: https://github.com/starkware-industries/starkware
-// branch: "dev"
-// commit: "4d1ae5848dd49802ddd620601d2d1bb303d15c66"
-// md5sum: "0494f41365e482142d04b58bd64aa5fe"
-// Compiled by command:
-// `bazel build --config=rbe
-// //src/starkware/cairo/bootloaders/simple_bootloader:privacy_simple_bootloader_program`
+// See comment in privacy_prove::tests::test_privacy_bootloader_program_hash_snapshot for more
+// details on how this file was compiled.
 pub const PRIVACY_BOOTLOADER_JSON: &[u8] = include_bytes!(
     "../../cairo-program-runner-lib/resources/compiled_programs/bootloaders/privacy_simple_bootloader_compiled.json"
 );

crates/privacy_prove/Cargo.toml

@@ -56,6 +56,7 @@ stwo = { git = "https://github.com/starkware-libs/stwo", rev = "489a0f3e", featu
 
 [dev-dependencies]
 ctor.workspace = true
+expect-test.workspace = true
 mockall.workspace = true
 rstest.workspace = true
 tracing-subscriber.workspace = true

crates/privacy_prove/src/tests.rs

@@ -1,3 +1,28 @@
+#[test]
+fn test_privacy_bootloader_program_hash_snapshot() {
+    use cairo_program_runner_lib::compute_program_hash_chain;
+    use cairo_program_runner_lib::types::HashFunc;
+    use expect_test::expect;
+    use privacy_circuit_verify::get_privacy_bootloader_program;
+
+    let bootloader_program = get_privacy_bootloader_program().unwrap();
+    let stripped_program = bootloader_program.get_stripped_program().unwrap();
+    let program_hash = compute_program_hash_chain(&stripped_program, 0, HashFunc::Blake)
+        .expect("Failed to compute program hash.");
+
+    // Source code for this compiled privacy bootloader can be found at:
+    // repo: https://github.com/starkware-industries/starkware
+    // branch: "dev"
+    // commit: "4d1ae5848dd49802ddd620601d2d1bb303d15c66"
+    // md5sum: "0494f41365e482142d04b58bd64aa5fe"
+    // Compiled by command:
+    // `bazel build --config=rbe
+    // //src/starkware/cairo/bootloaders/simple_bootloader:privacy_simple_bootloader_program`
+    let expected_hash_str =
+        expect!["1750040183559192178681351064048820676105364457180846249135562594342068277738"];
+    expected_hash_str.assert_eq(&program_hash.to_string());
+}
+
 #[cfg(feature = "slow-tests")]
 pub mod slow_tests {
     use std::path::PathBuf;