r1cs

val r1cs: R1CSInstance