Struct storage_proofs_post::fallback::SectorProof [−][src]
pub struct SectorProof<Proof: MerkleProofTrait> { pub inclusion_proofs: Vec<MerkleProof<Proof::Hasher, Proof::Arity, Proof::SubTreeArity, Proof::TopTreeArity>>, pub comm_c: <Proof::Hasher as Hasher>::Domain, pub comm_r_last: <Proof::Hasher as Hasher>::Domain, }
Fields
inclusion_proofs: Vec<MerkleProof<Proof::Hasher, Proof::Arity, Proof::SubTreeArity, Proof::TopTreeArity>>comm_c: <Proof::Hasher as Hasher>::Domaincomm_r_last: <Proof::Hasher as Hasher>::DomainImplementations
impl<P: MerkleProofTrait> SectorProof<P>[src]
impl<P: MerkleProofTrait> SectorProof<P>[src]pub fn leafs(&self) -> Vec<<P::Hasher as Hasher>::Domain>[src]
pub fn comm_r_last(&self) -> <P::Hasher as Hasher>::Domain[src]
pub fn commitments(&self) -> Vec<<P::Hasher as Hasher>::Domain>[src]
pub fn paths(&self) -> Vec<Vec<(Vec<<P::Hasher as Hasher>::Domain>, usize)>>[src]
pub fn as_options(&self) -> Vec<Vec<(Vec<Option<Fr>>, Option<usize>)>>[src]
pub fn inclusion_proofs(
&self
) -> &Vec<MerkleProof<P::Hasher, P::Arity, P::SubTreeArity, P::TopTreeArity>>[src]
&self
) -> &Vec<MerkleProof<P::Hasher, P::Arity, P::SubTreeArity, P::TopTreeArity>>
Trait Implementations
impl<Proof: Clone + MerkleProofTrait> Clone for SectorProof<Proof> where
Proof::Hasher: Clone,
Proof::Arity: Clone,
Proof::SubTreeArity: Clone,
Proof::TopTreeArity: Clone,
Proof::Hasher: Clone,
Proof::Hasher: Clone, [src]
impl<Proof: Clone + MerkleProofTrait> Clone for SectorProof<Proof> where
Proof::Hasher: Clone,
Proof::Arity: Clone,
Proof::SubTreeArity: Clone,
Proof::TopTreeArity: Clone,
Proof::Hasher: Clone,
Proof::Hasher: Clone, [src]fn clone(&self) -> SectorProof<Proof>[src]
fn clone(&self) -> SectorProof<Proof>[src]Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]Performs copy-assignment from source. Read more
impl<Proof: Debug + MerkleProofTrait> Debug for SectorProof<Proof> where
Proof::Hasher: Debug,
Proof::Arity: Debug,
Proof::SubTreeArity: Debug,
Proof::TopTreeArity: Debug,
Proof::Hasher: Debug,
Proof::Hasher: Debug, [src]
impl<Proof: Debug + MerkleProofTrait> Debug for SectorProof<Proof> where
Proof::Hasher: Debug,
Proof::Arity: Debug,
Proof::SubTreeArity: Debug,
Proof::TopTreeArity: Debug,
Proof::Hasher: Debug,
Proof::Hasher: Debug, [src]impl<'de, Proof: MerkleProofTrait> Deserialize<'de> for SectorProof<Proof> where
MerkleProof<Proof::Hasher, Proof::Arity, Proof::SubTreeArity, Proof::TopTreeArity>: DeserializeOwned, [src]
impl<'de, Proof: MerkleProofTrait> Deserialize<'de> for SectorProof<Proof> where
MerkleProof<Proof::Hasher, Proof::Arity, Proof::SubTreeArity, Proof::TopTreeArity>: DeserializeOwned, [src]fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>, [src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>, [src]Deserialize this value from the given Serde deserializer. Read more
impl<Proof: MerkleProofTrait> Serialize for SectorProof<Proof> where
MerkleProof<Proof::Hasher, Proof::Arity, Proof::SubTreeArity, Proof::TopTreeArity>: Serialize, [src]
impl<Proof: MerkleProofTrait> Serialize for SectorProof<Proof> where
MerkleProof<Proof::Hasher, Proof::Arity, Proof::SubTreeArity, Proof::TopTreeArity>: Serialize, [src]Auto Trait Implementations
impl<Proof> RefUnwindSafe for SectorProof<Proof> where
<Proof as MerkleProofTrait>::Arity: RefUnwindSafe,
<<Proof as MerkleProofTrait>::Hasher as Hasher>::Domain: RefUnwindSafe,
<Proof as MerkleProofTrait>::SubTreeArity: RefUnwindSafe,
<Proof as MerkleProofTrait>::TopTreeArity: RefUnwindSafe,
<Proof as MerkleProofTrait>::Arity: RefUnwindSafe,
<<Proof as MerkleProofTrait>::Hasher as Hasher>::Domain: RefUnwindSafe,
<Proof as MerkleProofTrait>::SubTreeArity: RefUnwindSafe,
<Proof as MerkleProofTrait>::TopTreeArity: RefUnwindSafe,
impl<Proof> Send for SectorProof<Proof>
impl<Proof> Sync for SectorProof<Proof>
impl<Proof> Unpin for SectorProof<Proof> where
<Proof as MerkleProofTrait>::Arity: Unpin,
<<Proof as MerkleProofTrait>::Hasher as Hasher>::Domain: Unpin,
<Proof as MerkleProofTrait>::SubTreeArity: Unpin,
<Proof as MerkleProofTrait>::TopTreeArity: Unpin,
<Proof as MerkleProofTrait>::Arity: Unpin,
<<Proof as MerkleProofTrait>::Hasher as Hasher>::Domain: Unpin,
<Proof as MerkleProofTrait>::SubTreeArity: Unpin,
<Proof as MerkleProofTrait>::TopTreeArity: Unpin,
impl<Proof> UnwindSafe for SectorProof<Proof> where
<Proof as MerkleProofTrait>::Arity: UnwindSafe,
<<Proof as MerkleProofTrait>::Hasher as Hasher>::Domain: UnwindSafe,
<Proof as MerkleProofTrait>::SubTreeArity: UnwindSafe,
<Proof as MerkleProofTrait>::TopTreeArity: UnwindSafe,
<Proof as MerkleProofTrait>::Arity: UnwindSafe,
<<Proof as MerkleProofTrait>::Hasher as Hasher>::Domain: UnwindSafe,
<Proof as MerkleProofTrait>::SubTreeArity: UnwindSafe,
<Proof as MerkleProofTrait>::TopTreeArity: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]pub fn borrow_mut(&mut self) -> &mut T[src]
pub fn borrow_mut(&mut self) -> &mut T[src]Mutably borrows from an owned value. Read more
impl<T> Pointable for T
impl<T> Pointable for Timpl<T> Same<T> for T
impl<T> Same<T> for Ttype Output = T
type Output = TShould always be Self
impl<T> ToOwned for T where
T: Clone, [src]
impl<T> ToOwned for T where
T: Clone, [src]type Owned = T
type Owned = TThe resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn to_owned(&self) -> T[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)[src]
pub fn clone_into(&self, target: &mut T)[src]🔬 This is a nightly-only experimental API. (toowned_clone_into)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>, pub fn vzip(self) -> V
impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>, [src]
T: for<'de> Deserialize<'de>,