From 381eb3e5b0f37bb07ad4f53cb0972fd9bf382fd4 Mon Sep 17 00:00:00 2001 From: guorong009 Date: Fri, 18 Oct 2024 22:57:20 +0800 Subject: [PATCH] chore: update test vectors --- halo2_proofs/tests/compress_selectors.rs | 4 ++-- halo2_proofs/tests/frontend_backend_split.rs | 4 ++-- halo2_proofs/tests/plonk_api.rs | 4 ++-- halo2_proofs/tests/serialization.rs | 2 +- halo2_proofs/tests/shuffle.rs | 2 +- halo2_proofs/tests/shuffle_api.rs | 2 +- halo2_proofs/tests/vector-ops-unblinded.rs | 4 ++-- 7 files changed, 11 insertions(+), 11 deletions(-) diff --git a/halo2_proofs/tests/compress_selectors.rs b/halo2_proofs/tests/compress_selectors.rs index 1808c7969..246b69d0d 100644 --- a/halo2_proofs/tests/compress_selectors.rs +++ b/halo2_proofs/tests/compress_selectors.rs @@ -494,13 +494,13 @@ fn test_key_compression() -> Result<(), halo2_proofs::plonk::Error> { // vk & pk keygen both WITH compression test_result( || test_mycircuit(true, true).expect("should pass"), - "acae50508de5ead584170dd83b139daf40e1026b6debbb78eb05d515173fc2dd", + "44130c6388df3d99263be8da4a280b426dc05f1f315d35d3827347761534bf08", ); // vk & pk keygen both WITHOUT compression test_result( || test_mycircuit(false, false).expect("should pass"), - "f9c99bd341705ac6a13724a526dd28df0bac1c745e0cde40ab39cab3e1b95309", + "9f58d7a0088fa2c614e8d67bd238f61bc160300e72f5ffd5d52485ed5fb06752", ); Ok(()) diff --git a/halo2_proofs/tests/frontend_backend_split.rs b/halo2_proofs/tests/frontend_backend_split.rs index cd8004e0b..c5c90c152 100644 --- a/halo2_proofs/tests/frontend_backend_split.rs +++ b/halo2_proofs/tests/frontend_backend_split.rs @@ -545,7 +545,7 @@ fn test_mycircuit_full_legacy() { proof }, - "78aadfd46b5cc58b90d832ee47e4df57af3dfc28d1457c4ceeb5d0323a72f130", + "44a4bca99aec990b2f382d9c2e1dcc8d8e254d49c2e47cab7556918105346474", ); } @@ -626,6 +626,6 @@ fn test_mycircuit_full_split() { proof }, - "78aadfd46b5cc58b90d832ee47e4df57af3dfc28d1457c4ceeb5d0323a72f130", + "44a4bca99aec990b2f382d9c2e1dcc8d8e254d49c2e47cab7556918105346474", ); } diff --git a/halo2_proofs/tests/plonk_api.rs b/halo2_proofs/tests/plonk_api.rs index 931256935..0b8264a85 100644 --- a/halo2_proofs/tests/plonk_api.rs +++ b/halo2_proofs/tests/plonk_api.rs @@ -602,7 +602,7 @@ fn plonk_api() { proof }, - "f87ba1010dede5a2148ed94403ca12a566d3154ebb12ccb6c20a330e9b280af8", + "da790e980ea5a871e7b713f781fb7d6905a321d25427dc54b3accac2aa0d8860", ); } @@ -639,7 +639,7 @@ fn plonk_api() { proof }, - "0fc67d890faef0ef8ea7ef680cc566b2ab7dabef12fcceb74d3655a0fb08c708", + "88c7197240d5a8db1b51d82e7a2a6d49e8593d64aed624e2a72c2b75fbac0357", ); } diff --git a/halo2_proofs/tests/serialization.rs b/halo2_proofs/tests/serialization.rs index 1a6308597..1201761dc 100644 --- a/halo2_proofs/tests/serialization.rs +++ b/halo2_proofs/tests/serialization.rs @@ -219,6 +219,6 @@ fn test_serialization() { proof }, - "b51ea51140e9fbd1f0c665c788bab9e4b3e648ac674b6d07a24ca0844f0962ad", + "0be5dca07d18b9ad4ccfbf27fc58a7359d1909e5f762cf5df07ce02d0ab96f94", ); } diff --git a/halo2_proofs/tests/shuffle.rs b/halo2_proofs/tests/shuffle.rs index cbdb01c2e..5c8fe9fc1 100644 --- a/halo2_proofs/tests/shuffle.rs +++ b/halo2_proofs/tests/shuffle.rs @@ -327,7 +327,7 @@ fn test_shuffle() { halo2_debug::test_result( || test_prover::(K, circuit.clone(), true), - "8526b66a372eaeccb687c21daf358d4fdb1c9d2b7e81470317c472634c5c1470", + "08d9c3129b4e2f6dd63cfc2cc23577fb7a39d5f8b333e3fb4e1eb2b223059338", ); #[cfg(not(feature = "sanity-checks"))] diff --git a/halo2_proofs/tests/shuffle_api.rs b/halo2_proofs/tests/shuffle_api.rs index e22fb68e2..1791790b2 100644 --- a/halo2_proofs/tests/shuffle_api.rs +++ b/halo2_proofs/tests/shuffle_api.rs @@ -214,6 +214,6 @@ fn test_shuffle_api() { prover.assert_satisfied(); test_prover::(K, circuit, true) }, - "54f4fec1776178aadf8816754d7877f1de685e0ffb5b6af4db20f557d87550d6", + "bf0868d8eb50e3ea00aee981070b8ebf551f24b24792f6157048f605e4c8cf12", ); } diff --git a/halo2_proofs/tests/vector-ops-unblinded.rs b/halo2_proofs/tests/vector-ops-unblinded.rs index 19e90fd4e..38461a192 100644 --- a/halo2_proofs/tests/vector-ops-unblinded.rs +++ b/halo2_proofs/tests/vector-ops-unblinded.rs @@ -545,13 +545,13 @@ fn test_vector_ops_unbinded() { // the commitments will be the first columns of the proof transcript so we can compare them easily let proof_1 = halo2_debug::test_result( || test_prover::(k, mul_circuit.clone(), true, c_mul.clone()), - "1f726eaddd926057e6c2aa8a364d1b4192da27f53c38c9f21d8924ef3eb0f0ab", + "8fb24ffebec78e9667e9f9eab6b4b8974d95b5db9023ef78788a08b3daf4b138", ); // the commitments will be the first columns of the proof transcript so we can compare them easily let proof_2 = halo2_debug::test_result( || test_prover::(k, add_circuit.clone(), true, c_add.clone()), - "a42eb2f3e4761e6588bfd8db7e7035ead1cc1331017b6b09a7b75ddfbefefc58", + "ded7a6e1f2463fc1bc40311d409af170d57b3e32fe8d60f53403043ae718f4f9", ); // the commitments will be the first columns of the proof transcript so we can compare them easily