引入了一个名为 SCDBench 的新基准测试,用于评估用于智能合约反编译的大型语言模型 (LLM)。该基准测试包含一个包含 600 个真实 Solidity 合约的数据集,并配有字节码、真实源代码和语义检查点。当前的尖端 LLM,如 Claude Opus 4.7 和 GPT-5.3-Codex,在生成结构化和可编译代码方面显示出潜力,但在语义一致性方面存在困难,最好的模型也只能完美反编译 42 个合约。研究还发现,纳入编译修复可以显著提高性能。 AI
影响 强调了 LLM 在确保生成智能合约的语义一致性方面的局限性,表明该领域需要进一步研究。
排序理由 该集群包含一篇学术论文,介绍了一个用于评估 LLM 在特定领域能力的新的基准测试。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →