公告Published: 2026年6月29日
48小时内33次提交：协议、浏览器、SDK和黄皮书
大规模开发推进：Anchor 1.1 迁移、74个测试的统一工作区、功能性SDK、带事件监控的浏览器、紧急暂停、异议队列、RaxLang转译器、黄皮书和6份新文档。
Author
Rodrigo Oler发布内容
在48小时内，我们推送了33次提交，涵盖协议、基础设施、SDK、浏览器和文档。每个组件都有进展。
链上程序现在运行在 Anchor 1.1 上，兼容 Solana 3.x。Cargo 工作区已统一（7个crate，74个自动化测试）。SDK AgentRunner 已可用：加载钱包、在链上初始化代理并直接向 Solana 提交收敛交易。
- ◆Anchor 从 0.30 迁移到 1.1（Solana 3.x）
- ◆浏览器：自动刷新、分类筛选、事件监控、分布图表
- ◆协议安全紧急暂停机制
- ◆异议队列：resolve_challenge 和 expire_challenge 指令
- ◆RaxLang DSL 转译器从 .rax 文件生成完整的 Rust 代理
- ◆新的 api_agent 示例，支持 OpenAI 兼容 API（无需 Ollama）
新文档
六份新文档与黄皮书 v0.1 一同发布，黄皮书以13个定义、9个定理、证明概要和5个算法规范形式化了白皮书中的每一个论断。
- ◆黄皮书 v0.1：888行形式化数学
- ◆智能代理入门指南：开发者分步指南
- ◆代理市场规范：注册、定价、版税
- ◆安全审计包：范围、不变量、威胁模型
- ◆运维手册：所有部署和紧急程序
- ◆主网就绪评估：7类清单及阻塞项
下一步计划
纯代码工作已完成。剩余事项需要外部资源：用于ZK证明的GPU基础设施、用于H1验证的真实异构模型，以及安全审计员。我们正在积极寻找贡献者和试点代理开发者。
- ◆使用真实 Transformer + Mamba + 神经符号模型进行 H1 验证
- ◆在 GPU 上使用 RISC Zero 3.0 进行端到端 ZK 证明
- ◆安全审计合作
- ◆社区：在测试网上公开招募贡献者和试点代理