ChainFeeds Research 发布最新一期 PRO，围绕 PropAMM、比特币协议进展、以太坊研究和论文更新展开。本期重点讨论以太坊链上交易微观结构、闪电网络节点的常见误解、BIP340 签名全聚合草案、跨域状态保存形式化框架，以及正和市场微观结构的采用问题。
PropAMM 与以太坊链上交易
以太坊基金会研究员 mike 和 Ritual 机制设计研究员 maryam 认为，PropAMM 是以太坊把更多交易重新带回链上的一个重要方向。
文章指出，传统 AMM 具备可组合性和透明度，但流动性是被动的，容易因 LVR 和价格滞后给用户带来较差成交。RFQ 可以引入专业做市商并给出更优价格，但核心执行发生在链下，流动性不透明，链上可组合性也较弱。聚合器只是把链上池和链下报价做混合路由，不能从根本上解决两者之间的取舍。
PropAMM 的核心设计在于，它仍然是链上合约，保留 DEX 式执行和可组合性，但价格曲线由专业做市商主动管理。做市商通过低成本、高频的参数更新或 oracle 更新，让合约尽量按照实时价格成交。
文中提到，PropAMM 在 Solana 上已经占据较大交易量，关键原因是区块时间短、更新交易成本低。做市商可以通过支付较高单位费用，把价格更新排在交易前面，从而降低因陈旧价格被套利的风险。
以太坊同样可以运行 PropAMM，但面临的约束更强。12 秒 slot 会增加价格过期风险，在 PBS 结构下，builder 还有激励去审查做市商的更新交易，再把陈旧价格带来的套利机会出售给搜索者。
Titan、Quasar 等 builder 目前提供可信通道，能帮助做市商把更新交易放入区块，但这会造成体验不稳定，也可能进一步强化 builder 集中化。文章给出的结论是，PropAMM 能改善以太坊链上交易质量，但前提是同一 slot、区块顶部需要具备抗审查保证。FOCIL 只能部分缓解，协议内 ACE 可能是更根本的解决方向。
比特币协议进展：闪电节点并不等于必须全天在线
在比特币协议进展部分，Anony 澄清了一种常见误解：使用闪电网络，并不意味着用户必须自己运行一个全天候在线节点，移动端自托管钱包也不必然不安全。
文章解释称，闪电通道的安全性来自惩罚机制。如果对手使用旧状态单方面关闭通道，另一方可以在时间锁窗口内发起反击并没收其资金。因此，安全要求并不是永久在线，而是离线间隔不能超过通道设置的反应窗口。用户也可以调整相关参数，或者使用了望塔代为监控。
非全时在线节点的主要短板在收款体验。收款方通常需要在线更新通道状态并释放支付原像，因此移动端钱包可能需要用户及时打开 App。文章称，LSP 配合系统通知可以缓解这一问题，未来异步支付也可能让收付款双方不必同时在线。
相比之下，全时在线节点更适合转发支付和提供路由服务，但也面临远程连接难题，尤其是在公网 IP 稀缺或网络受限地区。NWC 借助 Nostr relay，提供了一种更灵活的远程控制方式。文章总结称，普通用户无需因安全顾虑回避移动端闪电钱包，全时在线节点与移动端节点各有取舍。
这部分内容来自 Bitcoin Optech Newsletter #415。
BIP340 签名全聚合草案
Fabian Jahr 发布了一份新的 BIP 草案，计划为 BIP340 Schnorr 签名引入 DahLIAS 全聚合签名标准。
按照该方案，多个签名可以被合并为一个固定 64 字节的聚合签名，大小不会随着签名者数量增加而变大。协议需要交互执行，并由一个不受信任的协调者降低通信复杂度。
其流程分为两轮：第一轮收集并聚合各签名者公钥随机数；第二轮收集部分签名，并将其合成为最终签名。
文中提到，这一方案的潜在用途包括跨输入签名聚合，以降低多输入交易的体积和链上费用，但相关共识变更并不在这份 BIP 的范围内。
以太坊研究：跨域状态保存的机械化证明
在以太坊研究与进展部分，Oraclizer CPO Jay Kim 提出，跨链桥、Rollup 退出、共享排序器和许可结算链等跨域系统，需要一套可验证的状态保存框架，不能只依赖“状态已同步”这类笼统表述。
文章将核心目标概括为，把不同链或系统之间的状态迁移抽象成可组合的状态机映射，并用 Isabelle/HOL 进行机械化证明。
方案设计上，每个域都被建模为状态、动作、转移函数和终止条件。跨域映射不仅要保存状态，也要保存动作。如果 Rollup 到 L1、L1 到结算链分别满足状态保存条件，那么两段映射组合后，也可以自动得到端到端的状态保存保证。
这一组合还满足恒等映射和结合律，使复杂跨域系统能够拆分成单条路径、逐段验证。
该框架同时引入同步等级。资产可以声明自身需要跨越几条链保持状态一致，系统则声明自己能够支持的最高等级。只有当系统能力不低于资产要求时，才能给出形式化安全保证；否则，就不能声称跨域状态得到了完整保存。
文章认为，这一框架的价值，在于把跨链安全从经验判断转成可证明接口，尤其适用于冻结、限制、没收等监管状态的跨域传递，避免资产在迁移过程中被错误降级。
正和市场微观结构：瓶颈在采用，而不只是设计
开发者 william Glynn 在文中提出，过去十五年，加密行业已经逐步突破执行性能、零知识证明成本、跨域互操作等技术瓶颈，但真正限制行业兑现独特价值的，已经不再是吞吐、证明或桥接，而是激励设计。
他认为，只要默认机制仍然奖励 MEV、投机、流动性捕获和注意力炒作，技术效率的提升只会让提取变得更快，不会自动导向正和协作。
文章称，问题不在于正和机制无法构建，而在于更中立的机制难以成为默认路径。文中以 commit-reveal 统一价格批量拍卖为例进行说明：用户先提交 hash(order || secret) 锁定订单，再在揭示阶段公开订单和秘密；批次内排序由所有揭示秘密共同生成的随机种子决定，成交采用统一清算价。
在这种设计下，搜索者无法买到与受害者相邻的位置，也无法利用批次内连续价格变化去夹击交易，三明治攻击的主要利润来源会被结构性移除。
不过，文章也写到，这类机制有边界。它主要消除的是批次内排序租金，无法消除跨批次 MEV、预言机操纵或更外层的延迟博弈；诚实行为也只是在大市场条件下接近均衡，并不是在所有规模下都构成绝对占优策略。
CoW Protocol 等协议已经实践了类似机制，这说明瓶颈不在于有没有方案，而在于流动性和注意力依旧流向更有提取收益的底层 AMM。文中还指出，许多批量拍卖协议虽然保护了用户免受直接夹击，但大量成交仍依赖 Uniswap 等会受到排序博弈影响的流动性池，本质上是在提取型基础设施之外再包一层保护壳。
文章最后的判断是，加密行业最后的瓶颈，是正和微观结构的采用，而不只是设计本身。真正需要改变的是默认流动性路径、评价指标和注意力分配方式。市场是否成功，不能只看交易量排名，还要看机制是否减少提取、提升协作均衡。若正和机制能够在重视严谨性和实际效果的渠道中得到采用，就能同时证明其价值；若经过充分验证后仍无法推进，这一判断也应被视为可证伪。
MEV 相关：本周暂无重要更新
文章在 MEV 部分提到，本周暂无重要内容更新。
论文：Duet 协同优化 P2P 消息传播与轮换领导者共识
本期论文部分介绍了《Duet: Co-Optimizing P2P Message Propagation and Rotating-Leader Consensus》。
论文作者来自 Shanghai Jiao Tong University、Shanghai Academy of Future Internet Technology、Beijing Academy of Blockchain and Edge Computing，以及 Fudan University。
研究聚焦于区块链中共识层与 P2P 网络相互割裂的问题，并提出 Duet，将网络拓扑和节点延迟纳入可协调的状态信息，以优化轮换领导者共识。
方案包括优化 proposer 顺序、在正常情况下使用树状传播提升效率、异常时回退到 gossip，并依据延迟构建传播树。
实验在 10 个区域、最多 300 个节点上进行测试。结果显示，与传统 gossip 相比，吞吐量最高提升 7.26 倍。