Struct storage_proofs::vdf_post::Proof

pub struct Proof<'a, H: Hasher + 'a, V: Vdf<H::Domain>> {
    pub porep_proofs: Vec<<PoRC<'a, H> as ProofScheme<'a>>::Proof>,
    pub vdf_proofs: Vec<V::Proof>,
    pub ys: Vec<H::Domain>,
    pub challenges: Vec<Vec<usize>>,
    pub challenged_sectors: Vec<Vec<usize>>,
    // some fields omitted
}

VDF-PoSt This is one construction of a Proof-of-Spacetime. It currently only supports proving over a single sector.

Fields

porep_proofs: Vec<<PoRC<'a, H> as ProofScheme<'a>>::Proof>

post_iteration online Proof-of-Replication proofs.

vdf_proofs: Vec<V::Proof>

post_epochs - 1 VDF proofs

ys: Vec<H::Domain>

challenges: Vec<Vec<usize>>

challenged_sectors: Vec<Vec<usize>>

Trait Implementations

impl<'a, H: Clone + Hasher + 'a, V: Clone + Vdf<H::Domain>> Clone for Proof<'a, H, V> where
    V::Proof: Clone,
    H::Domain: Clone, 

fn clone(&self) -> Proof<'a, H, V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, H: Debug + Hasher + 'a, V: Debug + Vdf<H::Domain>> Debug for Proof<'a, H, V> where
    V::Proof: Debug,
    H::Domain: Debug, 

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

Formats the value using the given formatter.

impl<'a, H: Hasher + 'a, V: Vdf<H::Domain>> Serialize for Proof<'a, H, V> where
    V::Proof: Serialize,
    V::Proof: 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, 'a, H: Hasher + 'a, V: Vdf<H::Domain>> Deserialize<'de> for Proof<'a, H, V> where
    V::Proof: Deserialize<'de>,
    V::Proof: 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.