Gno.land 推出 Dora AI 安全系统，用于智能合约验证

Gno.land 是由 NewTendermint 开发的基于 Go 的智能合约平台，现已推出 Dora，这是一套旨在持续检查平台代码库和智能合约的自主 AI 安全系统。该系统会在将结果提交给人工审查员之前，针对一个正在运行的 Gno.land 节点复现每个疑似漏洞利用，以减少误报，并更早发现可采取行动的漏洞。此次发布体现了区块链项目的一个更广泛趋势：从主要依赖定期审计或漏洞赏金计划，转向使用 AI 智能体进行持续安全监控。

Gno.land 由 Cosmos 和 Tendermint 的共同创始人 Jae Kwon 创立，使用 Gno——一种经过解释执行且具备确定性的 Go 语言变体。该平台旨在让开发者创建可读且可组合的智能合约，同时要求源代码始终公开存储在链上。由 Kwon 领导的 NewTendermint 负责开发去中心化系统基础设施，包括 Tendermint2 和 Gno.land，并作为 Gno.land 协议和 GnoVM 的核心维护者。

Dora 通过七个智能体组成的工作流程验证漏洞

Dora 通过涵盖侦察、漏洞规划、去重、验证、对抗性审查、补丁开发和最终修复验证的七阶段智能体工作流程，处理智能合约安全问题。侦察智能体会绘制相关代码的结构，规划智能体则制定潜在漏洞场景。去重阶段会排除已知问题。

随后，验证智能体会针对一个实际运行中的 Gno.land 节点创建并执行实时测试，以确定疑似弱点能否复现。独立的审查智能体会从对抗性角度评估结果。如果问题仍然存在，修复智能体会准备补丁，之后再由另一次审查确定拟议修复是否解决了漏洞，同时没有引入其他问题。只有通过完整流程的发现结果才会转交人工审查员。

随着人工智能让识别可疑代码变得更加容易，对持续验证的需求也有所增加。对于区块链网络而言，未被发现的软件缺陷可能造成严重后果。关键组件触发 panic 可能干扰共识，非确定性行为可能导致验证者产生分歧，而算术错误则可能影响资产转移。

Gno.land 发布 gnomcp 服务器以集成 AI 智能体

Dora 是 Gno.land 将人工智能整合到开发和安全流程这一更广泛努力的一部分。该平台已发布开源服务器 gnomcp，旨在将 Claude Code 和 Cursor 等 AI 编码智能体直接连接到 Gno.land。通过这一集成，AI 智能体可以与 Gno.land 交互，使用软件工程师熟悉的开发工作流程读取、编写和部署 realms。

该平台采用人类可读的基于 Go 的智能合约。与应用逻辑主要以编译后字节码表示的架构相比，这种设计旨在让 AI 系统更容易访问合约代码。Dora 目前是一款内部安全工具，Gno.land 尚未完成对整个代码库的全面审计，不过针对性的测试已经生成了噪声相对较低且可复现的发现结果。随着系统得到更广泛的部署，该公司计划扩大 Dora 的覆盖范围并发布更多结果。

常见问题

Dora 是什么，它为 Gno.land 做什么？
Dora 是由 Gno.land 推出的一套自主 AI 安全系统，会持续检查平台代码库和智能合约。该系统会在将结果提交给人工审查员之前，针对一个正在运行的 Gno.land 节点复现每个疑似漏洞利用，旨在通过七阶段智能体工作流程减少误报，并更早发现可采取行动的漏洞。

谁创立了 Gno.land，该平台使用什么技术？
Gno.land 由 Cosmos 和 Tendermint 的共同创始人 Jae Kwon 创立。该平台使用 Gno——一种经过解释执行且具备确定性的 Go 语言变体，旨在让开发者创建可读且可组合的智能合约，同时要求源代码始终公开存储在链上。