PRO｜Dencun 升级、EIP-4844 后的时序博弈 Timing Game
以及加速 Layer 2 执行的方法、由用户拥有和管理的去中心化应用等
欢迎阅读第三十六期 ChainFeeds PRO Newsletter。本次内容将包含 Dencun 升级相关内容、EIP-4844 后验证者和构建者之间可能存在的时序博弈和问题，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
Dencun 升级相关
2024 年的首次以太坊开发者电话会议中，确定了 Goerli、Sepolia 和 Holsky 上激活 Dencun 的时间。
Goerli - 2024 年 1 月 17 日 - 纪元 231680 – 时间戳 1705473120
Sepolia - 2024 年 1 月 30 日 - 纪元 132608 - 时间戳 1706655072
Holesky - 2024 年 2 月 7 日 - 纪元 29696 – 时间戳 1707305664
ERC-4337 的扩展，ERC-6900 - 账户抽象开始发挥作用。
EIP-7044：永久有效的签名自愿退出
EIP-7045：增加最大认证包含插槽
EIP-7514：添加最大时代流失限制
EIP-1153 ：用于处理智能合约执行期间的临时或短暂存储。
EIP-4844（Proto-Danksharding）：削减 rollups 手续费 「最多可降低 100 倍」。
EIP-4788：它允许这些协议直接从共识层访问关键数据，如验证者余额和状态。
EIP-5656 ：MCOPY，旨在优化智能合约执行期间的内存数据复制过程。
EIP-6780（限制 SELFDESTRUCT）：对网络的长期可扩展性和维护至关重要，因为它将简化未来以太坊升级。
EIP-7516：BLOBBASEFEE 操作码
Validator Timing Game Post EIP4844
Prysm的维护者 Terence 讨论了在 EIP-4844 后，验证者和构建者之间可能存在的时序博弈和问题。目前使用 MEV-Boost 的验证者，验证者专注于构建区块的共识部分，而将执行部分推迟给构建者。在 EIP-4844 后，构建者对 blob 的内容拥有最终决定权。构建者选择包含或完全排除哪些 blob 交易会受到重新组织风险（包含 blob 交易可能增加孤块率）和构建者的偏见的影响。此外，验证者可能为了获取更高奖励而延迟区块提案。这可能导致 blob 发布者不得不增加费用，以确保他们的交易被包含。
可能的短期解决方案：
实施监控基础设施，跟踪 blob 交易在内存池中停留的时间。观察是否与来自特定 blob 发布者的 blob 交易相关的某种重新组织行为，并在异常行为时向社区发出警报。
与 MEV-Boost 中继者合作，实一种截止时间机制，防止提议者使用构建者构建晚区块。然而，如果构建者和验证者是垂直整合的，或者中继者中存在缺陷，这个措施可能无效。
比特币协议进展
Bitcoin Optech Newsletter #283
LND 漏洞披露：Niklas Gögge 在 Delving Bitcoin 上发布了关于之前负责任披露的两个 LND 漏洞的消息，导致修复版本的 LND 发布。使用 LND 0.15.0 或更高版本的用户不受影响；而使用早期版本的用户应考虑立即升级，以防这些漏洞和其他已知影响旧版本的漏洞。总的来说，两个披露的漏洞包括：一种可能导致 LND 耗尽内存并崩溃的 DoS 漏洞，以及一种允许攻击者阻止 LND 节点了解网络中特定通道更新的审查漏洞。
依赖费用的时间锁：John Law 在 Bitcoin-Dev 和 Lightning-Dev 邮件列表上提出了一项关于软分叉的提案，该提案允许交易时间锁仅在中位块费率低于用户选择的水平时才解锁（到期）。该提案解决了关于强制到期洪水的长期担忧，其中太多通道同时关闭可能导致不足的区块空间，以在它们的时间锁到期之前确认所有通道，从而潜在地导致一些用户损失资金。
Cluster（集群）费用估算：Abubakar Sadiq Ismail 在 Delving Bitcoin 上发布消息，利用集群内存池设计的工具和见解来改进 Bitcoin Core 中的费用估算算法。当前 Bitcoin Core 中的费用估算算法跟踪进入本地节点内存池的交易确认所需的块数。Ismail 建议使用集群内存池追踪费率而不是单个交易，并尝试在块中找到相同的集群。如果集群确认，则使用其集群费率更新费用估算。
不可花费密钥在描述符（descriptors）中的规定：Salvatore Ingala 在 Delving Bitcoin 上发起了一场关于如何允许描述符（尤其是用于 taproot 的描述符）指定一个未知私钥的密钥（防止从该密钥支出）的讨论。讨论中提到了使用不可花费密钥的挑战以及几种不同权衡的提议解决方案。
V3 （Version 3 transaction relay）交易固定成本：Peter Todd 在 Bitcoin-Dev 邮件列表上发布了有关 v3 交易中继策略对合约协议（如 LN）的交易固定的分析。该分析探讨了使用 v3 策略的情况下，恶意对手可能增加发送者的成本的风险。
PSBT 草案中的描述符（descriptors）：SeedHammer 团队在 Bitcoin-Dev 邮件列表上发布了一个关于在 PSBT 中包含描述符的 BIP 草案。该提案的主要目的是在 PSBT 格式中封装描述符，以便在钱包之间传输。这对于软件钱包将输出信息传递给硬件签名设备，或者对于多签联盟中的多个钱包传递有关要创建的输出的信息可能很有用。
使用 MATT 提案的新操作码验证任意程序：Johan Torås Halseth 在 Delving Bitcoin上发布了 elftrace，这是一个概念验证程序，可以使用 MATT 软分叉提案中的 OP_CHECKCONTRACTVERIFY 操作码，以允许合约协议中的一方在任意程序成功执行时索赔资金。 elftrace 的概念类似于 BitVM，但在其比特币实现中更简单，因为它使用专为程序执行验证设计的操作码。
治理重点
This Week in Governance - January 4: Purportedly Decentralized
SEC 和 BarnBridge DAO 达成和解：BarnBridge DAO 及其创始人同意支付 170 万美元，以解决 SEC 对其提供未经注册的加密证券给美国投资者的指控。尽管 BarnBridge 自称是 DAO，因为 DAO 通常不注册为公司，并且通常不将其产品视为需要 SEC 注册的证券，SEC 还是对 BarnBridge 进行了处罚。
Aave 治理 V3 已上线：通过「Aave Governance V3 Activation Short」的执行，治理 V3 现已上线，标志着 Aave 社区在链上治理系统方面取得了重大进展。在这个新版本中，投票权可以从三种形式的 AAVE 中派生出来：代币本身、stkAAVE 以及存放在 Aave v3 以太坊上的 AAVE。虽然委托的动态与治理 V2 中的相同，但随着新系统的启动，所有委托都被重置为零。投票和委托可以直接通过治理智能合约或通过 BGD Labs 开发的用户界面进行，相关资源可在 GitHub 和 IPFS 上找到。任何人都可以直接在智能合约上创建提案，该系统设计成具有成本效益，Aave DAO 在试点项目中承担了投票成本。
Arbitrum：关于建立 Arbitrum 研究与开发集体（ARDC）的提案旨在通过研究和开发将 Arbitrum DAO 成员的想法变为现实。ARDC 将审查和优化治理提案，进行安全代码审查，并提供经济风险分析，重点关注治理优化、风险管理和安全性。提案包括 ARDC 成员的结构化选举流程、概述其职责和责任的法律协议，以及用于资金管理的多重签名钱包。该集体将在为期六个月的时间内获得 1,715,000 ARB 资助，其运营将保持透明，定期发布更新和报告。
以及讨论了 SuperRare 相关提案。
以太坊
其他研究和进展
Accelerate L2 EVM Execution with Flat KV and Two-Stage Fraud Proof
EthStorage 创始人 Qi Zhou 提出了一种通过使用平面键值存储和更改状态提交形式来加速 Layer 2 执行的方法。与传统方法不同，该方法将每个批次的提交形式更改为仅包含状态差异的哈希值，而不是整个状态的哈希值。通过使用平面键值存储，避免了在每个批次中计算和提交整个状态的哈希值，从而显著减少了计算和存储开销。这种优化能够在大规模状态情况下提供更高的性能，并通过欺诈证明算法来解决潜在的状态争议。