Sentinel-V4

DeFi 合约的 AI 保安巡逻：新合约一上链先扫一遍，AI 再读一遍找逻辑漏洞，预先把「怎么打」准备好。

Slither（开源静态分析工具）打底，上面叠六个语义分析器，各抓一类：权限、经济模型、Uniswap V4 Hook、预言机、跨协议、治理；再交给按类别路由的 LLM 模组，合计 42 个检测器、8 步管线。执行侧设计为闪电贷（借、用、还在同一笔交易里完成，赚不到就整笔作废）四秒内出手。

被偷的 DeFi 合约大多「审计过」。静态工具抓的是语法层漏洞（如重入），真正致命的在语义层：经济模型算错、预言机被操纵（先用大单把报价推歪，再用歪掉的价格借钱）、跨协议耦合。

一份新合约部署上链 → 五层过滤先挡掉不值得看的（标准代币、已知合约、太简单的）→ 扫描 → 有可利用漏洞就把攻击载荷和仿真结果存起来 → 市场条件成熟时执行。扫一个合约约 11 秒、0.006 美元。

两个 F1 一起讲：真实样本口径 F1 = 0.63（23 个合约，Precision 0.67、Recall 0.60），没到我定的生产线 0.70；回归基线 F1 = 1.00 是防退化的门禁分数，不是准确率。demo 站把两个数字并排放。
难堪的那一格也写着：逻辑错误类 Recall 为 0，而这类占真实攻击近半。后来那六个语义分析器就是被它逼出来的。
五轮回测的心电图：0.769、0.000、1.000、0.706、0.632。手工样本满分，加进真实合约就掉下来；归零那轮是编译器版本没对上，整条线静默回「无发现」。

约 17.5 万行、约 1,700 个测试，Sepolia 测试网有一份执行器合约。实际是 2026 年 2 月约十天的高密度冲刺；主网从未部署，套利从未在真实资金上跑过。帐算过：瓶颈不在扫描成本，在「能用闪电贷一笔兑现」的漏洞有多少。demo 站可看，数据模拟。