Skip to content

Commit 9bc3086

Browse files
committed
fix valid prev kernel test
1 parent 755b955 commit 9bc3086

1 file changed

Lines changed: 13 additions & 2 deletions

File tree

  • noir-projects/noir-protocol-circuits/crates/protocol-test-utils/src/fixtures

noir-projects/noir-protocol-circuits/crates/protocol-test-utils/src/fixtures/vk_tree.nr

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,10 @@ use crate::utils::pad_end;
22
use types::{
33
constants::{
44
HIDING_KERNEL_TO_PUBLIC_VK_INDEX, MEGA_VK_LENGTH_IN_FIELDS, PARITY_BASE_VK_INDEX,
5-
PARITY_ROOT_VK_INDEX, PRIVATE_KERNEL_RESET_VK_INDEX, ROOT_ROLLUP_VK_INDEX,
6-
ULTRA_VK_LENGTH_IN_FIELDS, VK_TREE_HEIGHT,
5+
PARITY_ROOT_VK_INDEX, PRIVATE_KERNEL_INIT_2_VK_INDEX, PRIVATE_KERNEL_INIT_3_VK_INDEX,
6+
PRIVATE_KERNEL_INNER_2_VK_INDEX, PRIVATE_KERNEL_INNER_3_VK_INDEX,
7+
PRIVATE_KERNEL_RESET_VK_INDEX, ROOT_ROLLUP_VK_INDEX, ULTRA_VK_LENGTH_IN_FIELDS,
8+
VK_TREE_HEIGHT,
79
},
810
merkle_tree::merkle_tree::MerkleTree,
911
proof::{verification_key::VerificationKey, vk_data::VkData},
@@ -45,6 +47,15 @@ pub global VK_MERKLE_TREE: MerkleTree<VK_TREE_WIDTH> = {
4547
for i in PRIVATE_KERNEL_RESET_VK_INDEX..PRIVATE_KERNEL_RESET_VK_INDEX + 4 {
4648
leaves[i] = generate_fake_chonk_vk_for_index(i).hash;
4749
}
50+
// Multi-app init / inner variants live at indices >= PRIVATE_KERNEL_INIT_3_VK_INDEX.
51+
leaves[PRIVATE_KERNEL_INIT_3_VK_INDEX] =
52+
generate_fake_chonk_vk_for_index(PRIVATE_KERNEL_INIT_3_VK_INDEX).hash;
53+
leaves[PRIVATE_KERNEL_INIT_2_VK_INDEX] =
54+
generate_fake_chonk_vk_for_index(PRIVATE_KERNEL_INIT_2_VK_INDEX).hash;
55+
leaves[PRIVATE_KERNEL_INNER_2_VK_INDEX] =
56+
generate_fake_chonk_vk_for_index(PRIVATE_KERNEL_INNER_2_VK_INDEX).hash;
57+
leaves[PRIVATE_KERNEL_INNER_3_VK_INDEX] =
58+
generate_fake_chonk_vk_for_index(PRIVATE_KERNEL_INNER_3_VK_INDEX).hash;
4859

4960
// Rollup Honk
5061
for i in HIDING_KERNEL_TO_PUBLIC_VK_INDEX + 1..PRIVATE_KERNEL_RESET_VK_INDEX {

0 commit comments

Comments
 (0)