Function filecoin_proofs::verify_batch_seal
source · pub fn verify_batch_seal<Tree: 'static + MerkleTreeTrait>(
porep_config: &PoRepConfig,
comm_r_ins: &[Commitment],
comm_d_ins: &[Commitment],
prover_ids: &[ProverId],
sector_ids: &[SectorId],
tickets: &[Ticket],
seeds: &[Ticket],
proof_vecs: &[&[u8]],
) -> Result<bool>
Expand description
Verifies a batch of outputs of some previously-run seal operations.
§Arguments
porep_config
- this sector’s porep config that contains the number of bytes in this sector.[comm_r_ins]
- list of commitments to the sector’s replica (comm_r
).[comm_d_ins]
- list of commitments to the sector’s data (comm_d
).[prover_ids]
- list of prover-ids that sealed this sector.[sector_ids]
- list of the sector’s sector-id.[tickets]
- list of tickets that was used to generate this sector’s replica-id.[seeds]
- list of seeds used to derive the porep challenges.[proof_vecs]
- list of porep circuit proofs serialized into a vector of bytes.