Struct storage_proofs_post::rational::Proof

pub struct Proof<P: MerkleProofTrait> {
    pub comm_cs: Vec<<P::Hasher as Hasher>::Domain>,
    // some fields omitted
}

Fields

comm_cs: Vec<<P::Hasher as Hasher>::Domain>

Implementations

impl<P: MerkleProofTrait> Proof<P>

pub fn leafs(&self) -> Vec<<P::Hasher as Hasher>::Domain>

pub fn commitments(&self) -> Vec<<P::Hasher as Hasher>::Domain>

pub fn paths(&self) -> Vec<Vec<(Vec<<P::Hasher as Hasher>::Domain>, usize)>>

Trait Implementations

impl<P: Clone + MerkleProofTrait> Clone for Proof<P> where
    P::Hasher: Clone,
    P::Arity: Clone,
    P::SubTreeArity: Clone,
    P::TopTreeArity: Clone,
    P::Hasher: Clone, 

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P: Debug + MerkleProofTrait> Debug for Proof<P> where
    P::Hasher: Debug,
    P::Arity: Debug,
    P::SubTreeArity: Debug,
    P::TopTreeArity: Debug,
    P::Hasher: Debug, 

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

Formats the value using the given formatter.

impl<'de, P: MerkleProofTrait> Deserialize<'de> for Proof<P> where
    MerkleProof<P::Hasher, P::Arity, P::SubTreeArity, P::TopTreeArity>: DeserializeOwned, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<P: MerkleProofTrait> Serialize for Proof<P> where
    MerkleProof<P::Hasher, P::Arity, P::SubTreeArity, P::TopTreeArity>: Serialize, 

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

Serialize this value into the given Serde serializer.