面向智能合约翻译与质量评估的端到端智能体管道
人工智能
2026-02-17 v1 软件工程
摘要
我们提出了一个用于系统性评估 LLM 生成的智能合约的端到端框架。该系统将合同文本解析为结构化模式,生成 Solidity 代码,并通过编译和安全检查进行自动化质量评估。采用 CrewAI 风格的智能体团队进行迭代细化,该管道生成具备完整来源元数据的结构化制品。质量在五个维度上进行衡量,包括功能完整性、变量忠实性、状态机正确性、业务逻辑忠实性和代码质量,并聚合为综合分数。该框架支持针对基准实现的配对评估,量化对齐程度并识别系统性错误模式,如逻辑遗漏和状态转换不一致。这为智能合约合成质量的实证研究提供可复现的基准,并支持形式化验证和合规性检查的扩展。
引用
@article{arxiv.2602.13808,
title = {An end-to-end agentic pipeline for smart contract translation and quality evaluation},
author = {Abhinav Goel and Chaitya Shah and Agostino Capponi and Alfio Gliozzo},
journal= {arXiv preprint arXiv:2602.13808},
year = {2026}
}
备注
17 pages, 4 figures