Circuit vk updates.

AztecProtocol · Jan 28, 2023 · 62c772e · 62c772e
1 parent 22c8c96
commit 62c772e
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 15 deletions.
diff --git a/cpp/src/aztec/rollup/proofs/account/account.test.cpp b/cpp/src/aztec/rollup/proofs/account/account.test.cpp
@@ -364,9 +364,9 @@ TEST_F(account_tests, test_create_account_full_proof_and_detect_circuit_change)
     EXPECT_TRUE(verify_proof(proof));
 
     // The below part detects change in the account circuit
-    constexpr uint32_t CIRCUIT_GATE_COUNT = 23958;
+    constexpr uint32_t CIRCUIT_GATE_COUNT = 22274;
     constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 32768;
-    const uint256_t VK_HASH("e0a3d137687cf0d8e0fd1975351051a63592ae71dcd7649399a3590fb411cc59");
+    const uint256_t VK_HASH("4f81e04e44d54f86a2d40c89a5879d42afb1ddcfb91e80c60827809e5d532ca7");
 
     size_t number_of_gates_acc = get_number_of_gates();
     auto vk_hash_acc = get_verification_key()->sha256_hash();

diff --git a/cpp/src/aztec/rollup/proofs/claim/claim.test.cpp b/cpp/src/aztec/rollup/proofs/claim/claim.test.cpp
@@ -108,9 +108,9 @@ TEST_F(claim_tests, test_claim_and_detect_circuit_change)
     EXPECT_TRUE(verify_logic(tx, cd).logic_verified);
 
     // The below part detects changes in the claim circuit
-    constexpr uint32_t CIRCUIT_GATE_COUNT = 22684;
+    constexpr uint32_t CIRCUIT_GATE_COUNT = 26163;
     constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 32768;
-    const uint256_t VK_HASH("11b5c8e9d3eb55a0d92e0a7a1b6b2cfc123fd1347a78adb8d487ffb2728516ad");
+    const uint256_t VK_HASH("9788011aa8f8265aebca6a02b470adba181ca044285353d5da1d0757a9851dce");
 
     size_t number_of_gates_claim = get_number_of_gates();
     auto vk_hash_claim = get_verification_key()->sha256_hash();

diff --git a/cpp/src/aztec/rollup/proofs/join_split/join_split.test.cpp b/cpp/src/aztec/rollup/proofs/join_split/join_split.test.cpp
@@ -697,9 +697,9 @@ TEST_F(join_split_tests, test_0_input_notes_and_detect_circuit_change)
     EXPECT_TRUE(result.valid);
 
     // The below part detects any changes in the join-split circuit
-    constexpr uint32_t CIRCUIT_GATE_COUNT = 64000;
+    constexpr uint32_t CIRCUIT_GATE_COUNT = 58454;
     constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 65536;
-    const uint256_t VK_HASH("bb2062d006d31d3234766277711eb28577d5f6082d0f484b87e8235628f8e864");
+    const uint256_t VK_HASH("63697ae686aebd51f15ecda9220111c9725d23c6766363648139bc83ebc15686");
 
     auto number_of_gates_js = result.number_of_gates;
     auto vk_hash_js = get_verification_key()->sha256_hash();

diff --git a/cpp/src/aztec/rollup/proofs/rollup/rollup_circuit_full.test.cpp b/cpp/src/aztec/rollup/proofs/rollup/rollup_circuit_full.test.cpp
@@ -92,9 +92,9 @@ HEAVY_TEST_F(rollup_full_tests, test_1_proof_in_1_rollup_full_proof_and_detect_c
     EXPECT_EQ(inner_data.asset_id, tx_data.asset_id);
 
     // The below part detects the changes in the rollup circuit
-    constexpr uint32_t CIRCUIT_GATE_COUNT = 1153136;
-    constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 2097152;
-    const uint256_t VK_HASH("b6481781e449ba7c4a3bff935cc08421ab9b88527d0a70fa454dd9288dba8c46");
+    constexpr uint32_t CIRCUIT_GATE_COUNT = 916961;
+    constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 1048576;
+    const uint256_t VK_HASH("3e823f9e7afcc79b7577b38928e5ccdbc508547fa36e6323f2207125379a1a03");
 
     auto number_of_gates_rollup = rollup_circuit_data.num_gates;
     auto vk_hash_rollup = rollup_circuit_data.verification_key->sha256_hash();

diff --git a/cpp/src/aztec/rollup/proofs/root_rollup/root_rollup_full.test.cpp b/cpp/src/aztec/rollup/proofs/root_rollup/root_rollup_full.test.cpp
@@ -144,9 +144,9 @@ HEAVY_TEST_F(root_rollup_full_tests, test_root_rollup_3x2_and_detect_circuit_cha
     EXPECT_EQ(inner_data.asset_id, fr(0));
 
     // The below assertions detect changes in the root rollup circuit
-    constexpr uint32_t CIRCUIT_GATE_COUNT = 5424685;
-    constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 8388608;
-    const uint256_t VK_HASH("6f6d58bfe23a31ea15dcc612c6a96d89bf211a192f52386673a0af1ef0fd3745");
+    constexpr uint32_t CIRCUIT_GATE_COUNT = 2066454;
+    constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 2097152;
+    const uint256_t VK_HASH("7caf8fa85564c3a23323db059b0639aecf39cd43cb1d57b04314cd30adf9e5ed");
 
     size_t number_of_gates_root_rollup = result.number_of_gates;
     auto vk_hash_root_rollup = result.verification_key->sha256_hash();

diff --git a/cpp/src/aztec/rollup/proofs/root_verifier/root_verifier_full.test.cpp b/cpp/src/aztec/rollup/proofs/root_verifier/root_verifier_full.test.cpp
@@ -98,9 +98,9 @@ HEAVY_TEST_F(root_verifier_full_tests, good_data_passes_and_detect_circuit_chang
     ASSERT_TRUE(result.verified);
 
     // The below part detects changes in the root verifier circuit
-    constexpr uint32_t CIRCUIT_GATE_COUNT = 7158521;
-    constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 8388608;
-    const uint256_t VK_HASH("8adecb7bd1be689ce8adb46192a9356ad42cb2310b08e55b9cb14708dd2eb85c");
+    constexpr uint32_t CIRCUIT_GATE_COUNT = 9099999;
+    constexpr uint32_t GATES_NEXT_POWER_OF_TWO = 16777216;
+    const uint256_t VK_HASH("27d6eeb0be3007e4326dfab38f6e26b2e13e3efc3ac1ebd3cc32c74858b1dc07");
 
     size_t number_of_gates_root_verifier = result.number_of_gates;
     auto vk_hash_root_verifier = result.verification_key->sha256_hash();