ChainFeeds PRO #163：AI Agent 可验证性、PropAMM 实证研究与 EIP-8288 递归证明

Animal Ventures 联合创始人 Bettina Warburg 从“以太坊是黑暗森林”的经典案例出发，讨论 AI Agent 进入市场、API 和软件系统后的安全挑战。Crypto 的经验在于，安全不应依赖理解或信任 Agent 的行为，而应通过独立证据验证其权限和实际操作。

随着 Agent 开始管理资金、凭证与权限，关键问题将从“AI 能做什么”转向“人类能验证什么”。Advanced AI Society 推动的 Proof-of-Control，旨在让第三方能够检查 Agent 是否在授权范围内行动。

比特币相关内容讨论硬件签名器审计与协议进展。EntropyLab 正在开发 PSBT Signer Audit，通过比较发送给签名器和签名器返回的 PSBT，检查交易输入输出、金额、找零地址、签名及相关数据是否被篡改。文章指出，多签有助于权限分离和密钥冗余，但不能单独证明签名器正确执行了用户要求的操作。

Bitcoin Optech Newsletter #428 还介绍了 Lichen 单发行方 L2、Descriptor 支持 Hash Preimage 的提案，以及 Eclair、LND、BDK 和 BTCPay Server 的安全更新。

一项针对 Solana、Base 和 Monad 上 PropAMM 的近一年实证研究发现，PropAMM 通过持续更新报价、管理库存和评估订单流风险，取得了优于传统 AMM 的短期 Markout。研究称，到 2026 年，PropAMM 已占 Solana SOL/USDC 交易量的一半以上；在被选作普通交易者代理样本的交易中，Solana PropAMM 的收益约为 0.26 bps，普通 AMM 则约为 2.59 bps，显示前者可能为缺乏信息优势的交易者提供更有竞争力的价格。

EIP-8288 的一项设计提议引入异构递归证明，允许根据工作量选择不同规格的 Verifier Class，并通过 Authenticated Class Bank 保留递归过程中尚未完成的验证义务。另一项研究提出 BRO-AMM，在价格更新和最终结算之间加入协调阶段，并要求套利者存入 Bond。

基于 Ethereum 和 Arbitrum 六个月 ETH/USDC 模拟交易，研究报告称，BRO-AMM 使 Ethereum LP 因套利产生的损失下降约 68%～79%，Arbitrum 下降约 49%～55%；该方案仍依赖可信的 Signed Market Price，结果也来自模拟而非真实部署。

本期还摘录了 MEV 研究、Glamsterdam 在 Sepolia 的扩容数据、后量子研究、Frame Transactions、Blob Inclusion 和区块构建等进展。论文《The Geography of (Concurrent) Block Proposing》研究区块提议者的地理位置激励，指出多个并发提议者可能因争取更早获得独占信息而分散到不同地点，从而推动区块生产的地理去中心化。