ark-circom/test-vectors/circom2_multiplier2.r1cs