Struct storage_proofs::drgporep::DataProof

pub struct DataProof<H: Hasher> {
    pub proof: MerkleProof<H>,
    pub data: H::Domain,
}

Fields

proof: MerkleProof<H>

data: H::Domain

Methods

impl<H: Hasher> DataProof<H>

pub fn new(n: usize) -> Self

pub fn serialize(&self) -> Vec<u8>

pub fn proves_challenge(&self, challenge: usize) -> bool

proves_challenge returns true if this self.proof corresponds to challenge. This is useful for verifying that a supplied proof is actually relevant to a given challenge.

Trait Implementations

impl<H: Clone + Hasher> Clone for DataProof<H> where
    H::Domain: Clone, 

fn clone(&self) -> DataProof<H>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<H: Debug + Hasher> Debug for DataProof<H> where
    H::Domain: Debug, 

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

Formats the value using the given formatter.

impl<H: Hasher> Serialize for DataProof<H> where
    MerkleProof<H>: Serialize,
    H::Domain: Serialize, 

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

Serialize this value into the given Serde serializer.

impl<'de, H: Hasher> Deserialize<'de> for DataProof<H> where
    MerkleProof<H>: Deserialize<'de>,
    H::Domain: Deserialize<'de>, 

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

Deserialize this value from the given Serde deserializer.