原文:《 Layer 2 Community Grants Winners 》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 個項目從眾多申請中脫穎而出,下面本文將按照不同分類對獲獎項目做簡要介紹:
網絡安全
Candidelabs - ERC-4337 公共基礎設施
這是一個作為ERC-4337 智能合約錢包公共物品基礎設施的開源捆綁器(bundler)和支付(paymaster)服務,專注於Layer 2 。
Quantstamp - Rollup 安全框架
該項目將為rollups 的獨特功能構建一個詳細的安全框架,希望為這些功能建立一個最佳實踐和透明度的基礎,以幫助新開發者,並使社區在使用一個特定的rollup 之前能夠評估其安全風險。類似於那些可用於智能合約開發和像L 2B eat.com這樣非常高級的rollup 安全概述。該框架將討論終端用戶和開發者對Escape Hatch 開發和操作風險的關注與細節,並為這一功能和其他功能建立一致的語言。
用戶體驗
Spiro - zkWallet
多方安全錢包(如Gnosis 安全多簽)是一個行之有效的方法,可以讓多個用戶共享一個賬戶的數字資產和行為的控制權。不幸的是,目前多方錢包的實現暴露了多簽地址總數及其相關的外部賬戶(EOA)隱私。 Spiro 錢包旨在建立一個私有的多方錢包,通過採用賬戶抽象(EIP-4337 )和零知識證明來屏蔽終端用戶。
Kautuk Kundan - Stackr Network
Stackr Network 是一個SDK,用於使用熟悉的類似Web2 的工具來啟動獨立的可定制化的特定應用程序的rollup。它專注於rollup 的核心原則,即在鏈下運行狀態機,並使用L1 來存儲交易細節。這可以通過通用語言來實現,通用語言可以在鏈下維護應用狀態,並提供與之交互的接口,從而作為一個獨立的L2。它允許構建一類新的應用,這些應用在執行選擇上將有更多的自由。
ScopeLift - 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 。例如,區塊瀏覽器、資產橋、監測工具等。
ScopeLift - 具有靈活投票(Flexible Voting)的Layer 2 治理
靈活投票是許多DAO 所使用的流行治理系統的擴展。它允許編寫新類型的委託合約,使治理代幣持有者更容易參與鏈上投票。其中一個用例就是本次資助的主題:Layer 2 治理投票。跨鏈橋治理代幣的持有者可以支付更便宜的gas 費在Layer 2 上投票。這些投票將以無信任的方式反饋到部署DAO 治理系統的L1 上。
Clement Walter - Starksheet
Starksheet 旨在使鏈上資源(數據和邏輯)的訪問與使用民主化。它利用熟悉的電子表格來幫助用戶查詢和鏈接鏈上資源。這些行為以NFT 的形式保存在鏈上,以後可以從任何其他DApp 或合約中查詢到。
Kristof Gazso - Typescript ERC-4337 Bundler
該項目將包括在Typescript 中開發一個ERC-4337 捆綁器(bundler),並為模擬目的對Geth 節點進行相關修改,以便捆綁器只需進行少量修改便可以在任何直接與Geth 兼容的鏈(包括大多數L2)上運行。該捆綁器還將公開規範中定義的RPC 調用,並維護一個內部的mempool,以便在開發P2P 廣播時能夠面向未來。
Soul Wallet - 開源ERC-4337 錢包
由ERC-4337 驅動的易於使用的瀏覽器錢包實現。
社區與教育
Jose Figueroa - L2 en Español
L2 en Español 是一個開放社區,旨在研究、教育和推動所有以太坊擴展解決方案的採用。這些方案專注於開發者和新用戶,以尋求與這些技術及其效用保持同步。 L2 en Español 創建內容並開展不同的活動,從出版物到研討會都是免費的,同時支持在這個空間裡不同項目創新,同時也保持核心中立性。
Bruce Xu - MyFirstLayer 2
這將是一個開源的、社區驅動的、教育性的項目。這將是一個為對Layer 2 感到好奇,但又沒有Layer 2 或區塊鏈知識的人準備的網站。 MyFirstLayer 2 的目標是使用精心設計的圖表和互動動畫來幫助人們在30 分鐘內了解Layer 2 背後的理念。之後,我們將引導人們逐步了解一些真實世界的Layer 2 應用,讓他們感受到Layer 2 的好處。
數據分析
Blockscout - Blockscout 區塊瀏覽器
目前,L2 生態系統需要一個開源的區塊瀏覽器。許多L2 項目已經使用Blockscout,並且將提高L2 數據特定要求的可用性。此外,新的界面、功能、分析和開發者友好的改進將有助於創造一個更加透明和可用的社區瀏覽器。
Quantstamp - 評估Rollup 壓縮
在討論rollup 時,壓縮(compression)常常被忽視。根據設計,rollup 需要提供數據,以驗證狀態轉換或狀態根;然而,這種公佈的方法是不同的,可能包括壓縮過的數據。所使用的壓縮技術也有差異。 Quantstamp 將探索壓縮技術在rollup 設置中的使用。首先,Quantstamp 將闡釋使用壓縮的場景,並記錄可能使用的技術。第二,Quantstamp 將調查現有的rollup,以調查實際使用的方法。第三,Quantstamp 將評估在類似系統中提出或使用的方法,並試圖確定為什麼使用某種特定的方法。最後,Quantstamp 將利用收集到的反饋為壓縮rollup 數據提出新的方法,並向社區提出開放問題。
Diablobench - Layer 2 區塊鏈系統的性能和安全評估
悉尼大學和EPFL 設計了一個基準套件來評估區塊鏈系統的安全和性能。第一次評估比較了Algorand、Solana 和Diem 等Layer 1 區塊鏈,並將很快在一個同行評審的國際會議(Eurosys)上發表。 Diablobench 旨在將Layer 2 區塊鏈系統添加到Diablo 基準中,並利用它對在全球範圍內部署的Layer 2 區塊鏈系統進行首次廣泛而真實的基準評估。
Web3-data - 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 Beat
通過擴展指標和教育,繼續致力於對新興的L2 技術進行透明和可驗證的洞察。
數據可視化
Quantstamp - 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 的構建——證明了我們方法的實用性、可擴展性和信任的最小化。
Nethermind , Justin Thaler(喬治敦大學)、Matthew Green(約翰·霍普金斯大學)、Pratyush Tiwari ( 喬治敦大學) - L2 部署證明系統的具體安全分析
團隊提議分析確保-rollups 安全證明系統(SNARKs,STARKs)的具體安全性。團隊觀察到,一些證明系統在交互式環境下有安全性分析,而在應用Fiat-Shamir 變換後,其安全性只是猜想。此外,團隊認為,在某些情況下,比所謂的安全水平更有效的攻擊是可能的。
Ethstorage - 使用以太坊L1 合約的L2 動態數據集的存儲證明
鑑於在L1 合約中BLOB 的承諾列表(例如,來自EIP-4844/Danksharding 的KZG 承諾,索引為0...n-1 ),該項目是研究一個高效的證明系統,在L1 上有效地驗證BLOB是以所需的冗餘度(例如, 30 ~ 50 個物理副本)存儲在鏈下。通過將這些存儲節點放在L2 網絡中,並假設1/m 的節點是誠實的,可以建立一個L2 存儲網絡,重用主網的安全性,同時極大地擴展以太坊的可擴展性。
更深入的研究將試圖回答以下問題:如果BLOB 和承諾不斷變化(例如,新的BLOB 被追加到列表中,或者一個索引的BLOB 被改變),如何建立證明/ 驗證系統;以及如何建立激勵/ 支付系統,以確保使用ETH 作為支付的理想複製係數;是否可以要求存儲節點存儲部分BLOB,同時保持主網處在一個相同安全的水平?