pub fn combine(
phase1out: &Phase1CeremonyCRS,
phase2out: &Phase2CeremonyCRS,
extra: &AllExtraTransitionInformation,
) -> [ProvingKey<Bls12_377>; 7]
pub fn combine(
phase1out: &Phase1CeremonyCRS,
phase2out: &Phase2CeremonyCRS,
extra: &AllExtraTransitionInformation,
) -> [ProvingKey<Bls12_377>; 7]