pub fn transition(
phase1: &CRSElements,
circuit: &ConstraintMatrices<<Bls12_377 as Pairing>::ScalarField>,
) -> Result<(ExtraTransitionInformation, CRSElements)>Expand description
Transition between phase1 and phase2, using the circuit.
This will also produce extra elements needed later when combining the elements into the actual proving key.