一句话：提出统一规约挖掘框架，从历史交易推断访问控制、不变式与行为模型，并对智能合约做一致性检查。
智能合约是在区块链上运行、在无信任环境中促进用户间资产转移的自治理程序。合约规约的缺失阻碍了程序理解、调试、测试与验证等日常任务。本文提出一个统一的规约挖掘框架，从历史交易记录中推断规约模型，包括描述高层授权规则的访问控制模型、刻画低层程序语义的程序不变式，以及表征合约实现所允许交互模式的行为模型。所提取的规约模型可用于对智能合约进行一致性检查，以消除未预见的合约质量问题。
Smart contracts are self-governed computer programs that run on blockchain to facilitate asset transfer between users within a trustless environment. The absence of contract specifications hinders routine tasks, such as program understanding, debugging, testing, and verification of smart contracts. In this work, we propose a unified specification mining framework to infer specification models from past transaction histories. These include access control models describing high-level authorization rules, program invariants capturing low-level program semantics, and behavior models characterizing interaction patterns allowed by contract implementations. The extracted specification models can be used to perform conformance checking on smart contracts, with the goal of eliminating unforeseen contract quality issues.