Solidity verifier
compiled contract: