PRO｜基于 EIP-4788 实现的工具：Slashing-Proofoor、Vanilla Based Sequencing
PRO｜基于 EIP-4788 实现的工具：Slashing-Proofoor、Vanilla Based Sequencing
以及闪电网络中的洋葱路由、Curve Finance 和 Polkadot 的投票行为研究，以及五篇论文
欢迎阅读 ChainFeeds PRO Newsletter #51。本次内容将包含基于 EIP-4788 实现的工具：Slashing-Proofoor，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
Slashing Proofoor - On-chain slashed validator proofs
以太坊基金会成员 Toni Wahrstätter 介绍了 Slashing-Proofoor，一个基于 EIP-4788 实现的工具，它允许用户在以太坊虚拟机内证明某个特定验证者没有被削减（slashed）。通过 EIP-4788，EVM 内可以访问历史信标区块的根，使得智能合约能够验证与这些区块相关的各种数据。Slashing-Proofoor 利用这一特性来验证验证者的削减状态。如果验证者未被削减，这一信息可以用于支持重质押协议或提供给需要验证此类信息的其他去中心化应用。Slashing-Proofoor 减少了对外部可信实体的依赖，通过内链验证方式，可以实现更加透明和可信的交互。
Slashing-Proofoor 使用层层递进的 Merkle 证明来完成一系列验证，确保验证者的数据完整性，并验证该验证者确实属于当前的验证者集合。首先计算验证者对象的数据（例如公钥、提款凭证、质押余额等）的哈希树根。通过 Merkle 证明，确保构建的验证者哈希树根是当前信标状态中验证者集合的一部分。然后通过另一层 Merkle 证明来确保整个验证者列表是信标状态的一部分。最后，通过进一步的 Merkle 证明来确保这个信标状态是某个规范信标区块的一部分。
比特币协议进展
Bitcoin Optech Newsletter #300
CTV-like exploding keys：Tadge Dryja 提出了一种新的比特币交易构造方法，名为 Exploding Keys，这是对现有的 OP_CHECKTEMPLATEVERIFY (CTV) 的一个变体。在 CTV 中，交易的细节（如金额和接收地址）被固定，必须精确匹配才能成功支付。而在 Exploding Keys 中，使用了 MuSig2 技术来聚合公钥，并对每个关键部分进行哈希运算和调整，以此减少见证数据的使用，节省一些空间。
使用 Alloy 分析合约协议：Dmitry Petukhov 使用 Alloy 规范语言分析了一个简单的基于 OP_CAT 的金库协议，并在 Delving Bitcoin 上发表了他的研究成果。Alloy 帮助他发现了几个有用的修改和一些重要的约束。
比特币开发者被逮捕：Samourai 钱包的两名开发者因涉及隐私增强功能的比特币钱包而在美国被捕。这起事件引发了法律风险的担忧，导致其他两家公司宣布停止在美国的服务。
CoreDev.tech 柏林活动：许多比特币核心贡献者上月在柏林参加了定期的 CoreDev.tech 活动。此次活动涵盖了广泛的主题，包括 ASMap 研究、assumeUTXO 主网准备、MuSig2 技术、跨输入签名聚合等，提供了丰富的技术讨论和代码审查。
闪电网络中的洋葱路由：Sphinx 包裹的构造
Lightning Labs 成员 Elle Mouton 介绍了如何使用「Sphinx」包裹构造来确保在支付转发路径上尽可能减少泄露的信息。步骤如下：
生成临时密钥对：发送者在支付开始时生成一对临时密钥对，并将公钥用于与路径上每个节点的公钥进行 Diffie-Hellman 密钥交换。
构建洋葱包裹：发送者根据支付转发路径，依次为每个节点构建洋葱包裹。对于每个节点，发送者使用其与该节点的共享密钥对载荷进行加密，并计算HMAC以确保内容的完整性。
洋葱包裹的封装：对于每个节点，发送者将洋葱包裹进行封装，以便节点能够剥开一层封装并转发给下一个节点。封装包括添加节点的相关信息、临时公钥、HMAC 等。
发送洋葱包裹：发送者将最终封装好的洋葱包裹发送给路径上的第一个节点。
节点的处理：每个节点收到洋葱包裹后，按照顺序剥开一层封装，验证 HMAC，并使用与发送者共享的密钥对载荷进行解密。然后，节点根据洋葱包裹中的信息将剩余的封装转发给下一个节点。
故障处理：如果路径上的某个节点出现故障或者无法解析洋葱包裹，其应该发送适当的故障消息，并按照协议重新初始化加密轮次。
以太坊
研究和进展
Uncrowdable Inclusion Lists: The Tension between Chain Neutrality, Preconfirmations and Proposer Commitments
链中立性（chain neutrality）即任何符合条件的、支付了费用的交易都应当在有空间的情况下被链上包含。包含列表作为维持链中立性一种机制，旨在保证即便在验证者外包区块构建的情况下，也能保持交易的公平和无偏见的包含。然而，包含列表存在被用于非原始设计目的的风险，例如预确认和部分区块构建等。为了应对这一挑战，以太坊 Robust Incentives Group 研究员 Julian提出了 Uncrowdable Inclusion Lists 概念，以确保这些列表更多地用于支持链中立性而非其他用途。这样的列表在被用于协议指定的目的时能创造更多价值。
Vanilla Based Sequencing
LimeChain 创始人 George Spasov 详细介绍了一种名为「Vanilla Based Sequencing」的去中心化排序机制，是 Based Rollup 概念的一种具体实现。主要利用已经存在的以太坊 L1 提议者来充当 L2 的排序者。如果当前的 L1 提议者没有选择加入作为 L2 排序者，则系统会从已选择加入的 L1 提议者中随机选择一个作为替代。为了提供与中心化排序相当的用户体验，该设计引入了两种预确认机制：1）事务包含预确认：保证用户的交易将被包含在下一个 rollup 时间段。2）执行状态预确认：允许在交易执行前后指定状态的变化，确保更复杂的交易能按预期执行。
Making Ether A Better Money
ETH 作为一种货币，需要具备交易媒介、计价单位和价值储存的功能。由于目前 ETH 价值的高度不稳定，它在后两项功能上表现不佳。pantheraes 提出 SEMP，即稳定以太币货币政策（Stable Ether Monetary Policy），旨在解决 ETH 作为货币的价值不稳定问题。其核心目标是通过动态调整 ETH 的供应量，来针对性地实现 0% 的通货膨胀率，从而使 ETH 成为一个更稳定的货币形式。
Voter Behavior in Blockchain Governance: A Comparative Study of Curve Finance and Polkadot
dengwx11 对两个主要区块链生态系统——Curve Finance 和 Polkadot 的投票行为进行的全面研究。它采用了定量方法来分析治理模式，重点研究了市场条件对投票倾向的影响、投票权的积累以及金融激励对投票参与的影响。研究发现，市场条件对投票者的行为有显著影响。在市场波动或特定经济环境下，投票者的参与度和决策倾向可能会发生改变。并且投票权力往往在少数持有者手中集中，特别是在 Curve Finance 中，高度集中的投票权可能导致治理决策被少数利益相关者所左右。研究比较了 Curve Finance 和 Polkadot 的治理模型，发现尽管两者都采用了代币锁定机制来增加投票权力，但其目的和激励措施有所不同，这影响了投票者的行为和参与度。
MEV 相关
The MEV Letter #36
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
论文《Measuring Arbitrage Losses and Profitability of AMM Liquidity》介绍了一项实证研究的结果，该研究显示了大多数 Uniswap LP 因 LVR 而产生的损失如何大于其赚取的费用，并探讨了延长分块时间的潜在影响。
论文《For All Intents And Purposes: On The Agency And Duties Of Solvers》分析了基于意图的架构和第三方求解器的法律影响。
文章《MB-Direct: An idea for MEV-Boost improvement》概述了对 MEV-Boost 工作方式的一些更改，这些更改可提高系统的安全性和效率，并可作为 ePBS 的协议外测试。
文章《More pictures about proposers and builders》介绍了 APS-Burn 作为执行门票的替代分配机制，以实现提议者与构建者的分离。
文章《Analyzing Blob Inclusion Rates and Market Strategies》分析了 Blob 市场动态和 rollup 使用的 Blob 发布策略，并概述了一些潜在的改进措施。
视频《Dynamic Transaction Fee Mechanism Design》讨论了 EIP-1559 如何影响时间敏感型交易，并建议放慢基本费更新速度，以减少延迟和降低 gas 费。
播客《The Delphi Podcast: Decentralization Unleashed: The Astria Approach to Rollup Sequencing》邀请 Josh Bowen 讨论 rollup 排序的演变、共享排序器的优势和 Astria。
📑论文
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
作者来自：Peking University
作者介绍了一种名为 Clear 新的方法来识别智能合约漏洞（SCVs），Clear 利用对比学习（CL）模型捕捉合约之间的细粒度相关信息，并根据合约之间的关系生成相关标签来指导 CL 模型的训练过程。最后，它结合合约的相关性和语义信息来检测 SCVs。通过对一个包含超过 40,000 个智能合约的大型真实世界数据集进行实证评估，并与 13 种现有的基准方法进行比较，展示了 Clear 的优越性：（1）在所有基准方法中表现最佳；（2）比现有的深度学习方法的 F1 得分高出 9.73% 到 39.99%。
Solvent: liquidity verification of smart contracts
作者来自：Università degli Studi di Cagliari
作者提出了 Solvent，一个旨在验证与加密资产交换相关的流动性属性的工具。Solvent 的目的是解决当前验证工具在表达和验证智能合约中关于加密资产交换的流动性属性时的不足之处。这些属性包括诸如在每个可达状态中，用户是否能够触发一系列交易来提取特定数量的加密资产等问题。作者的目标是弥补现有工具的局限性，使得在智能合约中可以更有效地表达和验证与加密资产交换相关的流动性属性。这样可以提高智能合约的安全性和可靠性，从而减少潜在的安全风险和漏洞。
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
作者来自：Università degli studi di Trento
在比特币上，每个合约步骤都对应于向区块链附加一个新的交易，该交易花费代表旧合约状态的输出，并为更新后的状态创建一个新的输出。这个标准流程要求合约参与者为每个执行步骤支付交易费用。本文作者介绍了一种协议，将大部分比特币合约的执行移到链下进行。当所有参与者遵循这个协议时，他们能够节省交易费用。相反，在存在对手的情况下，任何诚实的参与者仍然能够根据合约的原始语义强制执行正确的合约执行。
Trust Dynamics and Market Behavior in Cryptocurrency: A Comparative Study of Centralized and Decentralized Exchanges
作者来自：Duke Kunshan University
数字金融领域从传统的集中式信任机制到新兴的去中心化信任机制，主要受到区块链技术的推动。研究关注了这种转变对加密货币市场的影响，特别是事件如何影响了市场的信任以及中心化和去中心化交易平台上的交易行为。研究发现信任在引导用户偏好方面起着关键作用，并揭示了中心化和去中心化平台之间信任转移的动态。尽管存在一些异常情况，但结果大体上与研究最初的假设相符，突显了加密货币市场中用户信任的复杂性。
A Novel Classification of Attacks on Blockchain Layers: Vulnerabilities, Attacks, Mitigations, and Research Directions
作者来自：Birla Institute of Technology and Science
本文全面讨论了针对每个层级特定的攻击技术和漏洞，以及详细介绍了缓解技术。通过密切调查各种区块链层面攻击的根本原因，揭示了这些安全问题的深层动态。文章阐明了已知漏洞的缓解方法，并提供了关于最近发展的攻击向量的新信息。同时，还讨论了量子计算对区块链的影响以及当前技术中存在的可被利用的弱点。该研究推进了区块链安全与隐私研究领域的发展，同时增进了对区块链漏洞和攻击的理解。