PRO｜EIP-7623 对个人账户的影响、a16z：性能更高的 zkVM Jolt
以及 BitVM 的改进版 BitVM2、调节 ETH 发行量的候选奖励曲线等
欢迎阅读第四十八期 ChainFeeds PRO Newsletter。本次内容将包含 EIP-7623 产生影响的分析、性能更高的 zkVM：Jolt，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
EIP-7623 - Post-4844 Analysis
EIP 7623 旨在通过增加交易中使用以太坊主要用于数据存取（DA）的成本，来减小区块的最大可能大小，从而降低网络的负担和促进进一步的扩容。对于非零字节的calldata，成本将设定为 48 gas，而对于零字节的 calldata，则成本为 12 gas。以太坊基金会研究员 Nerolation 分析了 EIP-7623 对个人账户的影响。
Nerolation 发现只有约 3% 的交易需要支付更高的 calldata 成本，而这些交易主要由 1.4% 的活跃发送者发起。因此，对用户的整体影响是微小的。受影响的用户主要包括两类：
使用 calldata 进行数据存取的 Rollups： 这些用户可能会受到较大的影响，因为他们通常需要较大量的 calldata 来执行数据存取操作。然而，这一影响仍然被认为是可以接受的，因为这只影响了一小部分用户，并且这些用户通常会通过其他方式来优化其交易成本。
将「消息（messages）」放入交易 calldata 的用户： 这类用户的影响相对较小，因为他们通常将较小的消息附加到交易中，而不是大量的数据。因此，他们的交易成本增加的影响并不显著。
A new era in SNARK design: Releasing Jolt
a16z crypto 介绍了 Jolt 项目，一种 zkVM（零知识虚拟机），允许证明者证明他们正确运行了指定的计算机程序。相比当前的 zkVM，Jolt 更简单、更易于审计和扩展，降低了出错的可能性，并且使更多的人能够在更多的应用中使用它。
性能提升：Jolt 相较于当前状态下的 zkVM 设计，性能提升明显，初始实现已经达到了 2 倍的速度提升，并且还有更多的优化空间。
简单易用：相比现有的 zkVM，Jolt 更简单、更易于审计和扩展，降低了出错的可能性，使得更多的开发者能够应用它在各种应用中。
突破性设计：Jolt 采用了 sum-check 协议等新颖的设计来提高性能，避免了当前 zkVM 设计中的一些瓶颈问题，为未来的 SNARKs 设计提供了新的思路。
基于椭圆曲线的承诺方案：Jolt 使用了基于椭圆曲线的承诺方案，相较于基于哈希的方案，性能更高，这一优势在处理小值时尤为显著。
可扩展性：Jolt 的设计使得扩展指令集变得更加容易，开发者只需指定新指令的「分解」，即将新指令分解为对较小数据类型操作的「子指令」，从而轻松扩展功能。
安全性：Jolt 通过 sum-check 协议等多轮交互来保证安全性，而且在转换成非交互证明时，不会引入安全性问题，保证了系统的整体安全性。
比特币协议进展
BitVM 2：比特币上的免许可验证
BitVM 初版的设计局限在于只有两个参与者，并要求所有验证者在编译时就必须定义好，这在某些情况下可能不够灵活或者不够安全。Robin Linus 提出改进版的 BitVM2，BitVM2 引入了多方参与的概念，允许任何人都可以作为验证者，从而消除了之前版本中必须在编译时定义验证者的限制。这一变化使得在运行时任何人都可以挑战一个无效的断言，而不需要具备初始化团体成员的身份。BitVM2 简化了整体设计，降低了系统的启动开销，并将审判的最长轮次降低到了两轮，从而提高了系统的效率。
MuSig2 签名会话中的状态最小化
MuSig2 签名会话时保存状态需要在设备上持久化存储大量状态，特别是在涉及多个输入和 MuSig2 公钥的情况下。这可能导致对于嵌入式硬件签名设备来说存储空间成为稀缺资源，同时给签名流程带来一定的复杂性和挑战。开发者 salvatoshi 提出在 PSBT 层面的会话中持久化存储少量状态，以兼容并补充 BIP-0327 中的默认签名流程。通过同步随机性的签名流程，该方法为每个输入和 MuSig2 公钥生成必要的状态，从而解决了状态持久化的挑战，并确保了签名流程的安全性和可靠性。
Bitcoin Optech Newsletter #296
重新审视共识清理（Consensus Cleanup）提案：Antoine Poinsot 在 Delving Bitcoin 上发布了关于重新审视 Matt Corallo 2019 年共识清理提案的帖子。提案旨在解决慢速区块验证时间、潜在的闪电网络攻击、轻量级客户端的漏洞以及完整节点的混乱的问题。Antoine Poinsot 还建议解决影响完整节点的重复交易问题。
选择新的 BIP 编辑人员：Mark 「Murch」 Erhardt 提议在论坛上表达对候选人的支持或反对意见，在截止日期前，如果有候选人获得广泛支持，他们可以被添加为新的 BIP 编辑人员。
治理
This Week in Governance - April 6: Structures, Services, and Singularities
MakerDAO 与 Aave 等 DeFi 戏剧：MakerDAO 将 Ethena 的 USDe 纳入其抵押品池后，提议大幅增加其借贷容量，以增强DAI的使用率。其他 DeFi实 体对此表示担忧，导致一些实体重新考虑在其平台上 DAI 的抵押品地位。
DAO 治理挑战：最近关于 DAO 治理和结构的讨论颇多。首先，CityDAO 的领导者 Scott Fitsimones 决定因无法就 DAO 的方向达成共识并实现其对项目的愿景而退出领导职务。可能因此导致 CityDAO 解散。在 BanklessDAO，有一个修改后的提案旨在重组 DAO，重点是提高透明度和包容性。ENS的一个提议旨在通过引入「ENS匹配」和「惯性代表性投票权（inertial delegated voting power）」来解决选民冷漠问题，并增加去中心化。Arbitrum正在考虑创建一个运营公司来增强DAO应对运营挑战的能力、推动生态系统增长并促进创新。
Frax 发布了 Frax Singularity Roadmap 第一部分：概述了将 Frax 的所有方面整合到一个统一生态系统中的全面愿景，这个路线图将 Fraxtal 概念作为 Frax 生态系统的操作系统，旨在创建一个数字国家 Frax Nation，拥有自己的文化和数字空间，强调了战略资源分配向改变游戏规则的产品和本地 Frax 资产的重点，旨在到 2026 年底将总 TVL 达到 1000亿 美元，投票于3月30日结束，几乎 100% 投票赞成。
Safe：解除 SAFE 代币合约暂停（启用可转让性）：这项提议旨在通过调用 SafeSnap 模块上的解除暂停功能来启用 SAFE 代币的可转让性，未解除暂停的代币仍然无法转让。最早的可转让日期为 2024 年 4 月 23 日，目的是增加市场参与度和 SAFE 代币的实用性，同时强调对治理参与和生态系统增长的影响。
以太坊
研究和进展
Blob Preconfirmations with Inclusion Lists to Mitigate Blob Contention and Censorship
Primev 研究员 Christian Matt 介绍了一种区块链协议的机制，用于在区块链上预先确认数据（blob）的包含情况。这一机制涉及到预确认提供者通过拍卖竞标成为下一个时间段的 leader，并在赢得拍卖后发布包含预确认数据的列表。这些列表被视为包含信息，需要被所有参与者遵守。目标是允许 L2 排序器等依赖于 blob 包含情况的实体获得关于它们包含情况的确定性，防止审查，以及可能缓解将来包含许多 blob 的区块的延迟问题。
Reward curve with tempered issuance: EIP research post
RIG 研究员 aelowsson 指出随着更多 ETH 被质押，发行量将大幅上升。然而，如果奖励过多，可能会导致不必要的激励，甚至成为不良补贴，产生许多负面影响。因此，他提出了一种调节发行量的候选奖励曲线（candidate reward curve），旨在在维持可靠的共识激励、经济安全、抵抗攻击的同时，有效地调节质押数量，并为独立质押提供可行的条件。选奖励曲线将当前奖励曲线的方程除以 1+D/k，其中 D 是当前质押数量（也称为「存款大小」），k 是单个调整变量，定义了峰值发行量点的质押数量，同时也对应于相对于当前奖励曲线减半的点。建议在近期设定k=226（约为 6,710 万 ETH），并随后可能将其最终调整为 k=225（约为 3,360 万 ETH）。
Fault Proof Deep-Dive Part 2: Cannon
OP Labs 成员 Alexis Williams 介绍了 Coinbase 的区块链安全团队（BlockSec）与 OP Labs 合作项目「Fault Proof Deep-Dive Series」系列，旨在深入探讨 Fault Proofs 的各个主要组成部分。
Fault Proofs 是一种用于解决区块链 Layer 2（L2）争议的机制。它旨在提供一种有效的方法来解决在 L2 区块链上发生的任何争议，例如由于执行错误的交易或不一致的状态而引起的争议。Fault Proofs 架构通常包括两个主要组成部分：onchain 和 offchain 实现。
Onchain 实现：通常指的是一种智能合约或虚拟机，负责接收争议事件的证据，并根据这些证据来解决争议。在 Fault Proofs 中，onchain 实现通常被称为 MIPS.sol，它负责在链上执行 MIPS（Minimal Instruction Set for Private Systems）指令，并根据执行结果来解决争议。
Offchain 实现：这是一个运行在链下的系统，负责生成执行证据并协助链上解决争议。在 Fault Proofs 中，offchain 实现被称为 Cannon，它是一个用 Golang 编写的虚拟机，负责在链下执行 MIPS 指令，并生成执行证据以供链上解决争议时使用。
Towards an implementation of based preconfirmations leveraging restaking
OpenZeppelin 开发者 cairo 介绍了称为 Ethereum 预确认的机制，简称「preconfs」，旨在提高以太坊上的交易确认速度，改善用户体验，其核心思想是让以太坊区块提议者向用户发出签名承诺，保证他们的交易将被包含在某个区块中，用户为此向区块提议者支付小费。通过获取即将到来的区块提议者的预确认承诺，用户可以获得交易迅速被包含的保证，延迟低至 100 毫秒。cairo 还介绍了预确认的实现方式，利用 EigenLayer 的 AVS 系统来支持 slashing 机制，确保预确认承诺的安全性。以太坊验证者通过在 EigenLayer 上注册并运行 preconf-operator AVS 客户端来参与预确认服务。
Replacing registration systems and captchas with VDFs to improve usability
Matthew Roberts 认为当前的网站注册方式和反机器人验证（如验证码）对用户体验产生了负面影响，因此提出了使用可验证延迟函数 VDF 来替代这些方式。他详细描述了如何利用 VDF 来创建和管理用户账户，以及如何利用账户资源分配来应对滥用和欺诈行为。同时，也提出了对 VDF 设计的一些要求，如不能被并行化、不能降低机器性能等，并讨论了可能的解决方案，如使用顺序、基于内存的哈希算法。
Block-auction ePBS versus Execution Ticket
以太坊研究员 terence 比较了 ePBS 和执行票（ET）在它们当前的规范形式下的相似之处和不同之处。
相似之处：
两种设计都直接解决了主要问题：过于依赖中继，中继成为阻碍交易执行的瓶颈。
两种设计都分离了共识块的交付和执行块，确保共识块的包含，即使执行块丢失或无效。
两种设计都允许区块空间的转售。
不同之处：
时间游戏攻击的处理方式。
执行块截止时间的不同。
包含列表的处理方式。
共识块是否要包含执行块的决策所带来的具体权衡。
断路器机制的实现方式。
MEV 相关
The MEV Letter #33
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《Preparing for the Dencun Hard Fork》详细介绍了 Flashbots 在 Dencun 升级前的工程工作。
文章《Ethereum has blobs. Where do we go from here? 》 讨论了 Dencun 升级，并概述了提高以太坊可扩展性的未来方向。
文章《RIG Update #5 — Huddle and ship》提供了他们最近关于发行曲线、rainbow staking、包含列表等更新。
文章《Reward curve with tempered issuance: EIP research post》提供了调整以太坊发行曲线合理性的理由，包括权衡和安全考虑。
文章《Issuance Issues — Initial Issue》讨论了不断变化的记账动态和在以太坊升级中调整发行曲线的影响。
文章《The Road to Account Abstraction on Ethereum》概述了实施账户抽象的进展和挑战，重点介绍了 ERC-4337 及其应用。
由 Flashbots 和 Nethermind 举办的 mev.market 相关视频：
📑论文
The Future of MEV
作者来自：Blockchain Capital
作者分析了以太坊研究中的执行票（Execution Tickets）提案，核心是一种新颖的票务机制，有望重新定义以太坊协议如何分配与提出执行负载相关的价值。这种创新方法使得以太坊协议能够直接代理 MEV，这在传统上是验证者的外部收入流。执行票的实施不仅优化了验证者的补偿，而且引入了一种新的以太坊本地资产，其市值预计将与未来区块生产的所有价值紧密相关。
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey
作者来自：York University、University of Montreal
作者指出智能合约面临的安全挑战，详细讨论了将 NFT 所有权分割成可交易单位（称为分数）所带来的安全漏洞和挑战。还评估了社区中广泛使用的工具，通过对示例智能合约的执行和测试来检验它们的有效性。最后，文章提供了一份全面的指南，以帮助开发人员实施安全的智能合约。这个指南可能包括建议、最佳实践、工具使用方法等，以确保智能合约的安全性和可靠性。
Unveiling Decentralization: A Comprehensive Review of Technologies, Comparison, Challenges in Bitcoin, Ethereum, and Solana Blockchain
作者来自：University of Southern California、Columbia University
作者介绍了比特币作为去中心化交易的突破性发展，通过利用加密证明机制实现了无需第三方中介的交易。然后，着重介绍了以太坊作为市值第二大加密货币，通过引入智能合约和去中心化应用构建在比特币基础之上的体系。以太坊力求克服比特币脚本语言的限制，实现了对复杂计算任务的完全图灵完备性执行。以及介绍了 Solana 作为一种高性能区块链，引入了一种新颖的架构，利用时间戳来验证去中心化交易，并显著提高了区块创建的吞吐量。文章旨在为研究人员和从业者提供有价值的见解和比较分析。