以太坊基金会:2022年Layer2社区Grants 22个获奖项目
原文:《》by Rodrigo Vasquez
编译:Peng SUN,Foresight News
Layer2 Community Grants 2022 是一项由以太坊基金会资助的赠款计划,以鼓励围绕 Layer2 应用程序开发和用户教育。本轮资助总额原计划为 75 万美元,后调整至 94.8 万美元,项目提交时间为 2022 年 10 月 24 日至 2022 年 12 月 5 日。在六周时间内,Layer2 Community Grants 2022 总计收到 130 多份申请,覆盖各个领域,包括 Layer2 浏览器、密码学和教育。经评审团评选后,以太坊基金会隐私与扩展探索团队于近日公布了获奖名单。
总体来说,所提交项目可分为社区与教育、数据可视化、密码学与零知识证明、数据分析、网络安全和用户体验六大类别,各类别占比如下图所示:
由于提案质量很高,以太坊基金会将预算从最初的 75 万美元提高到 94.8 万美元。
不同类别项目的获奖比例也有所不同,其中,用户体验类项目占比最高,为 36.4%,数据分析类项目为 18.2% 位列第二,密码学与零知识证明、数据可视化类项目各占 13.6%,网络安全及社区与教育类项目各占 9.1%:
获奖名单:
有 22 个项目从众多申请中脱颖而出,下面本文将按照不同分类对获奖项目做简要介绍:
网络安全
– ERC-4337 公共基础设施
这是一个作为 ERC-4337 智能合约钱包公共物品基础设施的开源捆绑器(bundler)和支付(paymaster)服务,专注于 Layer 2 。
– Rollup 安全框架
该项目将为 rollups 的独特功能构建一个详细的安全框架,希望为这些功能建立一个最佳实践和透明度的基础,以帮助新开发者,并使社区在使用一个特定的 rollup 之前能够评估其安全风险。类似于那些可用于智能合约开发和像 这样非常高级的 rollup 安全概述。该框架将讨论终端用户和开发者对 Escape Hatch 开发和操作风险的关注与细节,并为这一功能和其他功能建立一致的语言。
用户体验
Spiro – zkWallet
多方安全钱包(如 Gnosis 安全多签)是一个行之有效的方法,可以让多个用户共享一个账户的数字资产和行为的控制权。不幸的是,目前多方钱包的实现暴露了多签地址总数及其相关的外部账户(EOA)隐私。Spiro 钱包旨在建立一个私有的多方钱包,通过采用账户抽象(EIP-4337 )和零知识证明来屏蔽终端用户。
– Stackr Network
Stackr Network 是一个 SDK,用于使用熟悉的类似 Web2 的工具来启动独立的可定制化的特定应用程序的 rollup。它专注于 rollup 的核心原则,即在链下运行状态机,并使用 L1 来存储交易细节。这可以通过通用语言来实现,通用语言可以在链下维护应用状态,并提供与之交互的接口,从而作为一个独立的 L2。它允许构建一类新的应用,这些应用在执行选择上将有更多的自由。
– L2 优化器
Layer 2 网络通过将交易 call data 发布到 Layer 1 来与主网共享安全性。因此,Layer 2 用户在执行交易时支付他们的那部分主网 gas 成本。Layer 1 gas 比 Layer 2 gas 贵 25, 000 倍以上,因此为 call data 付费是 L2 交易的主要成本。使用比标准方法更少 call data 的自定义路由合约,可以大幅降低与流行协议交互的交易成本。
Testinprod – Layer 1.5
Layer 1.5 通过提供简单的工具,使任何人都能启动自己的 Layer 2 。例如,区块浏览器、资产桥、监测工具等。
– 具有灵活投票(Flexible Voting)的 Layer 2 治理
灵活投票是许多 DAO 所使用的流行治理系统的扩展。它允许编写新类型的委托合约,使治理代币持有者更容易参与链上投票。其中一个用例就是本次资助的主题:Layer 2 治理投票。跨链桥治理代币的持有者可以支付更便宜的 gas 费在 Layer 2 上投票。这些投票将以无信任的方式反馈到部署 DAO 治理系统的 L1 上。
Clement Walter –
Starksheet 旨在使链上资源(数据和逻辑)的访问与使用民主化。它利用熟悉的电子表格来帮助用户查询和链接链上资源。这些行为以 NFT 的形式保存在链上,以后可以从任何其他 DApp 或合约中查询到。
– Typescript ERC-4337 Bundler
该项目将包括在 Typescript 中开发一个 ERC-4337 捆绑器(bundler),并为模拟目的对 Geth 节点进行相关修改,以便捆绑器只需进行少量修改便可以在任何直接与 Geth 兼容的链(包括大多数 L2)上运行。该捆绑器还将公开规范中定义的 RPC 调用,并维护一个内部的 mempool,以便在开发 P2P 广播时能够面向未来。
– 开源 ERC-4337 钱包
由 ERC-4337 驱动的易于使用的浏览器钱包实现。
社区与教育
Jose Figueroa – L2 en Español
L2 en Español 是一个开放社区,旨在研究、教育和推动所有以太坊扩展解决方案的采用。这些方案专注于开发者和新用户,以寻求与这些技术及其效用保持同步。L2 en Español 创建内容并开展不同的活动,从出版物到研讨会都是免费的,同时支持在这个空间里不同项目创新,同时也保持核心中立性。
– MyFirstLayer 2
这将是一个开源的、社区驱动的、教育性的项目。这将是一个为对 Layer 2 感到好奇,但又没有 Layer 2 或区块链知识的人准备的网站。MyFirstLayer 2 的目标是使用精心设计的图表和互动动画来帮助人们在 30 分钟内了解 Layer 2 背后的理念。之后,我们将引导人们逐步了解一些真实世界的 Layer 2 应用,让他们感受到 Layer 2 的好处。
数据分析
– Blockscout 区块浏览器
目前,L2 生态系统需要一个开源的区块浏览器。许多 L2 项目已经使用 Blockscout,并且将提高 L2 数据特定要求的可用性。此外,新的界面、功能、分析和开发者友好的改进将有助于创造一个更加透明和可用的社区浏览器。
– 评估 Rollup 压缩
在讨论 rollup 时,压缩(compression)常常被忽视。根据设计,rollup 需要提供数据,以验证状态转换或状态根;然而,这种公布的方法是不同的,可能包括压缩过的数据。所使用的压缩技术也有差异。Quantstamp 将探索压缩技术在 rollup 设置中的使用。首先,Quantstamp 将阐释使用压缩的场景,并记录可能使用的技术。第二,Quantstamp 将调查现有的 rollup,以调查实际使用的方法。第三,Quantstamp 将评估在类似系统中提出或使用的方法,并试图确定为什么使用某种特定的方法。最后,Quantstamp 将利用收集到的反馈为压缩 rollup 数据提出新的方法,并向社区提出开放问题。
– Layer 2 区块链系统的性能和安全评估
悉尼大学和 EPFL 设计了一个基准套件来评估区块链系统的安全和性能。第一次评估比较了 Algorand、Solana 和 Diem 等 Layer 1 区块链,并将很快在一个同行评审的国际会议(Eurosys)上发表。Diablobench 旨在将 Layer 2 区块链系统添加到 Diablo 基准中,并利用它对在全球范围内部署的 Layer 2 区块链系统进行首次广泛而真实的基准评估。
– Layer 2 活动跟踪和比较套件
通过这个项目,Web3-data 的目标是提供一套高质量的仪表板,帮助数据科学家、研究人员和所有社区成员更好地了解 Layer 2 活动;
Web3-data 将利用 Dune、L 2B eats、Santiment、CoinGecko、Github、Discord 等来源,在许多情况下,直接从项目的 API/RPCs 中汇总整个 Layer 2 网络的数据。
Web3-data 将清理和组织这些数据,以提供一套仪表盘,使社区能够直观地看到关键 L2 指标的变化(如 tps、支付给以太坊的租金、TVL 的增长、每日活跃地址、新地址、总地址、支付费用,以及基于 GitHub 附属 repo 提交的开发者活动)。
Web3-data 的目标是按照使用类别(Native transfer、DeFi DEX、DeFi other、NFT、CEX、Stablecoin、ERC 20 other、L2 rent、Bridge、Arbitrage/MEV、Utility)来标记智能合约(并最终使社区能够标记智能合约)。这种标签将使我们能够在高层次上分析和可视化使用模式,并显示不同使用类别中「最热门」的智能合约。Web3-data 正使用来自 Dune、Arbiscan、Etherscan 和其他的已知标签。
– L2 Beat
通过扩展指标和教育,继续致力于对新兴的 L2 技术进行透明和可验证的洞察。
数据可视化
– L2 区块浏览器后端 API 标准
Quantstamp 将明确定义一个区块浏览器应该实现的属性,以便在一般的 Layer 2 设置中被认为是功能完整的。此外,Quantstamp 的目标是提出并指定一个标准的 API 接口,Layer 2 网络应该公开给通用的区块浏览器。Quantstamp 设想,这样一个标准化的接口将能够大大简化多个区块浏览器的开发,这些区块浏览器可以在所有支持该标准的 Layer 2 网络中即插即用,重复使用。在理想的情况下,该标准将把一个新的区块浏览器的核心开发变成一个项目,可以由一个有经验的团队在周末黑客马拉松中完成。Quantstamp 的目标是要定义一个与消费者无关的标准。因此,它是否被一个商业化的、开源的、甚至有可能是去中心化的区块浏览器所使用并不重要。Quantstamp 将特别关注区块浏览器应该提供哪些独特的 Layer 2 数据,重点是 Quantstamp 监控的链的安全有关的数据。
–
支持 EIP-4844 中 blob 交易的第一个区块浏览器。它以可搜索的格式对它们进行索引和展示,用户可以通过简单的方式进行可视化和导航,为扩展以太坊提供必要的基础设施。
密码学与零知识证明
Specular – Zhe Ye、Ujval Misra and Dawn Song ( 加州大学伯克利分校 )
今天最流行的以 Arbitrum 和 Optimism 为代表的 Optimisic Rollups(ORUs)努力扩展现有的以太坊客户端软件(Geth),以支持交互式欺诈证明(IFP)的构建,旨在重用先前的 L1 工程并在 L2 复制 EVM 语义。不幸的是,为了做到这一点,它们将其链上 IFP 验证器与一个特定的客户端程序紧密结合在一起,对其更高层次的语义毫不知情。这种方法(1 )排除了信任最小化,多个以太坊客户端程序的无权限参与,放大了 monocolture 失败风险;(2 )导致不必要的大型和复杂的可信计算基础(TCB),难以独立审计;以及(3 )遭受频繁触发、但不透明的升级过程——既进一步增加审计开销,又使链上访问控制长期复杂。
因此,团队专注于建立一个安全的、信任最小化的 ORU,以解决这些问题,同时保持可扩展性和争端解决效率。为此,团队设计了一个原生于 EVM 的 IFP 系统,该系统在单个 EVM 指令的层面上精确地执行了 Ethereum 的半形式化语义。作为这项工作的一部分,团队构建 Specular,这是一个利用 Geth 修改的 ORU,只有 99 行代码来支持 IFP 的构建——证明了我们方法的实用性、可扩展性和信任的最小化。
, Justin Thaler(乔治敦大学)、Matthew Green(约翰·霍普金斯大学)、Pratyush Tiwari ( 乔治敦大学 ) – L2 部署证明系统的具体安全分析
团队提议分析确保 -rollups 安全证明系统(SNARKs,STARKs)的具体安全性。团队观察到,一些证明系统在交互式环境下有安全性分析,而在应用 Fiat-Shamir 变换后,其安全性只是猜想。此外,团队认为,在某些情况下,比所谓的安全水平更有效的攻击是可能的。
– 使用以太坊 L1 合约的 L2 动态数据集的存储证明
鉴于在 L1 合约中 BLOB 的承诺列表(例如,来自 EIP-4844/Danksharding 的 KZG 承诺,索引为 0…n-1 ),该项目是研究一个高效的证明系统,在 L1 上有效地验证 BLOB 是以所需的冗余度(例如, 30 ~ 50 个物理副本)存储在链下。通过将这些存储节点放在 L2 网络中,并假设 1/m 的节点是诚实的,可以建立一个 L2 存储网络,重用主网的安全性,同时极大地扩展以太坊的可扩展性。
更深入的研究将试图回答以下问题:如果 BLOB 和承诺不断变化(例如,新的 BLOB 被追加到列表中,或者一个索引的 BLOB 被改变),如何建立证明 / 验证系统;以及如何建立激励 / 支付系统,以确保使用 ETH 作为支付的理想复制系数;是否可以要求存储节点存储部分 BLOB,同时保持主网处在一个相同安全的水平?