PRO|Vitalik:不要超载以太坊的共识、洋葱路由协议、a16z 私密链上投票系统、ML+zkSNARKs
重新梳理 PRO 内容的框架,分为四大板块,第一部分为每周重点/有趣内容提炼,第二部分为比特币协议相关更新、第三部分为以太坊相关更新,最后为区块链最新论文。
欢迎阅读第七期 ChainFeeds PRO Newsletter。本次内容将覆盖 Vitalik 最新文章以及相关内容,洋葱路由协议在闪电网络中的应用,以及每周更新内容:比特币协议进展、以太坊治理相关、链上数据、最新研究和进展,和最新论文。
Don't overload Ethereum's consensus
Vitalik:不要超载以太坊的共识
Vitalik 强调了以太坊社区的社会共识的脆弱性,并讨论了将以太坊的共识范围扩展到更多功能和应用层面可能带来的风险。Vitalik 认为扩展共识范围可能导致社区内部冲突和分歧加剧,增加社区分裂的风险,可能引入中心化压力,产生权力集中现象。因此,Vitalik 主张保持以太坊的最小主义,避免过度扩展共识的角色,并寻求其他方法来实现安全目标,如去中心化预言机和 Layer 2 协议。
Eigenlayer 创始人:Vitalik 对重质押不同用例的风险看法与 Eigenlayer 倡导的是一致的
Eigenlayer 创始人 Sreeram Kannan 对 Vitalik 最新的文章进行解读,认为 Vitalik 对重质押不同用例的风险与 Eigenlayer 倡导的是一致的。
1)不要在重质押上构建复杂的金融原语 - 它们可能会螺旋式下降;2)不要依赖以太坊来分叉应用层的错误——这是一个非常重要的原则;3)不要使用主观罚没 - 因为它会受到不诚实的多数人的暴政。
Don’t overload Ethereum’s consensus - A Light Client Bridge Perspective
由 Vitalik 最新发布文章引起对外部应用程序借用以太坊区块链的经济安全性的讨论。以太坊提供了经济安全和社会共识安全两个层面的安全性。文章重点讨论了轻客户端桥接(Light Client bridges)作为一种外部应用程序,如何借用以太坊的经济安全性而不依赖社会共识安全,并提出了增加以太坊质押价值的建议以增强应用程序对以太坊安全的信心。
比特币协议进展
Bitcoin Optech Newsletter #251
HTLC 认可测试: Carla Kirk-Cohen 和 Clara Shikhelman 提议 HTLC 认可测试作为信道干扰攻击的解决方案。他们提供了一个简要的规范草案,并建议使用实验性标志进行部署,以防止对非参与节点的交互产生任何影响。
对 LSP(Lightning Service Providers) 的拟议规范的反馈: Severin Bühler 就 LSP 和他们的客户之间的互操作性的两个规范寻求反馈。这些规范涵盖了从 LSP 购买渠道,以及建立和管理即时(JIT)渠道。
双重资助中的零确认渠道所面临的挑战: Bastien Teinturier 强调了在使用双融资协议时启用零确认渠道的挑战。零确认通道可以在通道开启交易确认之前使用,这在某些情况下是无需信任的。但是,当双方都在开启交易中拥有输入时,零确认就不再是无需信任的。
高级 payjoin 交易应用建议: Dan Gould 建议将 payjoin 协议用于简单支付之外的其他用途。讨论的两个最有趣的想法是支付转发和批量支付转发,这可以改善隐私、可扩展性和减少交易费用。
比特币核心开发者会议的总结:主题包括模糊测试、assumeUTXO、ASMap、静默支付、重构、包中继、mempool 集群和项目讨论,强调了潜在的重新设计和管理变化。
闪电网络
What is onion routing and how does it work?
洋葱路由通过将支付信息封装在多层加密中,并通过一系列中间节点进行转发,实现了隐私保护和支付路径选择。其目的是为了保护支付的隐私性和安全性,同时实现高效的支付转发,使得闪电网络成为一种高效、安全且隐私保护的支付解决方案。文章详细解释了洋葱路由的工作原理,包括创建洋葱负载、混淆洋葱负载和转发洋葱负载的过程。
以太坊
MEV 相关
3 Reasons why the MEV Problem is a Protocol Designer’s Nightmare
以太坊基金会成员 Julian Ma 作为协议设计者,讨论了 MEV 问题,此 PPT 解释了 MEV 问题是协议设计者噩梦的 3 个原因以及一些 MEV 解决方案。
原因一:MEV 有很多影响。
在协议方面(共识安全):提高了对验证者集中化的诱因;MEV 的飙升鼓励了质押池的出现;高 MEV 区块会鼓励重新组织攻击;MEV 鼓励时机博弈
在用户方面:用户被提取的利益可能不再回归:用户可能因为受到提取而选择不再使用协议。
原因二:协议的限制。
协议只能保护协议所能观察到的内容
我们对除了规范链之外的其他内容没有共识:在交易池、区块排序和时机博弈等方面缺乏共识。
引入额外的共识任务会使协议变得复杂。
原因三:嵌入还是不嵌入?
将某个版本的 PBS 嵌入链上是可能的(例如 ePBS)。但是,这是否是最优的机制?
协议升级需要时间,且难以撤销已经进行的升级。
MEV for “Based Rollup”
Based Rollup 是指基于 Rollup 将顺序处理交给了 L1 以继承 L1 的活跃性保证和去中心化特性,同时利用 L1 的搜索者-构建者-提案者基础设施。文章描述了Based Rollup 的 L2 MEV 机制,说明了如何利用 L2 和 L1 之间的交互来提高以太坊的经济安全性,并允许在不同领域提取跨链 MEV。还提及了 Based Rollup 在多个层次上扩展的可能性。
Alleviate MEV on Sequencer with Partial-Fields-VDF-Encoded Tx and ZK-based Validity Proof
本文介绍一种具有隐藏字段和 VDF 编码的交易协议,以实现交易的顺序执行和信息的保密性,减轻排序器上的 MEV 攻击。
ZK 相关
Geometry Presents: Semacaulk, a gas-efficient zero-knowledge set membership protocol
Semacaulk 协议是一种高效的零知识集合成员证明协议。文章详细说明了其工作原理以及技术细节,包括使用 KZG 多项式承诺实现恒定成本的插入操作、利用 Caulk+ 实现高效的成员证明、借鉴 PlonK和 Halo2 等技术的多项式身份验证协议等。
Zk Smart Contracts for the Masses: Compiling ES6 JavaScript to zkSNARKs
通过将 JavaScript 类中的每个函数编译为算术电路,并生成相关的证明和证据,实现了可信的状态转换,将 JavaScript 编译为 zk 智能合约,方便 Web2 开发者大量采用,帮助更多开发人员加入区块链生态系统。
zkML: Evolving the Intelligence of Smart Contracts Through Zero-Knowledge Cryptography
通过使用 zkSNARKs 技术,可以在链下运行 ML 模型并生成可验证的证明,证明模型产生了特定的结果。这些证明可以发布到区块链上,并被智能合约使用,从而增强其智能性。
治理重点
This Week in Governance - May 18
代表周的举行:代表周(5月 22 日至 26 日)是一个为 DAO 治理参与而设立的为期 5 天的全生态事件。旨在提高人们对积极治理的重要性的认识,并减少长时间休眠的治理代币分配。
Anchorage Digital 推出快照投票功能:数字资产银行 Anchorage Digital 于 5 月 16 日宣布,其客户将能够使用快照投票功能。新的 WalletConnect 集成允许客户参与离线投票,而无需移动他们的代币。该银行目前支持 60 多种 ERC-20 代币。
dYdX 社区在 v4 发布前讨论 SubDAO:dYdX 基金会鼓励在推出 dYdX v4(一个完全去中心化的协议版本)之前讨论 SubDAO。运营信托 SubDAO 的 6 个月任期将于 6 月中旬到期,Fox Labs Digital 提出了各种类型的 SubDAO,供社区在未来考虑。其中包括社区、增长、治理、安全、财务管理和产品开发等领域。
链上数据
Dune Digest #80
stETH 从 Lido 提现: Lido,一个拥有超过 120 亿美元的 TVL 和 31% 的押注 ETH 的流动性押注协议,在本周 Lido V2 推出时启用了 stETH 的提款。到目前为止,已经有 665 个提款请求,有近 451,000 stETH 请求提款。大部分提现来自 Celsius,仅提现就超过 42.8 万 stETH。然而,Lido 已经做好了充分的准备,准备了一定量的 ETH「缓冲资金」以支付提款。
Uniswap 跨链用户: 由于最近以太坊上的 meme 热潮,Uniswap 在各条链上的活跃用户增加。Uniswap 仍然是以太坊上最大的 DEX,在过去的一年中拥有约 80% 以上的用户,在其他链上,如 Optimism、Polygon 和 Arbitrum,捕获的用户比例较小。然而,这些其他链正在成为 Uniswap 整体用户群中越来越重要的一块。
BNB链: 自 2020 年推出以来,BNB 链已成为加密货币生态系统的一个重要组成部分。链上交易在 2021 年底达到高峰,每天超过 1300 万次,在 2022 年的大部分时间里下降到 300-400万次左右,最近又有所回升。该链共处理了 38.6 亿笔交易,今年的活跃钱包和智能合约部署不断增加。
DEX 聚集器:meme 币趋势推动了 DEX 聚合器和 DEX 的发展。0x API 和 1inch 是领先的 DEX 聚合器,0x 驱动超过 72% 的交易,而 1inch 处理约 60% 的价值。在过去的一年里,除了第一季度的大幅飙升之外,整体聚合器的交易量一直持平。然而,最近几个月的日交易量已经超过 10 万,活跃用户也增加到 2 万多。
多链路交易费用:以太坊和比特币的费用在过去一个月大幅增加,以太坊交易额达到 3000 万美元。Arbitrum 和 Optimism 也显示出令人印象深刻的费用趋势,而 Polygon 在 4 月底达到顶峰。BNB 的费用在整个期间保持相对平稳。
其他研究和进展
Building Cicada: Private on-chain voting using time-lock puzzles
a16z 详述用于构建私密链上投票系统的开源 Solidity 库 Cicada,旨在利用时间锁谜题和零知识证明实现私密的链上投票系统。Cicada 致力于提供投票中的运行统计保密,通过时间锁谜题实现了投票过程中的运行统计保密,避免了依赖计票机构或其他可信方的需求。
EIP-1559 burn and price stability
通过数学模型和图表分析供需曲线的变化如何影响均衡价格,指出 EIP-1559 机制中的燃烧机制会增加 ETH/USD 的波动性。此外,还探讨了供应变化的滞后效应,供需曲线斜率的变化、风险溢价等其他因素对价格波动的影响。
Sync committees - exited validators participating in sync committee?
以太坊 2.0 中的验证者即使在退出活跃集后也可以参与同步委员会。同步委员会是提前 256 个纪元选择的,届时会检查活跃验证者集合以确定同步委员会的成员。然而,验证者可以包含在下一个同步委员会中(在 256 个纪元内),然后请求退出,他们的退出可以在同步委员会激活之前得到处理。所以这种情况可能是一个潜在的安全风险,验证人可以继续在同步委员会中履行职责,即使他们的质押已经被撤回了。
The Safety Attack against PoS
一种针对以太坊共识机制的安全攻击:利用了随机数选择角色的方式来选择验证者和提案者,攻击者通过网络分区或延迟证明的手段,使两条冲突的链都获得足够的投票权重,并最终确定,而不违反系统的可削减性假设。攻击的目的是引发共识的混乱和不确定性。
An EVM Execution Layer for Bitcoin
随着隔离见证(SegWit)协议的升级,比特币的容量得到改善,并且交易费用显著降低。因此,有了在比特币上创建一个 EVM 执行应用层的愿望,以允许用户在比特币网络中直接调用 EVM 智能合约。文章提出了该方案的设计和实施细节,并强调了与现有比特币协议的兼容性和优势。
Graphing Ethereum - A Persistent Layer of Relationship on Ethereum
基于当前交易系统存在的问题以及将关系数据放在前台的优势,提出基于图关系的去中心化数据生态系统的构建和应用,并通过将关系数据置于核心位置来提供更好的身份解决方案、社会资本的价值评估、共享资产、负面声誉跟踪等功能。以探索扩展以太坊在非金融领域应用的能力。
What to do with lost coins in post-quantum world?
未来量子计算机对椭圆曲线数字签名算法(ECDSA)的破解存在可能性,这些计算机将能够从 ECDSA 密钥对的公钥中推导出私钥。此时区块链将面临一个问题,即如何处理未迁移到抗量子攻击地址的地址。文章提出了几种选择方案。主要的选择包括不采取行动、锁定或冻结这些地址,或者通过恢复操作转移资金到量子安全的账户。
📑论文
PriFHEte: Achieving Full-Privacy in Account-based Cryptocurrencies is Possible(PriFHEte:在基于账户的加密货币中实现完全隐私是可能的)
作者来自:North Carolina State University
本文提出了一种名为 PriFHEte 的新方法,旨在实现基于账户的加密货币(如以太坊)的完全隐私性。传统方法在交易中添加更多账户以实现 $k$-匿名性,但隐私保证非常有限。PriFHEte 通过使交易本身更加智能来实现匿名性,确保所有账户具有相同的概率成为交易的发送者或接收者。这是第一个能够在基于账户的加密货币中提供完全隐私性保证的协议。还讨论了 PriFHEte 通过利用 zk rollup 等链下可扩展性解决方案在实践中发展的潜力。
Towards Data Redaction in Bitcoin(走向比特币中的数据编辑)
作者来自:University of Salerno
本文提出了一种从比特币区块链中安全删除数据的方法。通过使用零知识证明允许任何节点从比特币交易中删除一些数据,同时保持公众对已花费和可花费代币正确性的可验证性。此外,作者特别利用 STARK 证明提供的透明度。该解决方案避免了以往方法中要求节点就删除内容达成共识的复杂性。
Security of Nakamoto Consensus under Congestion(网络拥塞下中本聪共识的安全性)
作者来自:Stanford University
探索 Nakamoto 共识在面对高区块生产速率、突发释放敌对区块以及权益证明中的模棱两可垃圾信息攻击等网络拥塞情况下的安全性。通过改进的分析方法和引入有限带宽模型,研究者确定了PoW Nakamoto 共识和 PoS Nakamoto 共识的弹性。此外,研究者还提出了一种名为 Sanitizing PoS(SaPoS)的新型 Nakamoto 共识协议,用于对抗权益证明中的模棱两可垃圾信息攻击,并达到与PoS Nakamoto 共识相同的弹性。(本文最早发表于 2023 年 3 月 16 日,在 2023 年 5 月 19 日更新了 V2 版)
A Two-Party Hierarchical Deterministic Wallets in Practic(实践中的两方分层确定性钱包)
作者来自:AMIS
由于分层确定性钱包(Hierarchical Deterministic Wallet)在加密货币交易所和硬件钱包等领域的应用快速增长,改善隐私和安全尤为重要。研究提出了一个完全支持 BIP32 的两方计算协议。该协议类似于分布式密钥生成,可以生成每个参与方的秘密份额、共同的链码和公钥,而不会泄露种子和任何后代私钥。并指出了该协议在实际应用中的可行性和安全性,以及该协议与阈值签名协议的集成潜力。
An Empirical Study on Snapshot DAOs(DAO 的实证研究)
作者来自:CSIRO
本文从实际数据出发,对主流公链生态系统中 DAO 市场的广度和深度进行研究。研究聚焦于最广泛采用的 DAO 启动平台——Snapshot,该平台覆盖了 95% 的 DAO 项目,用于数据收集和分析。通过整合大量入驻的 DAO 和相应的数据测量,研究者从 Snapshot 中探索统计数据,并试图通过提供一系列概述性的洞察来揭示其未被发现的真相。文章还介绍了 DAO 的现状、模式、分布和趋势。这是第一篇在 DAO 领域集中进行实证研究的论文。(本文最早发表于 2022 年 11 月 29 日,在 2023 年 5 月 19 日更新了 V3 版)
Relay Mining: Verifiable Multi-Tenant Distributed Rate Limiting(中继挖矿:可验证的多租户分布式速率限制)
作者来自:Pocket Network Inc
Relay Mining(中继挖矿)作为一种可扩展的解决方案,利用概率机制和加密经济激励来估计 RPC 的使用量,并实现去中心化的多租户速率限制。来自单个应用程序的网络流量可以由多个 RPC 服务提供商同时提供服务,其成本、奖励和速率限制由分布式账本上的本地加密货币管理。本文提出一个建立在代币桶算法和分布式速率限制惩罚模型的研究基础上的方法,利用反馈循环控制机制来调整中继挖矿奖励的难度,使其能够随着网络使用量的增长动态扩展。通过利用加密经济激励,降低了协调开销成本,并引入了一种提供地理分布和地缘政治分布的 RPC 服务的机制。
Agent-Based Modelling of Ethereum Consensus(以太坊共识的基于代理模型)
作者来自:University of Zurich
为了研究以太坊从工作量证明(PoW)共识协议转变为权益证明(PoS)共识协议的过程,以及这种变化对共识质量的影响,文章提出了一个简单而灵活的基于代理的模型,采用了代理模型和时间连续的模拟算法,模拟了验证者节点的行为和信息传播,分析了区块链结构的演化。研究发现系统在共识状态和非共识状态之间存在相变过程,并提供了对这一现象的理论解释。还建立了评估共识质量的指标,并提供了观察模型对参数变化响应的方法。
Towards Understanding Crypto Money Laundering in Web3 Through the Lenses of Ethereum Heists(透过以太坊盗窃案例,深入了解Web3中的加密货币洗钱现象)
作者来自:ACM
本文系统地研究了基于以太坊的Web3生态系统中的加密货币洗钱行为的特征和经济影响。作者通过分析交易网络和账户特征,研究了一些标记的交易所黑客、DeFi 攻击者和骗子账户,并通过启发式交易跟踪方法挖掘了未标记的洗钱组织,以全面描绘安全事件的整体情况。研究发现,随着时间推移,洗钱方法不断升级,包括创建假冒代币和冒充投机者等。最后,基于这些发现,提供了对反洗钱的启示,以促进 Web3 生态系统的健康发展。