Struct proof::Proof

pub struct Proof<T: MerkleTreeOverlay> { /* fields omitted */ }

A Proof is generated from a SerializedProof and can manipulate / verify data in the merkle tree.

Methods

impl<T: MerkleTreeOverlay> Proof<T>

pub fn new(proof: SerializedProof) -> Self

Initialize Proof directly from a SerializedProof.

pub fn load(&mut self, proof: SerializedProof) -> Result<(), Error>

Populate the struct's cache with a SerializedProof.

pub fn extract(&self, path: Vec<Path>) -> Result<SerializedProof, Error>

Generates a SerializedProof proving that path is a part of the current merkle tree.

pub fn get_bytes(&self, path: Vec<Path>) -> Result<Vec<u8>, Error>

Returns the bytes representation of the object associated with path

pub fn set_bytes(
    &mut self,
    path: Vec<Path>,
    bytes: Vec<u8>
) -> Result<(), Error>

Replaces the bytes at path with bytes.

pub fn is_valid(&self, root: Vec<u8>) -> bool

Determines if the current merkle tree is valid.

pub fn fill(&mut self) -> Result<(), Error>

Inserts missing nodes into the merkle tree that can be generated from existing nodes.

pub fn root(&self) -> Option<&Vec<u8>>

Returns the root node of the proof if it has been calculated.

pub fn refresh(&mut self) -> Result<(), Error>

Recalculates all intermediate nodes and root using the available leaves.

Trait Implementations

impl<T: Clone + MerkleTreeOverlay> Clone for Proof<T>

fn clone(&self) -> Proof<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Default + MerkleTreeOverlay> Default for Proof<T>

fn default() -> Proof<T>

Returns the "default value" for a type.

impl<T: PartialEq + MerkleTreeOverlay> PartialEq<Proof<T>> for Proof<T>

fn eq(&self, other: &Proof<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Proof<T>) -> bool

This method tests for !=.

impl<T: Debug + MerkleTreeOverlay> Debug for Proof<T>

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

Formats the value using the given formatter.