研究提出以提问为先的智能合约合成评估架构

内容摘要

四位作者在 arXiv 发布预印本研究，衡量 AI 智能合约合成中需求意图在何处丢失。方法是基于执行回放，将 AI 生成的合约与原合约跑相同交易并比对结果；作者称常见 AI 评审与标准分析工具会漏掉明显错误，仅检查共有函数会掩盖约一半流水线差异。其提出的 elicitation-first 架构在写码前先向客户提出简短问题清单，并用独立编写的可执行答案键校验，跨三个模型显示提问优先远胜事后审查或修补，自动安全修复常破坏请求行为。作者开源工具、600 个任务及全部结果。