circom-compat/test-vectors/mycircuit-input1.json