Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions. - Nikolaj S. Bjørner; Ashley J. Chen; Shuo Chen; Yang Chen; Zhongxin Guo; Tzu-Han Hsu; Peng Liu; Nanqing Luo (CoRR, 2024)