研究人员开发了一个名为CONSTRAINTDIAL的新框架,通过自动创建新的安全任务来提高智能合约的安全性。该方法使用协议变异来重建合约并生成新颖的攻击场景,旨在防止AI代理简单地复制现有解决方案。该框架已从公开案例中成功创建了3000多个任务输入,显著降低了基于复制答案的解决方案的成功率。 AI
影响 自动化新颖安全挑战的创建,可能提高AI代理在代码分析和漏洞检测方面的能力。
排序理由 学术论文,详细介绍了用于智能合约安全的新AI框架。[lever_c_demoted from research: ic=1 ai=1.0]
- alphaXiv
- arXiv
- CatalyzeX
- Connected Papers
- CONSTRAINTDIAL
- DagsHub
- Gotit.pub
- Hugging Face
- Litmaps
- ScienceCast
- Scite
- SlowMist
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →