pub fn generate_constraint_matrices<T: DummyWitness>() -> ConstraintMatrices<<Bls12_377 as Pairing>::ScalarField>Expand description
Generate constraint matrices from a circuit type.
This is useful because it provides a way to get the actual constraints associated with some circuit, without actually generating a proving key via a trusted setup. This is what you need for doing a setup ceremony, among other things.