Optimal Smart Contracts with Costly Verification | IEEE Conference Publication | IEEE Xplore