Hot: smartcontractverification