Function filecoin_proofs::verify_seal
source · [−]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>
Expand description
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.