PRO 前沿｜a16z：无状态需要频繁见证更新、构建者市场现状、Rollup 协议代币不应作为 Gas 代币
a16z 推出的 Jolt 和 Lasso 、BIP 300 相关等
欢迎阅读第二十期 ChainFeeds PRO Newsletter。本次内容将包含理论表明无状态区块链方案都无法在不需要频繁见证更新的情况下实现、构建者市场现状、在构建 Rollup 时不应将自己的协议本地代币作为 Gas 代币，以及每周更新内容：比特币协议进展、以太坊治理相关、链上数据、最新研究和进展，和最新论文。
重点
a16z：On the impossibility of stateless blockchains
随着区块链的发展，验证交易所需的存储量也在增加。为了解决这个问题，人们尝试使用密码学方法来减少存储需求，实现所谓的「无状态区块链」，即验证者只需存储恒定大小的状态，而不会随着交易增加而增加存储需求。然而，研究表明目前已知的无状态区块链方案都存在问题，需要用户频繁更新所谓的「见证」数据，这对用户来说不太实际。因此，a16z 研究员通过一个理论框架，证明了无论如何巧妙，无状态区块链方案都无法在不需要频繁见证更新的情况下变得可行。
EthStorage 创始人 Qi Zhou 对此文章发表观点：在以太坊 PBS 模型下，构建者应该为所有用户交易生成见证人，从而解决问题，而不是每个用户都创建见证人。但是，我同意如何使状态存储在一个具有足够副本而不是少数构建者的完全去中心化网络中是一个需要解决的问题。
Builder Market: Now and the Future
在当前的构建者市场，新进入市场的 Titan 和 Rsyc 等公司正逐渐超越原有的构建者份额，核心影响市场份额的因素是能否从区块构建中产生价值和捕获订单流的能力。
构建者市场仍然由少数几家主要参与者主导，前 5 名构建者占据了总市场规模的 88%。一些构建者如 eth-builder 虽然市场份额较小，但每个区块的利润率较高，能够保持较高盈利能力。
为了吸引更多订单流，构建者市场正在发展，提供额外的服务如预确认和区块空间期货市场，同时垂直整合也在进行。对于新的构建者，他们需要在提高区块生产概率和吸引订单流之间寻找平衡，可以采取补贴、提高区块利润率或内部整合等策略来实现。
Why NOT to use your protocol’s native token as your rollup’s gas token
Conduit 创始人 Andrew Huang 解释在构建 Rollup 时，不应将自己的协议代币作为 Gas 代币的原因：
没有代币的净新增需求： 用户购买你的代币是为了桥接到你的 Rollup。当他们支付 Gas 费用时，排序器会出售这些代币，以支付数据可用性（DA）成本，而这些成本只以 ETH 计价。如果代币的 Gas 无法覆盖 DA 成本，那么你的协议将为剩余的 DA 成本买单，实质上你在补贴 Rollup 上的使用，但仍需要使用 ETH 支付 DA 成本。
跨领域 MEV 和互操作性： 从长远来看，跨领域互操作性和 MEV 可能会成为 Rollup 排序器的主要收入模式。通过强制要求 Rollup 的用户获取你的代币，会增加构建者/搜索者在链上提取 MEV 的难度。这会导致他们需要持有多个代币，从而复杂化代币管理策略。
用户体验负担： 强制要求用户在使用 Rollup 之前先购买你的代币，会给用户带来繁琐的用户体验负担，将为使用你的应用程序增加一道障碍。
潜在的价值累积选择：文章提出了一种更可持续的方法，即通过 Rollup 所产生的多余 排序器收入进行代币回购。这可能会从 Rollup 的交易量中创造对协议代币的可持续需求，并有助于更强烈地在用户和协议之间建立奖励机制。
比特币协议进展
BIP300
BIP 300 是一种称为 Drivechains （驱动链）的比特币改进提案。驱动链实际上是一种侧链技术，它允许在比特币区块链上构建独立的区块链，这些区块链可以与比特币网络进行双向连接，使用 BTC 作为主要货币。驱动链的核心思想是将未使用的比特币通过锁定在比特币网络上，以不同的方式在侧链上表示。这使得侧链上的活动可以与比特币网络上的活动进行交互，并且 BTC 可以在侧链和比特币之间流通。驱动链的潜在应用范围很广，包括隐私侧链、NFT 侧链、DNS 侧链等。BIP300 是由 Paul Sztorc 及其公司 Layer 2 Labs 提出的，该公司致力于筹集资金来改善比特币的隐私性、可扩展性和用户体验。
为什么我们需要 “Validating Lightning Signer”？
VLS（Validating Lightning Signer）旨在提升闪电网络中通道资金的安全性。文章中提到了闪电网络的安全性挑战，以及 VLS 项目是如何通过分离闪电节点私钥和安全规则，并将其放入一个隔离的签名设备中，来提高用户通道资金的安全性的。作者解释了现有闪电节点使用的签名模式，包括整体节点、节点加盲目签名器、节点加带验证签名器等。其中，盲目签名器被认为是不安全的，因为它可能导致节点被攻击并造成资金损失。相比之下，带验证的签名器在安全性上有优势，因为它执行验证规则，保证私钥不被误用。VLS 项目的目标是填补闪电网络生态系统的安全性缺口。
Cashu：Chaumian e-cash 和闪电网络上的铸币厂
Cashu 是一个基于比特币 Layer 2 的项目，旨在实现 Chaumian e-cash 电子现金支付系统。用户可以在铸币厂存入比特币并获得 e-cash token，无需注册账户，保护交易隐私。Cashu 的基本参与者是「铸币厂」，它们接受比特币并使用盲签名系统发行 e-cash token，这些 token 可以用于交易、转让和接收，并最终可以兑换回比特币。Cashu 的用户无需注册账户，无需提供私人信息，交易隐私得到保障。用户可以自由选择铸币厂，并且可以在不同铸币厂之间进行选择。Cashu 的 e-cash方案提供了隐私性、安全性和扩展性等优势，同时与闪电网络结合，具备即时、低成本的支付特点。
Bitcoin Optech Newsletter #265
过时备份状态的欺诈证明：该提议由 Thomas Voegtlin 提出，旨在惩罚服务提供者，如果他们向用户提供过时的备份数据，则可以被罚款。这种机制可以推广到不同的应用中，但提议建议在闪电网络中使用。通过在比特币中添加特定的操作码（OP_CHECKSIGFROMSTACK和OP_CAT），这种欺诈证据机制可以在链上使用。此外，该提议强调了服务提供者和钱包软件开发人员声誉的重要性。当用户失去资金时，他们就会失去声誉。因此，作为钱包软件的开发人员，最大限度地降低匿名同行从使用同行备份等机制的 Electrum 用户那里窃取资金的风险非常重要。
以太坊
治理重点
This Week in Governance - Aug 24
Tornado Cash 开发者被起诉：Roman Storm 和 Roman Semenov 因涉嫌创建和运营加密货币混币服务 Tornado Cash 而被起诉。美国当局声称，这项服务促成了超过 10 亿美元的洗钱交易，其中包括为受到制裁的朝鲜 Lazarus Group 网络犯罪组织洗钱数亿美元。Semenov 和 Storm 面临多项指控，包括共谋洗钱和制裁违规，一旦定罪可能面临监禁刑罚。
SuperRare 提议在以太坊主网部署 Rare Protocol：在 Goerli testnet 上成功测试了 RARE 质押后，来自 SuperRare Labs 的 Brennan Mulligan 和 Charles Crain 提议将该协议部署到以太坊主网，并由 DAO Council 承担所有相关合约的所有权。此外，将对 Bazaar 进行修改，使每笔销售的现有 3% 网络费中的 1% 直接转到卖家的稀有性池（如果存在），未质押的销毁费率将设置为 0%。该提议于 8 月 23 日获得通过，近 100% 的投票者选择「同意」。
Aave 财库提案用于 RWA 配置：该提案旨在将 Aave 财库的一部分稳定币资产配置到通过 Centrifuge Prime 进行的真实世界资产（RWA）投资中。此举旨在从闲置的稳定币中获取收益，将抵押品来源从仅加密资产多元化。初始计划包括将 100 万 USDC 投资于短期美国国债，根据未来治理决定，该比例可能扩大到 Aave 稳定币持有的 20%。
其他研究和进展
Super-Finality: High-Safety Confirmation for Casper
以太坊共识协议中 Casper 部分的新的「超终态（super-finality）」确认规则。超终态承诺将 Casper 的安全韧性提升到超过「finality」确认规则所提供的 33% 的质押阈值，可以在超过 33% 的质押被恶意控制的情况下，仍然保证交易的不可逆性和安全性。超终态可以通过客户端（如钱包）使用 Beacon API 提供的信息来实施，而无需对以太坊验证者运行的协议进行任何更改。文章解释了超终态的工作原理，其中关键是基于固定的终态确认基数，并允许客户端选择更高的基数来确认超终态交易。
Jolt and Lasso: A New Approach to Building zkVMs
a16z 推出的 Jolt 和 Lasso 是两种新的创新性技术，用于改进 SNARK设计，可以将现有工具链的性能提升一个数量级甚至更多，提供更好、更易于开发的体验，并使审计变得更容易。Jolt 和 Lasso 旨在通过利用表查找和多项式运算来简化程序执行轨迹的验证过程，从而提高证明的速度和效率。Jolt 核心思想是利用巨型表（gigatables）来实现验证过程，这些表可以在特定情况下用于验证不同类型的指令。它提供了一种方法，通过表查找和多项式运算来验证执行轨迹的合法性。Lasso 旨在解决 Jolt 中提到的巨型表的实现问题。巨型表是极其庞大的，实际上是无法实际构建和存储的。Lasso 通过引入一种创新的方法，解决了巨型表的实现问题。虽然在简化 Jolt 中的验证过程时，Lasso 引入了一些延迟，但这种方法允许巨型表的概念性存在，并允许进行有效的验证，而无需真正构建这些表。
MEV相关
MEV：从零和博弈走向三权分立
MEV是什么：MEV全称为 Miner Extractable Value（也可称为 Maximal Extractable Value，最大可提取价值），是指矿工通过操纵交易（添加、删除、重排交易）所能够获取的额外收益。获取 MEV 的方式可以分为 DEX 套利、清算、Front-Running、Back-Running、三明治攻击等。
MEV 带来的影响：Front-Running 与三明治交易会导致糟糕的用户体验与更严重的损失，但同时DEX套利、借贷清算可以帮助Defi市场更快地到达均衡，维持市场的稳定性。
MEV 市场有多大：在以太坊 The Merge 之后，仅以太坊使用 Flashbots 的Block Proposer 接收到的 MEV 收益已超过 206,450 ETH。
Flashbots：MEV-Geth 让 Miner 与 Searcher 分享了 MEV 收益；MEV-Boost 让 MEV 在 Proposer、Builder、Searcher之间分配，同时保护了用户的交易不被 Front Running；MEV-share 致力于让用户、钱包、Dapps 能够捕获其交易所产生的 MEV；MEV- SGX 利用 SGX 可信硬件希望彻底取代受信任 MEV-Relay 角色，实现无许可；SUAVE 尝试解决 MEV 带来的中心化风险。作为专用链，向现存的所有链提供交易排序与区块构建服务。
Chainlink：作为市场上最大的预言机平台，试图在预言机网络的层面通过交易排序来缓解 MEV 问题。
📑论文
Cross-chain between a Parent Chain and Multiple Side Chains（主链与多侧链之间的跨链）
作者来自：University of Technology Sydney
在某些区块链系统中，出于安全、性能和容量的考虑，需要多个区块链协同运行。本文定义了一种跨链机制，其中主区块链发行代币，然后可以在多个侧链中转移和使用代币以驱动其操作。创建一组见证人来安全地管理主链和多个侧链上的代币交换。系统解耦主链和侧链之间的共识算法。还讨论了主代币和侧链原生代币的共存。（本文最早发表于 2022 年 8 月 10 日，在 2023 年 8 月 18 日更新了 V2 版）
AI-Assisted Investigation of On-Chain Parameters: Risky Cryptocurrencies and Price Factors（人工智能辅助链上参数调查：风险加密货币和价格因素）
作者来自：Koc University、Dokuz Eylul University
本文通过分析历史数据和应用人工智能算法，来识别影响加密货币价格的因素以及高风险加密货币。研究团队对历史的区块链数据进行了分析，测量了价格与其他参数之间的相关性。此外，他们运用聚类和分类方法，以更好地理解加密货币并将其分类为高风险或非高风险。分析结果显示，大约 39% 的加密货币在市场上消失，仅有 10% 左右的加密货币能够存活 1000 天以上。加密货币价格与最大和总供应之间存在显著的负相关，而与 24 小时交易量之间存在较弱的正相关。此外，作者通过对区块链参数进行聚类，将加密货币分为五个不同的群组，为投资者提供了比单独分类更全面的加密货币理解。
Buying Time: Latency Racing vs. Bidding in Transaction Ordering（购买时间：交易排序中的延迟竞赛与竞价）
作者来自：University of London、Offchain Labs
TimeBoost：一种适用于 Rollup 序列器的实际交易排序策略，该策略考虑了交易时间戳和竞标信息；它通过从时间戳和竞标信息创建一个分数，然后根据该分数对交易进行排序。TimeBoost 是交易数据无关的（即可以处理加密交易），并且支持类似先到先得排序策略的低交易完成时间。与此同时，它避免了 FCFS 策略所带来的低效延迟竞争。还满足了纯竞标策略所具备的首次价格拍卖的有用经济特性。（本文最早发表于 2023 年 6 月 3 日，在 2023 年 8 月 16 日更新了 V2 版）
Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs（Pianist：通过完全分布式零知识证明进行可扩展的 zkRollups）
作者来自：University of California
作者提出了基于零知识证明的分布式方案，以提高交易处理效率。通过引入多台机器参与 ZKP 生成，通信成本得到最小化。使用这些方案，证明的生成可以类似于挖矿池的方式分布给多个参与者。作者还在现有的高效 ZKP 系统 Plonk（一个具有通用可信设置的高效零知识证明系统） 的基础上，提出了适用于不同类型电路的两种协议。第一个协议是用于数据并行电路的。第二个协议可以支持具有任意连接的一般电路，同时保持相同的证明、验证和通信复杂性。作者利用这些协议实现了一个名为 Pianist 的系统，能够在多台机器上显著提升 ZKP 的处理速度，改善了系统的可扩展性。