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<Scalar>>,
aggregate_version: AggregateVersion,
) -> 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.