親愛的朋友們，
Layer 2 生態系統的發展勢頭絲毫沒有放緩的跡象，一些令人興奮的進展成為頭條新聞。其中最有趣的是Pepe Unchained (PEPU)，這是以太坊上專為meme幣打造的全新 L2。該項目的預售額最近達到 1100 萬美元，表明meme社區的熱情高漲。
與此同時， Arbitrum正準備推出 Stylus，這是一項突破性的開發，將於 2024 年 9 月 3 日上線，恰逢該平臺的週年紀念日。Stylus 允許開發人員使用更多開發人員原生語言（如 Rust、C 和 C++）在Arbitrum上進行Buidl。再加上更快的計算效率和更高效的內存使用， Arbitrum將迎來大量開發人員的湧入。
隨著Soneium 被引入其超級鏈，Optimism也成為頭條新聞。索尼區塊解決方案實驗室正式推出了Soneium，這是在OP Stack 上開發的以太坊第 2 層，旨在彌合 web3 與傳統互聯網服務之間的差距，使區塊鏈技術對普通消費者更具可擴展性和用戶友好性。
這些發展只是第 2 層生態系統正在發生的進步的冰山一角。
探索 zkEVM 的世界，本期社論將帶我們瞭解通用 zk-rollups 背後的技術。請繼續閱讀，我們將為您帶來重塑區塊鏈未來的頂級第 2 層項目的最新見解和更新。
貢獻者： Lucent、 Melasin 、 Tonytad 、 Boluwatife 、 Kornekt 、 WinVerse
這是BanklessDAO的官方新聞通訊。請訂閱和分享，以幫助我們擴大受眾群體，實現構建用戶友好型加密貨幣入口的使命。
🗞️ 生態系統更新
⛓️超級鏈如何（以及為什麼）將費用轉給Optimism Collective
🔥 熱點新聞
索尼的 Soneium 正通過其創新的第 2 層解決方案連接娛樂和區塊鏈行業
索尼集團的區塊鏈子公司已向 web3 領域邁出了重要一步，推出了其以太坊第 2 層區塊鏈 Soneium 的“Minato”測試網。此舉表明索尼的戰略舉措是利用其在區塊鏈上的娛樂和遊戲專業知識，旨在創建可增強用戶體驗的實用應用程序。
Soneium 旨在將區塊鏈技術帶到遊戲和娛樂的前沿，改善通過 NFT 管理遊戲內資產的方式，並探索行業內的新金融模式。
Soneium 的推出正值區塊鏈技術在各個領域受到廣泛關注之際。索尼的加入可能會加速用戶友好型、可擴展的區塊鏈解決方案的採用和開發。這一舉措表明，傳統娛樂巨頭如何適應發展中的技術，為觀眾創造新價值。
對於開發者來說，Soneium 提供了一個激動人心的機會。與 Minato 測試網同時運行的“Soneium Spark”孵化計劃提供了全面的支持系統。其中包括技術研討會、行業領袖的指導以及對 Soneium 高級功能的訪問。最值得注意的是，符合條件的項目可以獲得高達 100,000 美元的資金，並有可能通過索尼的合作伙伴網絡進行進一步投資。
有關 Soneium 的更多詳細信息以及如何參與，請務必查看下面的推文。👇🏾
🏛 治理
💬正在討論的提案
Arbitrum
Optimism
Polygon
星網
zkEVM 的世界
作者： Kornekt
在之前的一篇文章中，我 介紹了零知識 (zk) 證明以及擴展解決方案如何應用該技術來增強以太坊的可擴展性。雖然 zk 技術非常高效，但其固有的複雜性帶來了限制其通用應用的挑戰。
如果我們只想使用 zk-rollups 來實現一些特殊功能，比如促進代幣支付和交易，那麼它就很完美了。然而，在嘗試擴展其功能以進行通用智能合約操作的同時仍保持與以太坊虛擬機 (EVM) 的兼容性時，出現了一些問題。
與 Optimistic 版本不同，基本形式的 zk 計算與 EVM（以太坊智能合約運行的環境）並不兼容。EVM 的設計並未考慮到這些因素。因此，需要創建一個適合零知識計算且仍與 EVM 兼容的環境。這樣 zk-rollups 才能提供與以太坊相同的智能合約功能。這就是 zkEVM 發揮作用的地方。
利用 zkEVM 彌補差距
zkEVM（即零知識以太坊虛擬機）是 zk-rollups 的擴展，旨在使其與 EVM 完全兼容。這意味著 zkEVM 可以在鏈下執行以太坊智能合約，並生成零知識證明，證明這些執行已正確完成。然後可以將這些證明提交給以太坊主網進行驗證，就像傳統的零知識交易證明一樣。
創建 zkEVM 的挑戰在於在零知識證明友好的環境中複製 EVM 的行為。EVM 很複雜，支持各種操作，包括算術、存儲訪問、條件分支等等。為任意 EVM 計算生成零知識證明需要以適合零知識證明生成和驗證的方式對這些操作進行編碼。
zkEVM 的工作原理
為了實現這一目標，zkEVM 具有與 EVM 類似的智能合約執行層，以及用於生成 zk 證明的證明電路，以驗證執行層產生的狀態變化。然後，這些證明被提交給以太坊上的驗證者合約，該合約負責驗證主網的狀態變化。
通過這樣做，zkEVM 使開發人員能夠無需修改地部署和運行他們的以太坊智能合約，同時受益於 zk 技術的可擴展性和成本效益。
雖然聽起來很簡單，但它需要大量計算，並且需要對密碼學和 EVM 本身有很好的瞭解。在 zk 環境中完美地建模 EVM 可能是一項艱鉅的任務。因此，zkEVM 的開發人員會做出一定的權衡，以平衡 EVM 兼容性需求和系統性能。
這些權衡導致了 zkEVM 開發人員在構建方法上存在一些區別。Vitalik Buterin 為不同類型的 zkEVM 創建了一個“分類法”，根據 EVM 兼容性和性能之間的權衡將它們分為四大類。
zkEVM 的分類
第 1 類：完全以太坊等價物
這些 zkEVM 旨在完全匹配以太坊，而不會對共識層進行任何更改。這意味著它們不會改變以太坊在其 zkEVM 中工作方式的任何核心方面。由於它們與原始設計非常接近，因此這些 zkEVM 確保與以太坊的最高兼容性。然而，這也意味著生成證明需要更長的時間並且成本可能更高。
類型 2：完全 EVM（非以太坊）等效
這種類型的 zkEVM 非常類似於以太坊虛擬機 (EVM)，但修改了以太坊堆棧的某些部分，使 zk 證明速度更快。這些更改使證明生成速度更快，同時仍保持與現有以太坊應用程序的兼容性。但是，它們並不像類型 1 zkEVM 那樣與以太坊的結構完全匹配。
第 3 類：幾乎與 EVM 相當
這些 zkEVM 的設計與 EVM 非常相似，但針對零知識證明效率進行了優化。它們簡化或刪除了 EVM 的某些功能，以使證明生成過程更快、更高效。因此，開發人員可能需要修改他們的智能合約以在這些 zkEVM 上運行。雖然這些類型現在存在，但許多人的目標是最終發展成為一種與 EVM 緊密匹配的類型，而無需進行這樣的權衡。
類型 4：與 EVM 相當的高級語言
這些 zkEVM 採用不同的方法，將智能合約代碼（通常用 Solidity 編寫）轉換為針對零知識證明系統優化的定製語言。這種方法大大加快了證明生成過程，但不會直接執行原始 EVM 字節碼。相反，它將代碼轉換為更適合證明的格式。
zkEVM 在 Layer 2 Rollups 中的當前實現
多個項目正在積極開發和實施 zkEVM，以便為以太坊第 2 層帶來可擴展且保護隱私的智能合約功能。其中值得注意的是ZKsync 、 Polygon zkEVM 、 Scroll 、 Linea和Starknet 。
這些項目根據易用性和用戶友好性採用不同的方法來構建 zkEVM。然而，許多項目的目標都是最終成為與以太坊或 EVM 完全等同的 1 型或 2 型 zkEVM。
“就我個人而言，我希望隨著時間的推移，一切都會變成 1 型……然而，我們還需要相當長一段時間才能實現這樣的未來。” —— Vitalik Buterin 。
zkEVM 的複雜性使得通用 zk-rollup 的開發速度比 Optimistic 版本慢。例如，沒有一個 zkEVM Rollup達到第一階段的去中心化。但就像 Vitalik 在他的Rollup入門中所說的那樣：
“總的來說，我個人的觀點是，在短期內，Optimistic Rollups 可能會在通用 EVM 計算中勝出，而 ZK Rollups 可能會在簡單支付、交換和其他特定於應用程序的用例中勝出，但從中長期來看，ZK Rollups 將在所有用例中勝出……”
零知識的未來
zkEVM 代表了以太坊擴展方面的重大進步，為可擴展性、隱私性和成本效益等挑戰提供了有希望的解決方案。該技術的一個主要討論點是不同 zkEVM 之間的可組合性和互操作性。由於單個排序器上的處理集中化，還存在去中心化和安全性問題。儘管目前面臨挑戰，但隨著多個項目積極開發和實施 zkEVM，該技術只會變得更好，使以太坊的未來越來越可擴展和用戶友好。
📈 數據
L2 上鎖定的總價值約為 360 億美元！
按總鎖定價值排名前十的項目：
