pub fn circuit_degree( circuit: &ConstraintMatrices<<Bls12_377 as Pairing>::ScalarField>, ) -> Result<usize>