欢迎阅读 ChainFeeds PRO # 88。本次内容将包含 Solidity 新版本发布,以及每周更新内容:比特币协议进展、以太坊治理相关、最新研究和进展,和最新论文。
重点
Solidity 0.8.29 Release Announcement
Solidity 团队发布了新版本 0.8.29,主要内容包括:
EVM 对象格式(EOF)的实验性支持:该版本引入了对 EVM EOF 的实验性支持,目前仅在 Osaka EVM 版本中可用;EOF 提供了对
SWAPN
和DUPN
操作码的访问,扩展了可访问的堆栈部分,几乎消除了堆栈过深错误。现有合约可能需要调整才能兼容 EOF,该功能目前仍处于实验阶段。支持自定义存储布局:允许合约存储变量在特定地址处存储,该功能优先考虑 EIP-7702,未来可能扩展支持 ERC-7201。
初步支持 ethdebug:ethdebug 是一种用于智能合约的调试数据格式,目前支持指令和源码范围生成,但仅适用于未优化的 IR 编译,用户可以通过
--
ethdebug 启用 ethdebug 输出。其他改进和错误修复:修复了多个与编译器内部错误、元数据生成、类型检查等相关的问题,改进了 SMTChecker 的功能和错误处理,支持 Osaka 版本的 EVM。
构建系统和依赖项更新:Linux 发布版本再次完全静态化,不再依赖 glibc;编译器目标标准从 C++17 切换到 C++20;solc-js 包装器现在至少需要 nodejs v12。
The Target Demand Paradox in the Blob Fee Market: An Analysis of EIP-4844 & EIP-7961
开发者 HSIAO PO WEN 分析了 EIP-4844 引入的 Blob 交易机制及其导致的目标需求悖论(Target Demand Paradox),即市场需求不足或过于稳定,导致 Blob 价格长期停留在最低值(1 wei),无法形成有效定价。
优化方案:
对称化 Base Fee 机制:调整 Base Fee 涨跌速率,使价格浮动更均衡,并优化目标/最大 Blob 比例,如 4/8、5/10、6/12。
提高最小费用(EIP-7762):提升 MIN_BASE_FEE_PER_BLOB_GAS,加速价格发现,但可能增加 Rollup 成本。
设置初始高费用(荷兰拍机制):初始 Blob 费用设高,逐步下降,引导市场更快进入均衡。
比特币协议进展
使用比特币测试网的实用建议
匿名作者建议在使用新的软件钱包或硬件签名器时,先在比特币测试网上进行测试,以避免直接在主网存入有价资产的风险,并总结了一整套安全测试比特币钱包和签名器的流程:
选择测试网
推荐使用 testnet4 或 signet,确保钱包或签名器支持测试网模式。
使用公开测试网服务端(简单方式)
通过 Sparrow 钱包等软件连接公开的测试网服务端,无需本地同步区块链。
避免在主网上使用公开服务端,以免泄露隐私。
领取测试币
从水龙头网站获取测试币。
只输入测试网钱包地址,不提交其他个人信息。
测试后可将测试币归还水龙头。
本地运行测试网节点(进阶方式)
下载 Bitcoin Core(确保是 28.0 及以上版本)。
验证 SHA256 和 GPG 签名,确保安装包安全。
配置
bitcoin.conf
并运行本地节点(同步 signet/testnet4)。连接本地节点(提高安全性)
在 Sparrow 钱包中手动连接 本地 Bitcoin Core,提高隐私性。
连接参数:signet:127.0.0.1:38332。testnet4:127.0.0.1:48332
测试连接,开始测试钱包和硬件签名器。
Bitcoin Optech Newsletter #345
P2P 流量分析:Virtu 分享了他对比特币节点在不同模式下的网络流量分析,重点发现包括:1.作为完整监听节点,它每小时向其他节点提供数 GB 的区块数据,主要是响应其他节点的 IBD 请求。2.作为非存档监听节点,约 20% 的总流量来自
inv
消息,Erlay 协议可能会显著降低这一开销。3.许多入站连接的节点可能是监听节点,它们只进行 P2P 握手并响应 ping 请求,但几乎不进行其他数据交换。单路径 LN 路径寻找研究:Sindura Saraswathi 和 Christian Kümmerle 研究了 LN 单路径支付的最优路径选择。研究发现,不同算法在成功率、最低费用、最短锁定时间、最短路径等方面各有优势,没有绝对最优方案。建议 LN 实现允许用户根据支付场景调整权重(如小额支付优先成功率,大额支付优先低费率),让用户根据不同支付需求选择最优路径。
基于 XOR 和哈希函数的概率支付:Robin Linus 提出了一种基于 XOR 和哈希函数的概率支付脚本,核心机制是双方各自选择一个随机值,并用不同的哈希函数处理,然后互相交换承诺值,并创建链上资金交易,其中付款条件基于 XOR 计算结果(如 0 或 1 归 Alice,2 或 3 归 Bob),资金确认后,双方公布各自的随机值,并根据 XOR 结果确定最终付款接收者,该方案可以扩展加入超时和节省空间的互协议条款。
以太坊
研究和进展
MEV: Scalable fair-ordered DAG Mempool (DAGPool)
Orochi Network 创始人 chiro-hiro 介绍了 DAGPool,一个基于 DAG(有向无环图) 的 mempool(交易池) 协议,旨在解决以太坊面临的 MEV 问题、交易排序公平性问题、审查风险和可扩展性问题。结合了 gossip-DAG 数据结构 和 FIFO + 投票排序机制,提供高吞吐量的交易处理方式,适用于 Layer 1 或 Layer 2 区块链,兼容以太坊现有生态。
DAGPool 交易处理流程:
交易传播:交易在网络中广播,并形成 DAG 结构,其中每个交易都会通过节点间的 gossip 机制 进行传播,确保全网同步。
交易排序
FIFO 机制(谁先到谁先排):例如,Alice 发送交易 A,Bob 发送交易 B,如果 A 先传播到大多数节点,那么 A 应该先执行。
投票机制(多数决定顺序):每个节点都会对交易顺序进行投票,例如:
如果 70% 的节点认为 A 先于 B,那么 A 应该排在 B 前面。
如果 50% 的节点认为 B 先于 A,那么两者可以随机排列。
这一机制可以防止矿工故意调整交易顺序,确保交易排序的公平性。共识确认
DAGPool 采用 Leader 机制,系统会 随机选出一个 Leader,在每个共识轮中执行以下任务:
确定交易批次(哪些交易进入本轮排序)。
运行公平排序算法(结合 FIFO + 投票排序)。
提交最终排序结果。
由于交易已经传播到全网,Leader 无法私自修改排序,只能按照 FIFO + 投票排序 的结果进行最终排序,从而保证系统的透明度和抗审查能力。
Towards safe optimization the storage related gas cost
开发者 Zheyuan He 讨论了以太坊存储相关的 gas 费用优化,主要研究了当前存储操作中 gas 计算存在的不一致性(overcharging issues),即某些情况下存储访问的 实际计算负担远低于 gas 费用,导致交易成本被 过度收取。研究发现,主要存在 三种不一致问题:(1)在同一区块内多次访问相同存储槽或账户时,本应按内存访问计费,但仍按磁盘访问计算 gas;(2)在 128 个区块的缓存窗口内进行多次读取,本应按缓存数据计算 gas,但仍按磁盘读取计费;(3)部署相同字节码的智能合约时,本应直接引用已有代码,避免重复存储费用,但仍被收取完整的存储 gas 费用。针对这些问题,研究提出四条优化规则,确保存储操作的 gas 费用更准确地反映实际计算消耗。实验评估显示,该优化方案可使交易成本降低 32%,比 EIP-2929 提升近三倍,为以太坊的存储 gas 计算合理化提供了新的方向。
可编程密码学
RaceTEE: A Practical Privacy-Preserving Off-Chain Smart Contract Execution Architecture
Keyu Zhang 介绍了 RaceTEE,一个面向智能合约的隐私保护型链下执行架构,利用 TEE 解决链上智能合约的隐私泄露和高计算开销问题。其核心机制是「链上排序,链下执行」,即交易排序仍在链上进行,以确保一致性和抗审查性,而具体计算 则由 TEE 负责链下执行,以提升效率并保护隐私。此外,RaceTEE 采用竞争性执行机制,允许多个 TEE 实例竞争执行相同交易,从而增强系统的安全性和鲁棒性,并克服了传统 TEE 方案在合约交互、密钥安全和兼容性方面的局限性,使其能够无缝集成至现有区块链生态。
MEV 相关
The MEV Letter #78
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter,以下是一些重点摘录:
文章《Beyond Yocto: Exploring Mkosi for TDX Images》探讨了 Mkosi 作为构建 TDX 镜像的替代选择,平衡了安全性、可重现性和开发者体验。
文章《Economic Censorship Games in Fraud Proofs》分析了在 Optimistic Rollup 证明中的经济审查问题,其中攻击者通过贿赂区块提议者来延迟欺诈证明。
文章《Preconfirmation Fair Exchange》提出了一个框架,用于分析旨在强制执行预确认的及时公平交换的协议。
文章《MEV: Scalable fair-ordered DAG Mempool (DAGPool)》介绍了一种基于 DAG 的内存池,旨在增强以太坊的可扩展性、交易排序公平性和抗审查性。
文章《Revert Protection for Rollup》解释了为什么 Rollup 的回滚保护很重要,并概述了 Rollup-Boost 如何在区块包含之前过滤这些交易。
文章《Delayed Execution Design Tradeoffs》评估了 EIP-7862、EIP-7886 和 EIP-7732 在延迟执行方面的权衡。
文章《Designing Cross-L2 Interoperability Standards: The Impact of Shared Resources》探讨了 L2 的快速增长,并提出了减少碎片化和增强互操作性的解决方案。
会议《AI Data Summit》讨论了在用户数据所有权经济中,确保隐私和安全性所需的基础设施。
视频《Infinite Jungle: Ethereum’s Culture Problem》邀请 @Hasu 讨论 Lido V3 以及以太坊研发文化的现状与挑战。
视频《Blockchain Intent Auctions》详细分析了当前交易意图拍卖(Trade Intent Auctions)的局限性,并提出了一种新的拍卖设计来解决这些问题。
📑论文
Public Channel-Based Fair Exchange Protocols with Advertising
作者来自:Sapienza University of Rome
Layer 2 方案(如 ZK-Rollups)在提升区块链扩展性的同时,仍面临的安全性和抗审查性问题,主要包括中心化控制风险和 Layer 1 合约约束力不足。作者利用 Alloy 规格语言对关键功能(如强制交易队列、安全黑名单机制和升级机制)进行形式化分析,识别现有机制的漏洞,并提出改进方案,以增强 ZK-Rollups 的安全性和抗审查性,从而为未来 Rollup 设计设立更高的安全标准。