PRO｜Firedancer 软件升级的测试、提议者角色分离的可能性分析
Bitcoin Core 28.0 交易池特性钱包集成指南，以及 3 篇论文
欢迎阅读 ChainFeeds PRO #80 。本次内容将包含 Solana 加强对 Firedancer 软件升级的测试，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
Solana Pushes Validators to Test Early Firedancer Upgrade
Solana 正在加强对 Firedancer 软件升级的测试，Firedancer 由 Jump Crypto 团队开发，主要解决 Solana 之前面临的系统崩溃和速度瓶颈问题。该升级预计能使 Solana 的交易处理速度达到每秒 100 万笔，比现有任何基于区块链的系统都要快。
Firedancer 采用 C 和 C++ 语言设计，相比现有的 Rust 语言客户端，具有更高的稳定性，并减少了内存泄漏等问题导致的崩溃风险。它引入了并行化处理和瓦片架构，使得网络能够更加高效地分配计算资源，提高吞吐量和响应速度。此外，Firedancer 增强了 Solana 的安全性，减少了因客户端故障导致的网络崩溃风险。
比特币协议进展
Bitcoin Core 28.0 交易池特性钱包集成指南
Gregory Sanders 讲解了 Bitcoin Core 28.0 引入的 1P1C（父子交易包转发） 和 TRUC（确认前拓扑受限交易） 特性，为交易池的传播和手续费替换提供了新的解决方案。通过这些特性，钱包和交易类型的交互得到了极大的改进，尤其是在处理低费率交易和预签名交易时。
1P1C 交易包转发：1P1C（父子交易包转发） 允许钱包通过子交易为父交易支付手续费，从而使得即使父交易手续费低于动态最低费率，整个交易包依然能够进入交易池。这是通过将父交易和子交易捆绑在一起，在传播过程中对子交易进行手续费追加（子为父偿，CPFP）来实现的。在 Bitcoin Core 28.0 中，1P1C 是通过特定的交易包格式进行支持的，但它仍然有一些限制，比如 交易包传播的保证是受限的，在遇到足够强大的敌手时，传播可能会失败。
TRUC 交易（v3 交易）：TRUC 交易是一种受限制的交易类型，旨在为交易池中的手续费替换提供更健壮的机制。TRUC 交易允许零手续费交易，通过子交易支付手续费来支持整个交易包。TRUC 交易必须满足一定条件：如交易版本号为 3，且交易体积和拓扑结构必须受到限制。特别地，所有 TRUC 交易都应当使用 完全可替换的手续费（即 RBF），并且仅允许与其他 TRUC 交易交互。
Bitcoin Optech Newsletter #336
修复比特币核心漏洞前调查矿池行为：Abubakar Sadiq Ismail 在 2021 年发现了比特币核心漏洞，该漏洞导致节点在为 coinbase 交易生成区块模板时，预留了额外空间。修复此漏洞可能导致依赖此机制的矿工生成无效区块，从而造成收入损失。 Ismail 分析了过去的区块，发现部分矿池使用了特殊设置，不会因漏洞修复而受损。为了降低风险，建议增加启动选项，默认保持现有设置，同时允许矿工根据需求调整预留空间大小。
LN-Symmetry 协议中的合约级相对时间锁：Gregory Sanders 提出 LN-Symmetry 协议在面对通道状态更新和确认时可能引发「2倍延迟问题」，增加了通道拥堵攻击的风险，可通过合约级相对时间锁限制结算交易的执行顺序，从而避免延迟问题。另外还有一些替代方案，如 Chia 区块链的 coinid 特性、Jeremy Rubin 的 muon outputs 提案，以及基于惩罚机制的变体设计。这些方案各有优劣，主要关注如何在保证协议安全的同时提升其操作效率。
带惩罚机制的多方 LN-Symmetry 变体：Daniel Roberts 提出仅允许通道参与者确认单一状态的方案，并引入惩罚机制，以使提交过时状态的参与者承担经济损失。该方案的缺陷在于：最后签名的一方可以独占当前最终状态，导致其他参与者在尝试关闭通道时可能面临资金损失。
以太坊
研究和进展
Faster block/blob propagation in Ethereum
以太坊研究员 potuz 提出用随机线性网络编码（ RLNC）替代传统 Gossipsub 协议，解决当前区块传播过程中的带宽浪费和延迟问题。RLNC 是一种高效的数据传输和分布式存储技术，通过对原始数据进行随机线性组合来生成新的数据包，极大提高了传输效率和可靠性。它的核心思想是将多个数据块通过随机系数组合成新的编码数据包。只要接收到足够多的线性独立编码包，就能还原出原始数据。RLNC 的优势就在于随机编码+高效解码，通过创新的传播方式优化了网络效率和可靠性。
Exploring Sophisticated Execution Proposers for Ethereum
以太坊研究员 Julian 分析执行提议者角色分离的可能性及其对以太坊网络的影响。
分离的可能性
技术可行性：当前已有 MEV-Boost 和 APS 等提案支持角色分离。提议者分离需要重新定义职责范围，并提高硬件性能要求。
经济可行性：提议者通过市场机制（如交易费和 MEV）获利，可吸引专业化服务商参与。但市场机制可能导致提议者集中化，需要协议设计限制过度集中。
协议实现复杂性：分离可能需要通过硬分叉实现，需社区达成共识并制定过渡方案。
分离的潜在影响
去中心化：核心验证职责更简单，吸引更多普通参与者，提高去中心化。但执行提议者可能因复杂性和硬件门槛趋于集中化。
网络安全性：分离降低验证者集中化风险，但执行提议者集中化可能削弱抗审查能力。
性能优化：专业提议者支持更大区块和更高吞吐量，提升网络性能。高性能提议者有助于未来协议升级。
用户体验：减少交易确认时间，提升用户体验。补充抗审查机制（如 FOCIL），确保交易上链。
Forking the RANDAO: Manipulating Ethereum’s Distributed Randomness Beacon
ELTE 研究员 Seres István András 分析了 RANDAO 的可操纵性，发现并提出了新的操纵策略，即结合「自私混合（selfish mixing）」和「分叉攻击」的综合手段，并提出了几种短期应对措施（如延长 epoch 长度、降低提案者激励等），并指出长期目标应是构建不可偏向的随机性协议，建议在不诚实多数环境下引入可验证延迟函数（VDF），或在诚实多数环境下采用加权阈值 VRF。
可编程密码学
Confidential ERC20 Framework using Fully Homomorphic Encryption (FHE)
Inco 团队介绍了保密 ERC20 框架，该框架将 ERC20 代币转变为一种保密形式，隐藏余额和交易金额，并提供可选的查看和转账规则，以满足监管要求或增强程序化风险管理。尽管发送者与接收者之间的联系仍然存在，保密 ERC20 通过使用加密方法，特别是全同态加密（FHE），在保持隐私的同时管理风险，允许对加密数据进行操作而无需解密。
Zama 最近发布的四个更新版本
Concrete-ML v1.8.0：支持 LoRA 微调 Llama 3.2，全面兼容 Python 3.12，新增 GLWE 矩阵乘法优化混合模型性能。
TFHE-rs v0.11.0：基于 Rust 的同态加密库更新，可能包含性能提升和安全性改进，进一步优化互操作性。
Concrete v2.9.0-GPU：引入 GPU 支持，大幅提升计算性能，支持 Python 3.8 至 3.12 的多平台兼容。
Concrete v2.9.0-CPU：增强与 TFHE-rs 的互操作性，优化虚拟电路性能，支持更广泛的数据类型及 Python 3.12。
MEV 相关
The MEV Letter #69
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《Conditional-Recall》展示了如何通过条件回忆实现选择性遗忘，从而为信息市场、谈判等领域解锁全新的机制设计。
文章《Exploring Sophisticated Execution Proposers for Ethereum》探讨了是否可以将执行区块提议者的角色从验证者的其他职责中拆分出来，并创建一种全新的、专业化的服务提供商类别，专门负责执行提议者的角色。
文章《Accelerate L2 Interoperability》强调了解决 L2 互操作性问题的重要性，并概述了目前的进展和下一步计划，以实现快速且安全的跨链通信。
文章《Faster block/blob propagation in Ethereum》提议使用随机线性网络编码（RLNC）替代以太坊现有的 gossipsub 协议，以减少延迟、降低带宽并改进区块传播效率。
会议《Native Rollups Call #0 》由 mteam 主持，讨论了嵌入到以太坊 L1 的执行环境，这些环境继承了以太坊的安全性和可组合性。
视频《Let’s Talk: E5》邀请 Jünger 讨论基于 Rollups 的解决方案、Taiko 项目，以及可信执行环境（TEEs）如何提升 L2 证明系统的性能。
📑论文
Short Paper: Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers
作者来自：Imperial College London、NOVA Information Management School
作者开发了一个模型用于评估在两种常见的 Constant Product Market Maker（CPMM）流动性池中进行原子执行时的套利利润，并证明切换到原子执行并不总是能提高利润。另外还深入探讨了原子执行可能不足以说服套利者和 rollup 交易者采用共享排序的原因。