Function filecoin_proofs_api::seal::verify_aggregate_seal_commit_proofs

pub fn verify_aggregate_seal_commit_proofs(
    registered_proof: RegisteredSealProof,
    registered_aggregation: RegisteredAggregationProof,
    aggregate_proof_bytes: AggregateSnarkProof,
    comm_rs: &[Commitment],
    seeds: &[Ticket],
    commit_inputs: Vec<Vec<Scalar>>,
) -> Result<bool>

Given a porep_config, an aggregate proof, a list of seeds and a combined and flattened list of public inputs, this method verifies the aggregate seal proof.

Arguments

• registered_proof - Selected seal operation.
• registered_aggregation - Aggregation proof types.
• aggregate_proof_bytes - The returned aggregate proof from aggregate_seal_commit_proofs.
• comm_rs - Ordered list of sector replica commitments.
• seeds - Ordered list of seeds used to derive the PoRep challenges.
• commit_inputs - A flattened/combined and ordered list of all public inputs, which must match the ordering of the seal proofs when aggregated.

Returns true if proof is validated.