AI代理

本文系统性地分析了AI代理在自主行动时面临的信任问题，并阐述了Web3基础设施如何从身份、支付、计算、存储、框架和验证六个层面提供解决方案。文章详细介绍了ERC-8004（以太坊AI代理身份标准）、x402（Coinbase的HTTP支付协议）、MPP（Stripe与Paradigm的机器支付协议）、Akash（去中心化云市场）、0G（去中心化AI训练）、Gensyn（训练验证市场）等关键项目。文章指出，虽然各层基础设施已初具规模，但实现端到端可靠组合仍是2026-2027年的主要工程挑战。

文章深入分析了 DeFi 许可型借贷中“风险策展人”所承担的核心职责与暴露面，指出真正造成损失的往往不是合约漏洞，而是预言机失真、自动化资金再分配、密钥与治理被攻破、流动性集中、上游抵押品失效、参数激进、组合集成风险、自动化基础设施被入侵以及 AI 代理失控等运营与经济层面的攻击面。文章进一步从激励机制、责任缺口与防御纵深三个角度，给出预部署、运行中、事故响应和事后修复的系统化风控清单，并用指标体系衡量一个策展人是否“稳健可托付”。

文章系统梳理了 DeFi 托管式金库与风险策展人（curator）的核心职责、适用场景以及最常见的失效路径，重点指出真正的损失往往不是合约代码漏洞，而是预言机失真、自动化调仓误判、密钥与权限被攻破、流动性陷阱、上游抵押品暴雷以及系统组合风险。文章进一步分析了收益激励与风险承担之间的不对称，并给出一套覆盖部署前、运行中、事故时与事后复盘的防御深度策略，包括尽调、仿真、角色隔离、熔断机制、监控告警、应急预案和赔付框架。

本文深入探讨了HTTP 402状态码的历史、现状及未来，聚焦于机器对机器（M2M）支付场景。

文章分析了加密货币市场从投机博彩向价值投资的转变，强调协议收入、代币经济学设计和机构化采用将成为衡量资产价值的核心标准。通过分析市销率（P/S）和代币持有者收益等指标，探讨了 DeFi 协议的长期生存能力以及 AI 代理（DeFAI）在未来金融生态中的主导作用。

本文介绍了AI工程领域从提示工程到循环工程的转变。两位顶级AI工程师指出，不应再直接提示编码代理，而应设计循环来驱动代理。文章详细解释了循环工程的核心理念、单代理与多代理循环、开放与封闭循环的区别，以及构建有效循环的6个关键组件（自动化、工作树、技能、插件、子代理、记忆）。还探讨了成本问题，指出DeepSeek等低成本模型使循环工程更可行。最后总结了循环工程与提示工程的根本差异：从追求单次输出到设计产生可验证结果的系统。

Paradigm 和 Tempo 开源了 Centaur，一个自托管的运行时，用于构建多人、安全的 AI 代理。Centaur 作为共享代理，可在 Slack 或 API 中使用，支持长时间运行、崩溃恢复、工具集成和工作流共享。其架构基于服务，所有状态存储在 Postgres 中，每个会话拥有隔离的沙箱容器，代理通过防火墙安全访问 API 密钥，避免凭据泄露。Centaur 支持扩展工具、技能和工作流，已内部使用数月，覆盖投资、工程、设计等多个领域。

文章探讨了为什么使用Claude Code等AI代理时，HTML是比Markdown更有效的输出格式。作者认为HTML提供了更高的信息密度（表格、SVG、CSS等）、视觉清晰度、易于分享、双向交互、数据摄取以及更愉悦的体验。通过实际用例（如规范说明、代码审查、设计原型、报告学习），展示了HTML在AI辅助工作中的优越性。文章还讨论了常见问题，如token效率、版本控制等，并鼓励读者尝试使用HTML。

本文提出了一种软件开发的新范式：使用AI代理直接编写RISC-V汇编代码，并在Lean证明助手中进行形式化验证，确保zkVM的guest程序无bug。作者认为，由于RISC-V汇编易于推理，且AI代理能自动编写代码和证明，这种方法比使用Rust、C等高级语言更可靠，避免了编译器优化带来的不确定性和未定义行为。文章比较了CompCert、CakeML、Rust等方案，并指出汇编+Lean是范畴论意义上的最终形式。

文章介绍了作者开发的自主智能合约审计工具 Plamen。该工具采用多代理递归架构和8阶段工作流，利用 Claude 的长上下文能力解决传统 AI 审计中的幻觉和逻辑遗漏问题。Plamen 在 DODO 审计竞赛中实现了 91.2% 的覆盖率，能有效识别复杂的跨函数逻辑漏洞和状态一致性漏洞。

这篇文章深入探讨了自主AI代理的概念，特别是基于大型语言模型（LLM）的代理在各个领域中的应用，包括游戏、治理、科学和机器人技术。文章详细介绍了代理的架构、记忆系统、感知能力、推理与规划，以及它们如何在复杂环境中动态互动和决策。通过多代理系统的框架，研究了如何利用这些代理实现智能协作和优化任务执行，同时也提出了在代理智能的发展中需要面对的伦理和社会问题。

Paradigm 和 Tempo 开源了 Centaur，一个自托管的运行时，用于构建多用户、安全的 AI 代理。Centaur 在 Slack 中运行，可执行持续数小时的任务，支持工具、工作流和安全凭证管理。其架构基于 Postgres 状态存储和微服务，每个会话有独立沙箱，通过防火墙实现凭证安全。文章深入介绍了系统设计、安全模型和扩展方式，包括技能、工具和工作流的插件式开发。

这篇文章深入探讨了AI代理如何颠覆互联网基于广告的商业模式，并着重介绍了为AI代理支付构建的两种新兴协议：Coinbase的x402和Stripe的MPP。文章详细比较了这两种协议的特点、优势与劣势，并分析了它们在未来代理商务市场中的地位、监管挑战以及与传统支付巨头（如Visa、Mastercard）的整合。

文章深入探讨了“账户层”这一概念，指出其是连接链上价值与传统金融系统的关键基础设施。它解决了当前链上经济在支付、交易之外，缺乏身份、合规、法币通道、多币种和卡片等真实金融账户能力的问题。文章详细阐述了账户层的重要性，尤其是在代币化存款增长、监管趋严和AI代理兴起的背景下。UR作为账户层的构建者，提供了一套可组合、可编程的解决方案，包括链上身份（URID）、代币化存款、智能合约规则和链上数据，旨在赋能钱包和开发者提供全面的金融账户服务。

作者使用AI代理Cygent为其Rust游戏仿真项目Alembic（8500行，零测试）生成测试。通过结构重构、识别不变量、与Claude Code协作，最终生成116个集成测试，覆盖9个子系统，并发现两个实际bug。工作流包括Kyle（Cygent）实现、Claude Code审查、人类决策。测试套件作为回归网持续运行，自动触发新测试生成和PR审查。