欢迎阅读第十一期 ChainFeeds PRO Newsletter。本次内容将覆盖用 ZK-SNARKs 技术实现的账户抽象钱包的密码恢复机制、利用 Uniswap V4 框架中的单例池和钩子来解决 DEX 中跨领域 MEV 的问题、同态加密、用 Rust 编写的全新以太坊执行节点 Reth 以及每周更新内容:比特币协议进展、以太坊治理相关、链上数据、最新研究和进展,和最新论文。
Password recovery for Account Abstraction Wallet
该提案介绍了一种使用 ZK-SNARKs 技术实现的账户抽象钱包的密码恢复机制。核心思想是将 hash(password, nonce) 存储在合约钱包中。如果用户丢失了控制合约钱包的私钥,他们可以使用密码生成一个零知识证明。证明用于验证用户知道密码并请求更改私钥。确认更改的过程将需要大约 3 天或更长时间。该机制通过延长确认期限和保护用户隐私,提供了安全可靠的密码恢复解决方案。
LVR-minimization in Uniswap V4
作者提出利用 Uniswap V4 框架中的单例池和钩子来解决 DEX 生态系统中跨领域 MEV 的问题。DEX 中由于价格滞后和交易顺序的不确定性,流动性提供者面临着损失与再平衡的成本,即 LVR(Loss-versus-rebalancing) 成本。该方案旨在通过钩子和重新平衡策略来降低 LVR 成本。并且通过调整池的隐含价格和重新平衡代币储备,矿工无法轻易地从价格滞后和交易顺序中获利,从而减少了跨域 MEV 的可能性。
Geometry:Homomorphic Encryption and Its Commercial Use Cases
同态加密是一种可以在加密数据上进行安全计算的加密技术,它能够保持数据的隐私性。通过同态加密,可以在不解密数据的情况下对其进行加法和乘法等操作。传统的加密方案包括密钥生成、加密和解密三个步骤。同态性质使得可以直接在加密的数据上执行操作,而无需先解密数据。比如加法同态加密允许对两个密文进行加法操作,得到它们的和的密文。乘法同态加密则允许对两个密文进行乘法操作,得到它们的乘积的密文。同态加密有多种类型,包括部分同态加密、有限同态加密和完全同态加密。它在许多领域有着广泛的应用,包括人工智能、区块链和医疗保健。
Paradigm:Releasing Reth!
Reth 是一个用 Rust 编写的全新以太坊执行节点,旨在为以太坊的稳定性做出贡献、改善客户端多样性并降低参与以太坊开发的门槛。
Reth Alpha 版本的主要特点包括:
以太坊执行层:采用 Rust 编写的全新以太坊执行层。
性能优越:Reth 在存储、同步速度、稳定性和链查询等关键领域展现卓越的性能。
以太坊 JSON-RPC 支持:Reth 支持以太坊的 JSON-RPC,包括实时和历史追踪功能。
面向 EVM 基础设施的 SDK:可用于构建如 MEV 构建者、P2P 哨兵、索引器、ERC4337 UserOp mempools 等。
比特币协议进展
Bitcoin Optech Newsletter #256
扩展 BOLT11 发票以请求两次付款的提案:允许收款方从支付者请求两笔不同的支付,每笔支付有独立的密钥和金额。这个功能对于潜艇交换(Submarine swaps)和即时通道(Just-in-Time)非常有用。潜艇交换是指通过闪电网络支付获取链上资金,而即时通道是指在没有通道或流动性的情况下与服务提供者创建虚拟通道。当前的发票只支持单笔支付,而提案旨在解决潜艇交换和即时通道中的支付问题。该提案在技术社区中引发了讨论:
关于潜艇交换的专用逻辑:Olaoluwa Osuntokun 指出,潜艇交换的接收方需要创建一个密钥,并将其分发,然后在链上解决该密钥的支付。最便宜的解决方法是与交换服务提供者进行交互。如果支付者和接收方无论如何都要与服务提供者进行交互,就不需要使用发票来传递额外的信息。Thomas Voegtlin 回复说,一个专门的软件可以处理这种交互,从而消除了支付资金的离链钱包和接收资金的链上钱包中的额外逻辑的需要。但这仅在闪电网络钱包能够在同一发票中支付两个独立密钥和金额的情况下才可能实现。
BOLT11 的僵化问题:Matt Corallo 指出,到目前为止,尚未能够使所有闪电网络实现更新其对 BOLT11 发票的支持,以支持不包含金额的发票(用于允许即时支付),因此他认为在当前时刻添加额外字段并不是一个实际可行的方法。
使用拼接输出的替代方案:Corallo 还问到,如果可以使用拼接输出(splice outs)的话,为什么需要修改协议来支持潜艇交换。文章中没有提及,但潜艇交换和拼接输出都允许将离链资金移入链上输出,但拼接输出在链上更高效,并且不会遇到无偿费用的问题。Voegtlin 回答说,潜艇交换允许闪电网络用户增加他们接收新闪电网络支付的能力,而拼接输出则无法实现这一点。
以太坊
ZK 相关
Classic Rollups (Optimistic/ZK Rollups) vs Enshrined and Sovereign Rollups
Optimistic Rollups 允许在链下执行智能合约,同时仍然保持以太坊主网提供的高水平安全性。Optimistic Rollups 的假设是所有交易都是正确的,只有在发生争议时才进行完整的计算。
ZK Rollups 将多个输入和输出捆绑在一个单一的交易中,并使用零知识证明来验证交易的有效性。与 Optimistic Rollups 不同,ZK Rollups 不需要争议期,因为它们提供即时的最终性。
Enshrined Rollups 是 Optimistic Rollups 的一种变体,旨在解决原始设计的一些限制。它们引入了「数据可用性采样」的概念,以减少数据可用性和存储要求。
Sovereign Rollups 是一种结合了 Layer 1 和 Rollups 元素的新概念。它们以独立的区块链形式存在,并具有自己的共识机制、安全模型和治理系统,仅在安全性保证和定期检查点方面与 Layer 1 进行交互。
Development of many Zero Knowledge Domain Specific Languages (DSL)
常见或即将推出的有前景的 DSL:
Circom 是一种用于定义算术电路的 DSL,用于生成 ZKP。Circom 编译器是一个用 Rust 编写的 Circom 语言编译器,用于生成具有一组关联约束的 R1CS 文件(电路)和一个用 C++ 或 WebAssembly 编写的程序。开发人员可以构建自己的电路,或使用 circomlib 中预定义的电路组件。使用小组件构建电路可以更容易地测试、审查、审核或验证复杂的电路。
Noir 是由 Aztec Network 团队开发的用于编写和验证ZKP的开源语言。Noir的语法受到 Rust 的影响。由于 Noir 不直接编译为电路,而是编译为一种中间表示形式,因此可以与任何证明系统(如 PLONK、Halo2、Gnark 等)集成,作为 Noir 的后端。Noir 默认使用 Aztec Network 开发的 UltraPlonk 后端。
Cairo 是由 StarkWare 团队开发的一种图灵完备语言,用于创建 STARK 可证明的通用计算程序。Cairo 用于支持 StarkWare 的应用,包括 StarkNet 和 StarkEx 等扩展应用。Cairo 旨在利用 STARK 而不是 SNARK。
治理重点
This Week in Governance - June 22
Lens Protocol 引入治理:Lens Protocol 正在引入 Lens Improvement Proposals (LIPs),这是一个开放和协作的过程,旨在塑造协议的未来发展。Lens Protocol 以用户所有权和控制为原则,希望通过采用开放治理和社区贡献的方式重新定义 Web3 中的社交网络。首批三个实时提案的重点是建立开放治理模型、算法开放标准和元数据开放标准,旨在促进社区参与和推动 Lens Protocol 的发展。
Optimism 宣布 RetroPGF 第三轮:Optimism Collective 宣布了 RetroPGF 的第三轮,该计划旨在奖励对 Optimism Collective 产生积极影响的构建者、创作者和教育工作者。在本轮中,将分发 3000 万 OP 代币,以表彰在增强 OP 堆栈、集体治理、开发者生态系统以及终端用户体验和采用等类别中做出的贡献。RetroPGF 第三轮的项目注册和投票将于 2023 年秋季进行。
Zora 宣布 Zora Network:Zora 于 6 月 21 日推出了 Zora Network,旨在通过使以太坊生态系统更快、更实惠,并提供更多链上表达和实验的机会,增强艺术家、创作者和社区的体验。Zora Network 是一个高效且可扩展的 Layer 2 网络,构建在 Optimism 的 OP 堆栈上,与 Zora 现有的创作工具无缝集成,并已得到各种合作伙伴的支持。
链上数据
Dune Digest #84
以太坊 L2 扩展平台: 以太坊的 L2 扩展平台在过去一年里有了显著的增长。L2 交易已经超过了 L1 交易,现在每日处理的交易量大约是 L1 的两倍。尽管以太坊仍然处理了更多的总交易量,但趋势表明 L2 扩展可能在未来一年内超过以太坊。
LSDfi:LSDfi 生态系统已大幅增长,总价值锁定(TVL)接近 4 亿美元。Lybra 和 Raft 是市场上领先的协议,LSD 支持的稳定币的供应量已经超过了 1 亿美元。
Arbitrum 的空投成功: Arbitrum 的 TVL 和用户指标都有增长。尽管有一些波动, TVL 已经达到了 41 亿美元以上,并且仍然高于 2023 年第二季度前的水平。活跃地址和每周平均交易量在空投后也有所增加,表明空投战略是成功的。
蓝筹股 NFT 表现: 近几个月来,NFT 市场面临挑战。包括 Moonbirds、Doodles 和CloneX 在内的几个知名藏品的底价大幅下降,而只有少数藏品出现了增长。Miladys 和 Pudgy Penguins 是为数不多的赢家,在过去的一年中,地板价大幅上涨。整个 NFT 市场已经下降,但并没有完全 「死亡」。
Unibot: Unibot 是一个 Telegram 机器人,帮助用户识别机会并在 DEX 上执行有利可图的交易。该机器人通过对交易的税收产生收入,并将收入分享给 UNIBOT 代币持有人和团队。税收收入已达到近 38 个ETH,代币持有人的年百分比(APR)估计超过 30%。
其他研究和进展
Transaction Malleability Attack of Groth16 Proof
本文主要介绍 Groth16 算法的基本概念、密码学基础和主要算法流程。重点展示了三种 Groth16 交易延展性攻击的构造方法。Groth16 算法是 zk -SNARKs 技术中一种常用的非交互式零知识证明解决方案。它具有较小的证明大小和更快的验证速度。
Let native staked ETH as RAI’s CDP -based on DKG+DVT+RCO
作者提出了一种使用抵押的 ETH 作为 RAI 稳定币抵押债务头寸的解决方案。主要解决使用质押的 ETH 作为抵押物时质押者可以控制其验证者从而发起 51% 攻击的问题。为了创建一个安全的解决方案,提案建议将 DKG(分布式密钥生成)、DVT(分布式验证器技术)和 RCO(随机选择算子)结合起来构建这个平台,并基于 ETH 质押实现 RAI 产品。
Proposal for Cross RU forced transactions
在 L2 上强制交易(forced transactions)需要经过 L1,导致执行瓶颈。L3 在降低 L2 强制交易成本方面有所改进,但仍存在执行限制。作者建议利用状态证明桥,允许将交易记录和读取到数据可用性(DA)层,其中 ZKP 被用于验证交易的有效性并证明其在接收 Rollup 链上的消耗。这种方法有助于降低强制交易的成本,并提供更好的跨 Rollup 互操作性。它允许在不直接依赖 L1 执行的情况下,在 L2 和 L3 之间进行廉价且安全的交易。
Proposing Stateless light client as the foundation for Stateless Account Abstraction
作者提出了一种名为 Xtreamly 的无状态账户抽象模型。该模型将账户状态与验证和执行逻辑分离,通过使用密码学证明和见证来验证交易,并使用可聚合子向量承诺(aSVC)来存储和验证合约状态。这种模型允许客户端在不存储整个区块链状态的情况下进行交易处理,提高了网络性能和交易验证的效率。通过这种模型,开发人员可以创建定制化的账户类型,促进以太坊生态系统的创新。同时,该模型还提供了对签名验证逻辑的灵活定制,以及无状态轻客户端的实现,进一步减轻了节点和客户端的存储压力。
Optimistic pool - a universal co-processor for Ethereum mainnet
作者介绍了一种名为「Optimistic Pool」的通用协处理器,它可以在以太坊主网上提升性能。该协处理器通过在链外进行计算并在链上进行有效验证,节省用户的 Gas 费用。与 Rollup 类似,但不持有用户的代币,并且可能破坏原子组合性。文章还提到了一些现有或正在开发中的类似解决方案,并讨论了该协处理器的应用领域,如链上私人投票、隐私合约和智能合约钱包等。
Time Bound Token (TBT): Generalized Time Based Claim on utility
时间绑定代币(Time Bound Token,TBT),是一种可以转移和管理资产时间轴所有权的代币。TBT 通过将代币分割成周期性的时间轴来实现,不同的地址可以拥有不同的时间轴。持有 TBT 的人可以通过调用实用函数利用底层资产获得经济或金融利益。TBT 可以像普通代币一样转移。
Make Everything A Based Optimistic Rollup
作者提出一种针对 DeFi 应用的优化思路,即将状态分割成用户级别的哈希或离散的共享状态片段,并采用 Optimistic Rollup 技术来实现更快的最终性。相比于传统的单体聚合方式,虽然成本减少的幅度不如单体聚合,但对于 DeFi 应用来说,快速最终性对于实现外部流动性的互操作性至关重要。
📑论文
Latency-First Smart Contract: Overclock the Blockchain for a while(延迟优先的智能合约:让区块链超频一段时间)
作者来自:Shandong University
当区块链系统面临高负载时,传统上延迟敏感的用户需要相互竞价并支付更高的费用,以确保他们的交易能够得到优先处理。然而,在大部分时间里,区块链系统仍存在大量未使用的计算能力,只有少数用户发送交易。为了解决这个问题并减少用户的延迟,本文提出了一种名为「延迟优先智能合约模型」的解决方案,旨在应对区块链系统在大量交易时可能出现的延迟问题。该模型乐观地接受已提交的交易。这使得用户可以在高需求时提交交易承诺,并以较低的优先级完成剩下的工作。从区块链的角度来看,这暂时地「超频」了系统。
Speculative Denial-of-Service Attacks in Ethereum(以太坊中的投机性拒绝服务攻击)
作者来自:Hebrew University of Jerusalem、Imperial College London
作者展示了对图灵完备区块链进行攻击的可能性,通过引入三种攻击方式:ConditionalExhaust、MemPurge 和 GhostTX。这些攻击可以使参与者承担巨大的计算资源负担,堵塞其内存池,并对以太坊的提议者-构建者分离生态系统的声誉系统造成威胁。作者还指出潜在的缓解措施可能会降低区块链的可扩展性,对其竞争力造成不利影响。
CroCoDai: A Stablecoin for Cross-Chain Commerce(CroCoDai:用于跨链商务的稳定币)
作者来自:Nanyang Technological University、National University of Singapore
作者设计一个适用于跨链交易的实用稳定币的目标,并指出此目标面临两个挑战,第一个挑战是高效支持大量的区块链,第二个挑战是在价格波动和区块链平台故障的情况下保持稳定。为了解决这些挑战,作者介绍了 CroCoDai 稳定币,并提供了三个原型实现。实验结果表明,该稳定币系统具有较小的执行开销。
PIEChain -- A Practical Blockchain Interoperability Framework(PIEChain——实用的区块链互操作框架)
作者来自:Nanyang Technological University、Singapore University of Technology and Design
现有的互操作性方法(如 Cosmos 和 Polkadot)存在限制,它们只支持自己子链之间的互操作,或需要对现有区块链进行侵入性的改变。为了克服这一限制,作者提出了 PIEChain,一种基于 Kafka 的通用跨链通信框架。作者利用 PIEChain 进行了一个实际案例研究:跨链拍卖,其中持有多个链上代币的用户在另一个链上竞标出售的门票。PIEChain 是首个公开可用的、实用的通用跨链通信框架的实现。