从合约到代码：基于多级有限状态机的智能合约自动化生成
密码学与安全
2025-07-23 v1
摘要
在日益复杂的合约环境中，对透明度、安全性和效率的需求日益迫切。区块链技术凭借其去中心化和不可篡改的特性，通过降低中介成本、减少欺诈风险和增强系统兼容性来应对这些挑战。智能合约最初由 Nick Szabo 提出概念，随后在 Ethereum 区块链上实现，能够自动化并保障合约条款的安全，为各行各业提供了稳健的解决方案。然而，其复杂性及对高级编程技能的要求构成了广泛采用的重要障碍。本研究引入了一种多级有限状态机模型，旨在表示和跟踪智能合约的执行。该模型旨在通过提供一个形式化框架来抽象底层技术复杂性，从而简化智能合约的开发，使不具备深厚技术背景的专业人士也能使用。多级有限状态机的分层结构增强了合约的模块化和可追溯性，有助于对功能属性进行详细的表示和评估。本文探讨了这种多级方法的潜力，回顾了现有方法和工具，并详细介绍了智能合约的生成过程，重点关注可复用组件和模块化。我们还进行了安全分析以评估模型中的潜在漏洞，确保所生成智能合约的稳健性和可靠性。
引用
@article{arxiv.2507.16276,
title = {From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines},
author = {Lambard Maxence and Bertelle Cyrille and Duvallet Claude},
journal= {arXiv preprint arXiv:2507.16276},
year = {2025}
}