pub fn combine(
circuit: &ConstraintMatrices<<Bls12_377 as Pairing>::ScalarField>,
phase1out: &Phase1CRSElements,
phase2out: &Phase2CRSElements,
extra: &ExtraTransitionInformation,
) -> ProvingKey<Bls12_377>Expand description
Combine the outputs from all phases into a proving key.
This proving key also contains a verifying key inherently.