ChainFeeds Research

ChainFeeds Research

Share this post

ChainFeeds Research
ChainFeeds Research
PRO|Flashbots 多层次验证体系、原生 zkEVM 证明市场
Pro 前沿

PRO|Flashbots 多层次验证体系、原生 zkEVM 证明市场

以及 3 篇论文

0xNatalie's avatar
Zhixiong Pan's avatar
0xNatalie
and
Zhixiong Pan
Aug 04, 2025
∙ Paid

Share this post

ChainFeeds Research
ChainFeeds Research
PRO|Flashbots 多层次验证体系、原生 zkEVM 证明市场
Share

欢迎阅读 ChainFeeds PRO # 107。本次内容将包含,以及每周更新内容:比特币协议进展、以太坊治理相关、最新研究和进展,`和最新论文。

重点

Building Trust Through Reproducibility

Flashbots 团队介绍其正在从 Yocto 转向 Mkosi 构建系统镜像,以更好地利用 Debian 生态的可重现软件包,并优化开发流程。Mkosi 的核心优势在于其可重现性——相同的配置和输入总能生成完全一致的镜像,同时还会生成详细的软件包清单,便于验证。为了满足不同用户的安全需求,Flashbots 设计了一套多层次的验证体系:

  • 第一层:完全源码重建验证
    用户可以运行脚本,从源码和对应的构建环境重新编译所有 Debian 包,确保生成的二进制和官方包完全一致,保障最高安全级别,但耗时较长。

  • 第二层:依赖 Debian 持续集成(CI)系统验证
    利用 Debian 官方 reproduce.debian.net 的自动构建结果快速校验包的可复现性,大幅缩短验证时间,同时保持较高的信任保证。未来 Flashbots 会保存这些签名的 CI 结果,进一步增强验证的时效准确性。

  • 第三层:本地镜像对比验证
    普通用户可以直接下载 Flashbots 镜像仓库,构建并对比生成镜像与官方发布版本是否一致,这已超出行业常见标准,适合大多数用户。

在安全威胁分析方面,潜在的恶意攻击者需要同时突破多重防线才能成功实施供应链攻击:不仅要入侵 Debian 的官方构建服务器,还需要攻破独立的可重现性 CI 系统,同时还要绕过 Flashbots 自身的安全防护。由于整个验证体系建立在完全公开透明的技术架构之上,这种需要多方协同的大规模攻击行为极难隐藏。


比特币协议进展

为什么 Keystone 要实现 Shamir 备份

Keystone 团队详细介绍了 Keystone 硬件签名器新支持的 SLIP39 标准 Shamir 备份功能,这是一种通过数学算法将比特币钱包的种子词分割成多个片段(2-16份)的备份方案,用户可自定义复原所需的片段数量(如 5 份中需 3 份即可恢复)。Keystone 首先分析了种子词备份面临的三大风险:记忆遗忘、物理备份被盗或损毁,指出单纯复制备份既增加泄露风险又无法完全避免单点故障。相比传统备份方式,Shamir 备份在安全性和容灾性上更优,例如即使丢失部分片段仍可恢复钱包。

但 Keystone 也客观指出了该技术的局限性:目前仅 Keystone 和 Trezor 硬件钱包支持 SLIP39 标准,若设备损坏可能难以用其他品牌恢复;操作复杂度较高,不适合对技术理解不足的用户。针对潜在使用者,Keystone 给出了实用建议:先用测试币练习操作、优先选择金属材质备份(如 Keystone 的金属板)、谨慎选择片段保管人(避免信息串联),并提前规划继承安排。

Bitcoin Optech Newsletter #365

  • 紧凑区块预填充测试:David Gumberg 分享了关于紧凑区块预填充机制的测试结果。该机制是指节点在发送新区块时,提前向对方发送一些区块中的交易,以帮助其更快重构区块。结果显示,不考虑网络延迟时,简单的预填规则可将重构成功率从 62% 提升至 98%;考虑网络传输后,部分预填可能造成额外通信,略微降低性能,但若优化策略,可将成功率稳定在 93% 左右。

  • 基于内存池的费用估算库:Lauren Shareshian 发布了由 Block 公司开发的手续费估算库 Augur。与其他工具不同,Augur 仅依赖 mempool 中的交易流入情况来估算费用,不使用区块确认数据等外部信息。测试结果显示,Augur 估算出的手续费能让 超过 85% 的交易在目标时间内确认,同时其平均 费用高估率仅为 16%,表现优于许多主流工具。


以太坊

研究和进展

An Ethereum Prover Market Proposal

以太坊研究员 Julian 提出并详述了一个原生 zkEVM 证明市场(Prover Market)机制,旨在为以太坊主网上未来集成 zkEVM 时提供区块级零知识证明(ZK proof)支持,并在无需依赖第三方中继(Relay)的前提下,解决区块构建者(Builder)与证明者(Prover)之间的公平交换问题,该机制由以太坊协议原生管理激励与支付流程。在 zkEVM 集成的场景中,每个区块都需要生成有效的 zk 证明。构建者必须为此向证明者支付报酬,但也需要确保只有在证明交付之后才支付;反过来,证明者也希望在确认能获得报酬的前提下才进行计算。传统解决方案依赖中继协调双方,但中继存在中心化和信任风险。为解决上述问题,Julian 提出的以太坊 Prover Market 机制包含了以下几个核心阶段:

  • 区块构建阶段(Slot n):

    • 构建者计算区块的证明燃料(prover gas)g(衡量证明难度)。

    • 协议根据市场价p设定奖励,构建者将奖励存入系统合约(分k个证明系统,如k=3)。

  • 证明阶段(Slot n):

    • 证明者生成证明并附加收款地址 recipient_address,在截止时间前提交到网络。

  • 奖励分配(Slot n+1):

    • 下一个区块的构建者必须引用所有有效证明,并将奖励按比例分配给证明者(通过系统合约自动执行)。

    • 若证明不足,奖励退回或销毁。

eODS (Enshrined Operator Delegator Separation): a Delegation model proposal

以太坊开发者 GoronDan 提出了一种名为 eODS(enshrined Operator Delegator Separation) 的协议级委托方案,旨在将以太坊的质押和治理机制从依赖第三方智能合约转向更去中心化、透明的原生支持。当前,以太坊的委托主要依靠流动性质押服务(如 Lido),导致资本集中在少数服务商手中,委托者仅提供资金而无法参与验证者选择或治理,同时频繁的验证者进出增加了网络负担。相比之下,Cosmos、Solana 等链通过协议原生委托实现了更公平的治理和风险共担。

eODS 的核心创新在于协议层直接管理委托关系,将验证者角色拆分为 Operator(运行节点) 和 Delegator(提供资金并参与治理)。ETH 持有者通过存款合约成为 Delegator,验证者需主动注册为 Operator 才能接受委托。委托、取消委托和重新委托等操作通过执行层交易触发,由共识层动态调整配额,确保奖励和惩罚(包括Slashing)按比例分配。该模型引入快速重新委托 机制,减少验证者频繁更替,并支持早期流动性,允许验证者在退出时通过 Delegator 提前获取资金(需抵押保证金)。

eODS 的优势在于降低中心化风险(鼓励家庭节点参与)、优化资本效率(减少冗余Churn)和增强治理参与(委托者拥有协议级话语权)。但其挑战在于协议复杂度的增加,以及委托者需直接承担 Slashing 风险可能影响采用率。

Maintaining Effective Blob Fee Markets During Network Scaling: Dual-Variable EIP-1559

开发者 HSIAO PO WEN 提出了一种改进以太坊 blob 数据定价机制的方案,旨在解决当前 EIP-1559 在扩容过程中因供需失衡导致的费用市场失效问题。随着以太坊通过 PeerDAS 和后续升级(如 Fusaka 分叉)大幅提高 blob 容量,需求增长无法同步跟进,导致 blob 费用长期接近零,市场失去价格调节功能。同时,当需求偶尔接近目标值时,费用会因少数大用户的集中使用而剧烈波动,影响用户体验和网络经济安全。

为解决这一问题,HSIAO PO WEN 提出双变量 EIP-1559 机制,在原有基础费用动态调整的基础上,新增目标容量(target_blob_gas)的动态调节。具体来说:

  1. 基础费用 仍按 EIP-1559 规则调整,但引入更稳定的响应曲线,避免极端波动。

  2. 目标容量 不再固定,而是根据长期需求趋势自动调整:当 blob 需求持续低迷时,降低目标以减少供应过剩;当需求增长时,逐步提高目标以适应扩容。目标值的调整受预设的上下限约束(如 3~48 blobs),确保网络稳定性。

模拟数据表明,该机制能有效应对不同需求场景:

  • 需求低迷期:费用维持在合理下限,避免完全失效。

  • 需求增长期:目标容量逐步上调,平滑费用波动。

  • 需求爆发期:目标触及上限后,回归传统 EIP-1559 调控,确保网络不被过载。

相比现有方案(如依赖硬分叉的 BRO 扩容),该机制自动化调整供需,减少人为干预需求,同时兼容未来更高扩容目标(如 512 blobs)。此外,它可扩展至区块 gas limit 调整,避免执行层出现类似问题。


MEV 相关

The MEV Letter #98

Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter,以下是一些重点摘录:

  • 文章《An MEV Perspective on Glamsterdam》探讨 Glamsterdam 核心提案在区块构建、拍卖设计、抗审查性和地理去中心化等方面的权衡。

  • 文章《The Free Option Problem in ePBS》描述了 ePBS 中的 8 秒延迟如何导致区块构建者在市场波动期间战略性地暂停出块,并探讨了可能的缓解措施。

  • 文章《Key Insights from a Formal Framework of the Ethereum Staking Market》分析了在不同发行计划下以太坊质押者的战略行为。

  • 文章《Privacy-Preserving LLMs in Practice: A Full-Stack Approach with dstack and GPU TEE》概述了 Panda 的架构,这是一个端到端加密的 LLM,利用 Dstack 进行可验证隐私,并进行链上证明。

  • 视频《All Core Devs - Consensus #161》邀请 Maria Silvato 讲解关于时隙时间的研究进展。

  • 视频《FOCIL Breakout #16》探讨 ePBS 与 FOCIL 的兼容性,强调两个提案可以无冲突地协同集成。

  • 视频《Uniswap Foundation: Angstrom: The DEX that defends LPs》讨论了 DEX「Angstrom」的设计理念及其如何通过机制保护流动性提供者和交易者免受 MEV 影响。

  • 视频《Deeply Intents: Stop Gaslighting》邀请 Josh Bowen 深度探讨排序、订单流、MEV 等核心机制与实践策略。


📑论文

Blockchain-Based Decentralized Domain Name System

作者来自:University of California, Berkeley

作者提出了一种基于区块链的去中心化域名系统(DDNS),旨在解决传统 DNS 基础设施的关键漏洞,如投毒攻击、审查机制和中心化单点故障。该系统采用专门设计的 PoW 区块链,结合 IPFS 分布式存储,并通过加密原语提供端到端信任签名和「永不信任、始终验证」的零信任机制。实际部署显示,DDNS 可实现 15 秒域名记录传播,支持 20 种标准 DNS 记录类型,并永久免费提供 .ddns 域名。性能测试表明:极简交易吞吐量达 1,111.1 TPS,常规域名操作达 266.7 TPS,且通过智能缓存保持亚秒级查询响应。

This post is for paid subscribers

Already a paid subscriber? Sign in
© 2025 ChainFeeds
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share