Type Alias filecoin_proofs::types::VanillaSealProof

source · 
pub type VanillaSealProof<Tree> = Proof<Tree, DefaultPieceHasher>;

Aliased Type§

struct VanillaSealProof<Tree> {
    pub comm_d_proofs: MerkleProof<Sha256Hasher, UInt<UInt<UTerm, B1>, B0>>,
    pub comm_r_last_proof: MerkleProof<<Tree as MerkleTreeTrait>::Hasher, <Tree as MerkleTreeTrait>::Arity, <Tree as MerkleTreeTrait>::SubTreeArity, <Tree as MerkleTreeTrait>::TopTreeArity>,
    pub replica_column_proofs: ReplicaColumnProof<MerkleProof<<Tree as MerkleTreeTrait>::Hasher, <Tree as MerkleTreeTrait>::Arity, <Tree as MerkleTreeTrait>::SubTreeArity, <Tree as MerkleTreeTrait>::TopTreeArity>>,
    pub labeling_proofs: Vec<LabelingProof<<Tree as MerkleTreeTrait>::Hasher>>,
    pub encoding_proof: EncodingProof<<Tree as MerkleTreeTrait>::Hasher>,
}

Fields§

§comm_d_proofs: MerkleProof<Sha256Hasher, UInt<UInt<UTerm, B1>, B0>>§comm_r_last_proof: MerkleProof<<Tree as MerkleTreeTrait>::Hasher, <Tree as MerkleTreeTrait>::Arity, <Tree as MerkleTreeTrait>::SubTreeArity, <Tree as MerkleTreeTrait>::TopTreeArity>§replica_column_proofs: ReplicaColumnProof<MerkleProof<<Tree as MerkleTreeTrait>::Hasher, <Tree as MerkleTreeTrait>::Arity, <Tree as MerkleTreeTrait>::SubTreeArity, <Tree as MerkleTreeTrait>::TopTreeArity>>§labeling_proofs: Vec<LabelingProof<<Tree as MerkleTreeTrait>::Hasher>>

Indexed by layer in 1..layers.

§encoding_proof: EncodingProof<<Tree as MerkleTreeTrait>::Hasher>