美国旧金山,2026年7月6日
经过多智能体AI系统对Clouded联合曲线注意力市场的审查,涵盖六份合约、超过1200行Solidity代码的审计工作在数小时内完成。
在OpenAI漏洞基准测试中排名第一的领先智能合约审计平台Cecuro,已完成为基于HyperEVM构建的注意力市场Clouded进行的安全审计。此次审查覆盖了Clouded完整的六合约套件,超过1200行Solidity代码,包括其联合曲线市场引擎、质押DAO及多签金库。Clouded允许交易者使用$HYPE基于社交情绪而非既定结果来建立头寸,这种设计超出了标准预测市场的审计模式。
Cecuro检查了Clouded用Solidity 0.8.24版本编写的完整代码库。审计范围包括:核心市场合约(通过ERC1155代币发行头寸,价格沿联合曲线递增——随着股份购买量增加成本上升)、负责处理质押、收益分配和市场黑名单功能的CloudedDAO模块、基于周期的CloudedPoint奖励系统、多签金库钱包,以及ERC20治理代币和创始人代币。Cecuro的多智能体系统从多个独立角度对每份合约进行分析,并在最终报告生成前,通过概念验证漏洞利用方式验证每一个候选问题。整个审计工作在数小时内完成,而传统人工审查通常需要数周时间。
注意力市场和预测市场在上一轮市场周期中吸引了大量链上交易量,而新颖的机制设计将风险集中在那些没有现成审计模板的代码中。联合曲线定价、周期奖励核算及多签金库逻辑各自引入了通用工具和模式匹配往往难以发现的故障模式。作为新兴执行环境的HyperEVM,其合约层尚未经历像老牌链那样充分的实战考验。在主网上线前进行独立审查,仍是此类团队降低风险的实际可行方式。
Cecuro首席执行官Daniel表示:“注意力市场打破了大多数审计手册所基于的假设,因为不存在外部预言机来结算头寸,价值完全通过曲线和奖励核算流动。这正是多角度推理的价值所在。我们的智能体不仅扫描已知特征,还会模拟交易者、市场创建者和DAO质押者各自如何与同一份合约交互,然后尝试破坏维系系统运作的不变量。”
Clouded创始人Ruo Yan则更注重工作流程而非单一结果:“我一直使用Cecuro审计Clouded,最突出的一点是它同时展示无效发现和真实发现——这听起来微不足道,但实际上确实能帮助你更好地理解代码。它还捕获了其他AI审计工具遗漏的问题。重新审计功能也很贴心。你提交修复后再次运行,这样便能融入实际开发流程,而不仅仅是提供一次性报告。”
审计报告已交付给Clouded团队,由其自行决定进行修复和披露。Clouded市场可通过其应用程序访问,协议详情可在其官方网站查阅。Cecuro持续审查所有主流网络和智能合约语言的协议。正在筹备上线的团队可以启动审查,包括免费审计扫描。
关于Cecuro
Cecuro是一个智能合约审计平台,在OpenAI漏洞基准测试EVMBench中排名第一,并拥有发现顶级审计公司遗漏漏洞的记录。每次安全扫描只需数小时而非数周,成本比传统审计降低约90%。其专有的多智能体AI系统从多个角度分析合约,并在报告前通过概念验证漏洞利用验证每个发现。Cecuro支持所有区块链网络和智能合约语言,并提供免费试用。
HYPE

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注