pub fn verify_aggregate_seal_commit_proofs<Tree: 'static + MerkleTreeTrait>(
porep_config: PoRepConfig,
aggregate_proof_bytes: AggregateSnarkProof,
comm_rs: &[[u8; 32]],
seeds: &[[u8; 32]],
commit_inputs: Vec<Vec<Fr>>
) -> Result<bool>Expand description
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
porep_config- this sector’s porep config that contains the number of bytes in the sector.seeds- an ordered list of seeds used to derive the PoRep challenges.aggregate_proof_bytes- the returned aggregate proof from ‘aggreate_seal_commit_proofs’.commit_inputs- a flattened/combined and ordered list of all public inputs, which must match the ordering of the seal proofs when aggregated.