Function filecoin_proofs::verify_batch_seal[−][src]

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.