diff --git a/crates/apollo_transaction_converter/resources/example_proof_facts.json b/crates/apollo_transaction_converter/resources/example_proof_facts.json index fdfd362386c..0b8c1d6f736 100644 --- a/crates/apollo_transaction_converter/resources/example_proof_facts.json +++ b/crates/apollo_transaction_converter/resources/example_proof_facts.json @@ -1,5 +1,5 @@ [ - "0x50524f4f4630", + "0x50524f4f4631", "0x5649525455414c5f534e4f53", "0x602b02cff498684fae3d66016137978fdad45a5036878a57257689d4f3f6ccb", "0x6904e06f4a70738eac413125c14e1afe9fc30b4771ec076e76f08f40ed158d1", diff --git a/crates/starknet_proof_verifier/resources/regression_test/0.14.3/example_proof.bin b/crates/starknet_proof_verifier/resources/regression_test/0.14.3/example_proof.bin new file mode 100644 index 00000000000..f4603197a9a Binary files /dev/null and b/crates/starknet_proof_verifier/resources/regression_test/0.14.3/example_proof.bin differ diff --git a/crates/starknet_proof_verifier/resources/regression_test/0.14.3/example_proof_facts.json b/crates/starknet_proof_verifier/resources/regression_test/0.14.3/example_proof_facts.json new file mode 100644 index 00000000000..0b8c1d6f736 --- /dev/null +++ b/crates/starknet_proof_verifier/resources/regression_test/0.14.3/example_proof_facts.json @@ -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" +] \ No newline at end of file diff --git a/crates/starknet_proof_verifier/src/proof_verifier_test.rs b/crates/starknet_proof_verifier/src/proof_verifier_test.rs index aee4dd82323..a0368a4eb3e 100644 --- a/crates/starknet_proof_verifier/src/proof_verifier_test.rs +++ b/crates/starknet_proof_verifier/src/proof_verifier_test.rs @@ -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"));