Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety Read more[Paper]
