CoinFubi

获奖论文介绍了Smartify，一套最先进的人工智能系统，能够在编写代码时检测并修复漏洞。这为开发者在区块链智能合约中提供对关键漏洞的实时保护，支撑着当今的去中心化金融（DeFi）平台。石博士表示：“这篇论文旨在通过自动保护运行它的基础代码，恢复对去中心化金融（DeFi）领域的信任并带来稳定性。”

最近的一篇论文再次介绍Smartify，这是一套设计用于在编写代码时检测并修复漏洞的最先进的人工智能系统。Smartify 能够对代码进行实时分析，识别在 Solidity 和 Move 基础的合约中出现的漏洞。这一做法旨在提升跨链 DeFi 应用的安全水平。

开发者可以获得对由区块链智能合约驱动的 DeFi 平台所涉及的关键漏洞的实时保护。通过在开发阶段解决漏洞，Smartify 能在部署前降低风险，并与传统审计实践互补。石博士强调，目标是通过自动保护这些协议所运行的基础代码，恢复对 DeFi 的信任并带来稳定性。研究还凸显了 AI 辅助安全如何增强人工审查和形式化验证，从而巩固智能合约栈。