New: smartcontractverification