circom-compat/test-vectors/input.json