Trait IndexedTreeLeafPreimage

pub trait IndexedTreeLeafPreimage<Value>:
    Empty
    + LeafPreimage
{
    // Required methods
    pub fn get_next_key(self) -> Field
    where
        Self: Empty,
        Self: LeafPreimage
;
    pub fn points_to_infinity(self) -> bool
    where
        Self: Empty,
        Self: LeafPreimage
;
    pub fn update_pointers(self, next_key: Field, next_index: Field) -> Self
    where
        Self: Empty,
        Self: LeafPreimage
;
    pub fn update_value(self, value: Value) -> Self
    where
        Self: Empty,
        Self: LeafPreimage
;
    pub fn build_insertion_leaf(value: Value, low_leaf: Self) -> Self
    where
        Self: Empty,
        Self: LeafPreimage
;
}

Required methods

Implementors

impl IndexedTreeLeafPreimage<Field> for NullifierLeafPreimage

impl IndexedTreeLeafPreimage<PublicDataTreeLeaf> for PublicDataTreeLeafPreimage

impl IndexedTreeLeafPreimage<Field> for TestLeafPreimage