Function filecoin_proofs::verify_single_partition_proof

source · [−]

pub fn verify_single_partition_proof<Tree: 'static + MerkleTreeTrait<Hasher = TreeRHasher>>(
    config: SectorUpdateConfig, 
    partition_index: usize, 
    proof: PartitionProof<Tree>, 
    comm_r_old: Commitment, 
    comm_r_new: Commitment, 
    comm_d_new: Commitment
) -> Result<bool>

Expand description

Verify a single vanilla partition proof for a specified partition.