Koan-Safe

新基准揭示AI生成的DeFi工作流中的安全缺陷

研究人员开发了DeFiFlowBench，这是一个旨在评估自然语言生成的去中心化金融（DeFi）工作流安全性的新基准。该基准包含207个提示，揭示了现有的提示方法即使在声明了安全谓词和价格影响上限的情况下，也经常导致不安全执行。为了解决这个问题，该团队提出了Koan-Safe，一个结合了意图解析、可替换生成器和具有默认安全参数的结构修复的系统，显著减少了在未见过提示上的不安全执行。