Function cess_proofs::verify_aggregate_seal_commit_proofs

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>

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.