starknet_proof_verifier: add v0.14.3 regression case for PROOF_VERSION_V1 fixture

Author: Yoni-Starkware

crates/apollo_transaction_converter/resources/example_proof_facts.json

@@ -1,5 +1,5 @@
 [
-  "0x50524f4f4630",
+  "0x50524f4f4631",
   "0x5649525455414c5f534e4f53",
   "0x602b02cff498684fae3d66016137978fdad45a5036878a57257689d4f3f6ccb",
   "0x6904e06f4a70738eac413125c14e1afe9fc30b4771ec076e76f08f40ed158d1",

crates/starknet_proof_verifier/resources/regression_test/0.14.3/example_proof.bin

@@ -0,0 +1,35 @@
+[
+  "0x50524f4f4631",
+  "0x5649525455414c5f534e4f53",
+  "0x602b02cff498684fae3d66016137978fdad45a5036878a57257689d4f3f6ccb",
+  "0x6904e06f4a70738eac413125c14e1afe9fc30b4771ec076e76f08f40ed158d1",
+  "0x2d3aa15f313d3259539b38a504a84890bd0684d66af2e2fe756f09a0c5cef62",
+  "0x7d1",
+  "0x7d2",
+  "0x7db",
+  "0x7dc",
+  "0x0",
+  "0x49bc6572fc59c0a1fd2f2c1b3efa02796881a3b03c8e08cfecfd89280430bad",
+  "0x0",
+  "0x0",
+  "0x0",
+  "0x0",
+  "0x1600019000000000100000000010000b0003c00000",
+  "0x134fdaec476f405723ca1cc6ac1ed3f7f8845bf6ba12d7ec0d68de8854f6fec",
+  "0x3d44c724c88b2cb84f9f491e0e6e8e6cc43f32b3e415bfc988a10a34e052435",
+  "0x47ae4ed7ec622bf3471fc7dc32901b4212c7f98b2b7163bd3f03d1e7b1068a6",
+  "0x4deb273f09787bff3a99f983731096f53f32d4287c259891f3c983d5be6f8e6",
+  "0x531261402adc6d868b7ec41eb9cd66530a10f1d9bb0321ff00133af184180e5",
+  "0x61e86d6e03684b5780e8b8adccaabcb29838c000dbb2ea6f66bb6549a36f20d",
+  "0x6717cea406acc7d622e3049e52d8871125cad9e3451884584048b9f848dd553",
+  "0x6862849f2ffe07a6e2eec5bd208ee6ada8fc33f201e70dd0a9d3b4ee16a52f3",
+  "0x723973208639b7839ce298f7ffea61e3f9533872defd7abdb91023db4658812",
+  "0x782f9941b3e17178414539d11c095b5510546dfe5b0a88c545a3ddc81aad90a",
+  "0x79c796a8784dd9ef8c076a759b6721ac16f90c1acdbfacef322a60c2506fbeb",
+  "0x1ed09bead87c03765be80862e90f0",
+  "0x27cfe379d14800",
+  "0x12602480488090011e02380468098000000c800107d20f9000180008004",
+  "0x3002011802241f4008b012e025804a8094",
+  "0x608b54778fdf35fdb480b6d591443",
+  "0x1537eb833fc9c1c52c8b5e4989ccc67abb00c091e37"
+]

crates/starknet_proof_verifier/resources/regression_test/0.14.3/example_proof_facts.json

@@ -48,6 +48,7 @@ fn roundtrip_program_output_to_proof_facts_and_back() {
 /// 3. Add a new `#[case("{version}")]` below.
 #[rstest]
 #[case("0.14.2")]
+#[case("0.14.3")]
 fn regression_verify_proof_from_old_prover(#[case] starknet_version: &str) {
     let proof_path =
         path_in_resources(format!("regression_test/{starknet_version}/example_proof.bin"));