Struct VkData

pub struct VkData<let VK_LENGTH: u32> {
    pub vk: VerificationKey<VK_LENGTH>,
    pub leaf_index: u32,
    pub sibling_path: [Field; 7],
}

Fields

vk: VerificationKey<VK_LENGTH>

leaf_index: u32

sibling_path: [Field; 7]

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

pub fn validate_in_vk_tree(self, vk_tree_root: Field)

pub fn empty() -> Self pub fn is_empty(self) -> bool pub fn assert_empty<let S: u32>(self, msg: str<S>)

pub fn eq(_self: Self, _other: Self) -> bool