PRO｜Vitalik：通过反相关性的激励措施支持去中心化质押、通用意图框架 Anoma
以及比特币中的 free relay attack 等
欢迎阅读第四十七期 ChainFeeds PRO Newsletter。本次内容将包含 Vitalik 提出根据验证者的失误数量来确定处罚的程度，以进一步促进去中心化，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
Supporting decentralized staking through more anti-correlation incentives
为了促进更加去中心化，减少大型验证者的优势，Vitalik 提出根据每个槽位（slot）中验证者的失误数量来确定处罚的程度。Vitalik 认为大型验证者的错误更有可能在它们控制的不同验证者（或者账户）之间产生，即使他们将自己的代币分散在许多独立的账户中，仍然存在相关性。这种相关性可能会导致在同一时间发生多个验证者的错误。
Vitalik 提出了一种简单的罚则机制，在每个槽位中根据验证者的失误数量来确定处罚的程度。当一个参与者行为不当时，与其同时行为不当的其他参与者越多，其受到的惩罚就越严重。具体而言，将当前槽位的失误数量与过去一段时间内（例如最近 32 个槽位）的平均失误数量进行比较。然后，根据这个比例来确定处罚的程度。也就是说如果当前槽位的失误数量的验证者明显高于过去一段时间内的平均水平，那么处罚的程度也会相应增加。
这种罚则机制的优点在于，它不容易受到攻击，不会因为一个验证者的单次失败而降低其处罚程度，要影响到平均水平，需要大量的失败，这对于一个单一验证者来说是相对困难的。因此，这种机制可以帮助减少大型验证者相对于小型验证者的优势，从而促进更好的去中心化。
比特币协议进展
论交易池的激励兼容性
Suhas Daftuar 讨论了在区块链交易池中选择交易并确定排序的问题，以最大化区块手续费收入。提出了使用手续费率图表和族群交易池的概念来解决交易排序的问题。手续费率图表用于比较不同交易排序方式的优劣，并确定最佳排序方式。族群交易池则将相关联的交易分组，并对每个族群进行排序，以优化整体交易排序。还讨论了在设计替代交易规则时需要考虑的激励兼容性问题，并介绍了手续费率规则和总手续费规则。通过这些讨论，作者试图找到一种有效的方法来管理交易池，以确保区块链网络的顺利运行和安全性。
Bitcoin Optech Newsletter #295
自由中继攻击（free relay attack）：讨论了一种名为「free relay attack」的攻击方式，该攻击利用比特币网络中交易中继的特性，通过向不同的节点广播不同版本的交易来浪费带宽资源。攻击者可以重复此过程，直到某个交易最终被确认，消耗大量网络带宽。该攻击的影响受到比特币核心的交易中继限制的限制，但攻击者可以通过并行进行多次攻击来延迟合法交易的传播。
交易费赞助（Transaction fee sponsorship）改进： Martin Habovštiak 提出了一种允许一笔交易提高与另一笔无关交易优先级的想法。David Harding 提出了一个效率改进，通过在交易中使用签名承诺消息来节省区块空间。这些改进允许交易费用赞助动态提高费率，并且几乎与直接支付矿工费用的效率相当，解决了依赖外部费用协议问题。
以太坊
研究和进展
[RFC] [DRAFT] Anoma as the universal intent machine for Ethereum
Anoma 成员 Christopher Goes 介绍了 Anoma 将一种通用意图机制引入以太坊区块链，使开发者能够以意图的方式编写应用程序，并在以太坊生态系统中的任何地方对这些意图进行排序、解决和结算。Anoma 是一个接口，提供了通用意图标准，不限制可以表达的意图类型，但允许内置状态、网络和应用程序的互操作性。
Anoma 的优势：
无需许可的意图基础设施、意图级可组合性、信息流控制和异构信任。
使用资源机制、异构信任节点架构和明确服务承诺的语言等三种机制提供支持。
Towards Scalable Ethereum Staking: The Imperative of Stateless Clients with Compact Proof Sizes
sogol Malek 讨论了以太坊面临的可扩展性和安全性挑战，并提出了一种解决方案：过渡到具有紧凑证明大小（Compact Proof Sizes）的无状态客户端。这种过渡旨在通过将历史状态存储与交易处理分离来减轻状态大小对网络参与者的负担。此外，文章还提到了共识漏洞的风险，以及如何通过集成零知识证明（ZKPs）来增强系统的可扩展性和安全性，而不会牺牲隐私或验证者签名历史的完整性。并指出使用 Verkle tries 和 zk-SNARKs 的不同优缺点。Verkle tries 旨在通过不同的方法优化存储和访问，而 zk-SNARKs 则提供隐私和压缩优势。
Introducing Accrual-Based Recurring Payments for Decentralized Platforms
Waterfall 成员 Grybniak 介绍了一个基于应计会计（即在实际支付转账之前反映收入和支出）的支付系统，旨在通过智能合约在区块链上实现自动定期支付。定期支付指的是按照预定的时间间隔（如每周、每月等）自动进行支付的行为。这种支付模式通常用于订阅服务、会员费、租赁费用等，允许用户在不需要每次手动操作的情况下持续享受服务或产品。用户在中心化平台上进行的定期支付可能在支付日期时没有足够的可用资金，导致支付失败或延迟。该系统能够在实际支付之前即反映收入和支出，系统可以提前识别到用户的收入和支出情况，有助于解决资金不足问题。通过在以太坊或兼容以太坊的网络上实现新的代币标准，实现定期支付的自动化和高效执行。
MEV 相关
The MEV Letter #32
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《FRP-40: SUAVE’s Potential in DeFi: A focus on decentralized exchanges (DEX) and auction mechanisms》探讨了 SUAVE 如何通过可编程隐私和可信的链外计算来解决 DeFi 中的一些低效问题。
文章《Flashbots SUAVE: Develop Your First Suapp Today! 》概述了 SUAVE Rigil，并介绍了构建 SUAPP 的开发流程。
文章《The Case for ILECTRA》概述了在当前 EIP-7547 设计中适应 Blob 的高级更改。
由 Titan Builder 和 HashKey Capital 主办的「Beyond the Block: MEV Along the Txn Supply Chain」活动。
《Beyond The Base Layer》就排序器、L2 基础设施和应用设计进行了小组讨论。
📑论文
Private, Anonymous, Collateralizable Commitments vs. MEV
作者来自：Universitat Pompeu Fabra
作者引入了隐私、匿名、可抵押承诺（PACCs）框架。PACC 允许任何智能合约钱包持有者以隐私匿名的方式抵押、请求或一般的承诺（collateralize a claim, request, or commitment）。PACC 可以任意证明产生承诺的钱包和/或正在承诺的交易。作者证明了 PACC 可用于有效消除 DeFi 中目前存在的 MEV。
Reckle Trees: Updatable Merkle Batch Proofs with Applications
作者来自：Lagrange Labs、Yale University
作者介绍了一种名为 Reckle Trees 的新型向量承诺机制，其基于简洁递归论证和 Merkle 树。Reckle Trees 的主要特点是支持简洁的可更新批量证明，文章详细描述了Reckle Trees的技术方法，其中将批量哈希计算嵌入到递归 Merkle 验证中，并利用称为规范哈希的基于哈希的累加器来实现证明的高效更新。作者还介绍了 Reckle+ Trees 作为 Reckle Trees 的自然扩展，提供了对 Map/Reduce 计算的可更新和简洁的证明支持。
With Trail to Follow: Measurements of Real-world Non-fungible Token Phishing Attacks on Ethereum
作者来自：Sun Yat-sen University
近期的一些研究开始关注分析和检测 NFT 网络钓鱼攻击，但 NFT 网络钓鱼攻击手段多样化，对这些不同类型的 NFT 网络钓鱼攻击了解甚少。作者通过手动分析 Chainabuse 上报告的现有诈骗案例，将 NFT 网络钓鱼攻击分类为四种模式，并进一步调查了每种模式的诡计和工作原理。基于从多个渠道收集到的 469 个 NFT 网络钓鱼账户，发现这些网络钓鱼账户共窃取了 19,514 个 NFT，总利润为 8,858.431 ETH（约合 1857 万美元）。