智能合约的交易监控
密码学与安全
2022-07-11 v1 计算机科学中的逻辑
摘要
区块链是提供可信保障的去中心化金融能力的现代分布式系统。智能合约是用专用编程语言编写、运行于区块链上的程序，管理代币与加密货币的收发。智能合约可在外部用户发起的交易执行过程中调用其他合约。一旦部署，智能合约便不可修改，其缺陷可能导致故障与损失，例如来自恶意用户的攻击。运行时验证是提升智能合约可靠性的极具吸引力的方法。一种途径是指定不期望的执行（never声明）并实时检测对该规范的违反。这可通过为智能合约扩展对应于所监控属性的附加指令来实现，从而形成链上监控方法。本文研究交易监控，即检测完整交易执行的违规而非交易内单个操作的违规。我们的主要贡献在于表明多数区块链中交易监控不可行，并提出可支持交易监控的不同执行机制。
引用
@article{arxiv.2207.02517,
title = {Transaction Monitoring of Smart Contracts},
author = {Margarita Capretto and Martin Ceresa and Cesar Sanchez},
journal= {arXiv preprint arXiv:2207.02517},
year = {2022}
}