circom-compat/test-vectors/mycircuit.r1cs