aztec-nr - noir_aztec::protocol::abis::private_kernel_data

Struct PrivateKernelData

pub struct PrivateKernelData {
    pub public_inputs: PrivateKernelCircuitPublicInputs,
    pub vk_data: VkData<127>,
}

Fields

vk_data: VkData<127>

Implementations

impl PrivateKernelData

pub fn validate_vk_in_vk_tree<let N: u32>(self, allowed_indices: [u32; N])

Validates that the vk hash exists in the vk tree at the expected index. Note: There's a similar function in vk_data.nr. This function is slightly different but necessary, because it lets us set only PRIVATE_KERNEL_RESET_VK_INDEX in the allowed_indices to allow all the reset circuits.

pub fn verify(self, is_last_kernel: bool)