美国旧金山 - 2026 年 7 月 6 日 - Chainwire
Cecuro 是领先的代理智能合约审计平台，在 OpenAI 漏洞利用基准 EVMBench 上排名第一，已成功完成对 Clouded（部署在 HyperEVM 上的创新关注市场协议）的全面安全审计。
审计利用 Cecuro 的多代理 AI 系统在短短几个小时内审查了六个核心合约的 1,200 多行 Solidity 代码，而传统的手动审计通常需要数周时间才能完成这一过程。范围包括 Clouded 的联合曲线市场引擎、质押 DAO、基于纪元的奖励系统 (CloudedPoint)、多重签名金库钱包以及 ERC20 治理和创始人代币——所有这些都是用 Solidity v0.8.24 编写的。
与依赖外部预言机来解决结果的传统预测市场不同，Clouded 使交易者能够使用 HYPEUSD 根据社会情绪建立头寸，其价值完全来自其联合曲线和奖励机制。这种新颖的设计超出了标准审计模板的范围，在联合曲线定价、时代会计和财务逻辑方面引入了独特的风险，而这些领域经常被通用扫描工具忽视。
“注意力市场打破了大多数审计手册所依据的假设，因为没有外部预言来确定立场，价值完全通过曲线和奖励会计移动，”Cecuro 首席执行官 Daniel Delouya 表示。 “这正是从多个角度进行推理的地方。我们的代理不仅仅扫描已知的签名。他们对交易者、市场创建者和 DAO 质押者如何与同一份合约进行交互进行建模，然后尝试打破将系统结合在一起的不变量。”
Clouded 创始人若岩强调了 Cecuro 与开发工作流程的实际集成：“我一直在使用 Cecuro 来审计 Clouded，最突出的是它向你展示了无效的发现和真实的结果，这听起来微不足道，但它确实可以帮助你更好地理解你的代码。它还发现了我使用过的其他 AI 审计器漏掉的问题。重新审计周期也是一个很好的接触。你提交修复并再次运行它，因此它适合你的实际开发过程而不仅仅是一次性报告。”
Cecuro 的方法涉及独立的人工智能代理从多个角度分析合同，并在纳入最终报告之前通过概念验证漏洞验证每个潜在漏洞。这确保了高精度和可操作的见解。
已完成的审计报告已交付给 Clouded 团队，以便他们酌情进行补救和公开披露。 Clouded 的市场可通过其应用程序访问，完整的协议详细信息可在其官方网站上找到。
Cecuro 继续支持所有主要区块链网络和智能合约语言的协议。准备主网启动的团队可以在 https://cecuro.ai 发起审核（包括免费审核扫描）。
关于塞库罗
Cecuro 是一个代理智能合约审计平台，在 OpenAI 的 EVMBench 漏洞利用基准上排名第一。它可在数小时（而不是数周）内提供安全扫描，且成本比传统审核低约 90%。其专有的多代理人工智能系统对不同的用户行为进行建模，并通过有效的漏洞验证每一个发现。 Cecuro 支持所有区块链和智能合约语言，为新用户提供免费试用。了解更多信息，请访问 https://cecuro.ai。
联系方式：
丹尼尔·德鲁亚
Cecuro 首席执行官
daniel@cecuro.ai