../artifacts/circuits/Verifier16.sol