• 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

Cecuro,领先的AI智能合约审计平台,完成对HyperEVM上Clouded Protocol的审计(7月6日)

2026-07-06 21:46:29
收藏

美国旧金山,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支持所有区块链网络和智能合约语言,并提供免费试用。

免责声明:

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证,网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用,不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责,与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容,并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文
更多新闻
自选
我的自选
查看全部
市值 价格 24h%