zerokit/multiplier/resources/circom2_multiplier2.r1cs