Audit Mission Console

启动一轮 AI 智能合约审计任务

这里不是简单的表单页，而是模拟真正的审计工作流：读取完整合约、挖掘漏洞候选、自动生成 POC、分叉链执行并把日志回注给大模型做复盘。

任务名称

目标链

合约类型

审计模式

代码规模（LOC）

复盘轮次

重点关注点

查看链上溯源模块

默认展示的是企业级高 token 审计流程，点击后会触发全屏加载和结果刷新。

审计结果面板

任务输出

总发现数 11 模型候选 + 规则校验合并结果

高危 / 严重 2 建议优先阻断上线

已生成 POC 4 适合继续跑 fork simulation

Critical

High

Medium

任务流水

上下文切片完成 已为跨文件调用链建立语义片段，并保持状态变量上下文完整。

Ready

发现可疑价格操纵路径 检测到外部价格依赖与授权路径存在组合风险，建议进入 fork 验证。

High Risk

POC 验证通过 已生成攻击脚本并在分叉链执行成功，损失估算可达流动性池资产的 11%。

Verified

处理 Solidity 合约最贵但也最有价值的地方，就是必须读完整上下文，尤其在大型协议和多代理项目里。

模型不仅输出“有风险”，还会自动生成攻击用例、前置条件和收益测算，方便安全工程师快速复核。

把执行日志再次回喂模型做推理纠偏，是从“会说”走向“会验证”的关键一步。