../artifacts/circuits/Verifier2.sol