Struct InsertProof

pub struct InsertProof {
    pub non_membership_proof: NonMembershipProof,
    pub first_proof: UpdateProof,
    pub second_proof: UpdateProof,
}

Fields

non_membership_proof: NonMembershipProof

first_proof: UpdateProof

second_proof: UpdateProof

Implementations

impl InsertProof

pub fn verify(&self) -> bool

Verifies the proofs associated with a node insertion in the indexed Merkle Tree.

This function confirms the non-membership of the node before insertion, and then verifies the two update proofs representing the tree’s state changes due to the insertion. Essential for validating insert operations in the tree.

Returns

true if all proofs are valid, false otherwise.

Trait Implementations

impl Clone for InsertProof

fn clone(&self) -> InsertProof

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InsertProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InsertProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for InsertProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.