pub fn aggregate_empty_sector_update_proofs<Tree: 'static + MerkleTreeTrait<Hasher = TreeRHasher>>(
porep_config: &PoRepConfig,
proofs: &[EmptySectorUpdateProof],
sector_update_inputs: &[SectorUpdateProofInputs],
aggregate_version: AggregateVersion,
) -> Result<AggregateSnarkProof>