Function filecoin_proofs::verify_seal

pub fn verify_seal<Tree: 'static + MerkleTreeTrait>(
    porep_config: &PoRepConfig,
    comm_r_in: Commitment,
    comm_d_in: Commitment,
    prover_id: ProverId,
    sector_id: SectorId,
    ticket: Ticket,
    seed: Ticket,
    proof_vec: &[u8],
) -> Result<bool>

Verifies the output of some previously-run seal operation.

Arguments

• porep_config - this sector’s porep config that contains the number of bytes in this sector.
• comm_r_in - commitment to the sector’s replica (comm_r).
• comm_d_in - commitment to the sector’s data (comm_d).
• prover_id - the prover-id that sealed this sector.
• sector_id - this sector’s sector-id.
• ticket - the ticket that was used to generate this sector’s replica-id.
• seed - the seed used to derive the porep challenges.
• proof_vec - the porep circuit proof serialized into a vector of bytes.