arXiv提出智能合约生成新方法：解决AI智能体意图丢失问题

摘要：本研究聚焦于AI智能体在智能合约生成中的行为一致性评估问题，提出了一种基于执行而非主观判断的评估框架。通过对比AI生成的合约与原始合约在相同交易下的表现，研究揭示了现有方法在捕捉意图丢失方面的不足，并提出了一种新的架构——在生成代码前，AI智能体通过询问客户简短的清单问题来明确需求，并使用独立编写的可执行答案进行验证。该方法显著减少了意图丢失问题，并展示了在多个AI模型上的有效性。

---

研究背景与动机

AI智能体已经能够根据自然语言描述编写软件，但运行中的代码与预期功能之间存在差距，尤其在智能合约领域更为明显。智能合约是Web3应用背后的程序，一旦部署便无法修改，因此确保其行为符合预期至关重要。本研究旨在评估AI编写的智能合约是否按预期运行，并找出意图丢失的原因。

方法与评估框架

研究设计了一种基于执行的评估方法，通过在AI生成的智能合约和原始合约上重放相同的交易，并测量两者的一致性。研究对每种评分工具进行了错误植入测试，并与未依赖描述编写的答案键进行比较，同时对评分器进行审计以确保已知错误无法通过。

主要发现与创新

1. 现有方法的局限性：常见的AI评判和标准分析工具容易忽略明显错误，评分选择对结果影响较大。仅检查每个系统包含的函数会隐藏约一半的差异。
2. 新架构的提出：在生成代码前，AI智能体通过询问客户简短的清单问题来明确需求，并使用独立编写的可执行答案进行验证。这种方法显著减少了意图丢失问题。
3. 关键结论：在生成代码前进行需求澄清比事后审查或修补更为重要。自动化安全修复通常会破坏预期的行为，而通过精心选择的问题可以恢复大部分被简短的描述所遗漏的内容。

工程权衡与实际应用

• 优势：该方法在多个AI模型上表现出色，能够有效减少智能合约生成中的意图丢失问题。
• 挑战：需要确保AI智能体能够准确理解客户需求，并生成高质量的清单问题。此外，独立编写的答案键需要具备足够的覆盖范围和准确性。
• 建议：开发者应结合使用该方法与现有的代码审查工具，以进一步提高智能合约生成的质量和可靠性。

未来展望

这项研究为AI智能体在智能合约生成中的应用提供了新的思路，其方法可以扩展到任何AI将请求转化为程序的情境中。

---

消息来源：ArXiv AI (cs.AI) (2026-10-31)

—— 完 ——

主题标签： #智能合约 关注 #AI智能体 关注 #智能合约生成 关注 #意图丢失 关注