pub fn arkworks_cs_to_lambda_cs<ArkF: PrimeField>(
    cs: &ConstraintSystemRef<ArkF>,
) -> ConstraintSystem<FrField> {
    ConstraintSystem {
        constraints: r1cs_from_arkworks_cs(cs),
        witness: extract_witness_from_arkworks_cs(cs),
    }
}
Accepts an Arkworks circuit as a ConstraintSystem reference, and creates a
Lambdaworks ConstraintSystem, which can then be used with the Lambdaworks
Groth16 backend for setup, proving, and verification.
crates/provers/groth16/arkworks-adapter/src/lib.rs