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

Struct PrivateKernelData

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

Fields

public_inputs: PrivateKernelCircuitPublicInputs

vk_data: VkData<151>

Implementations

`impl PrivateKernelData`

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

Validates the vk hash is in the vk tree at an allowed index. Differs from the helper in vk_data.nr: an entry in allowed_indices that is a reset-family base permits every variant of that family.

Reset families occupy contiguous blocks within [PRIVATE_KERNEL_RESET_VK_INDEX, PRIVATE_KERNEL_RESET_BLOCK_END); a variant's leaf index is normalised to its family base.

pub fn verify(self)