這是 ZK-Roller-Coaster 的第一版，我們追蹤和調查前兩週最令人興奮、最有意義和最瘋狂的 ZK 內容。

期待什麼？新的和正在進行的 ZK 研究討論和提案、新項目、現有和受人喜愛的項目的更新、ZK 戲劇、一些教育性觀看和寫作、建造者的機會以及好奇者的謎題。不是每次都有這些，但會不時出現所有這些。

讓我們從第一版 ZK-Roller-Coaster 開始吧！堅持住！🎢

本週香料🌶️

  • 顯然沒有人真正知道 rollup 到底是如何運作的！Optimism 的 Kelvin 就他的 rollup 思維模型做了一個很好的演示，並斷言 ZK Rollups 並不存在！太可怕了！（但據他所說，optimism rollups 也不存在……它們都只是 rollup）。

ZK 和 rollups 研究🧙

  • ethresearch 線程關於“基於”或“L1 排序”彙總（由 Justin Drake 撰寫）。TLDR：“我們重點介紹了我們稱爲“基於”或“L1 排序”的彙總的一個特殊子集。此類彙總的排序（基於排序）極其簡單，並繼承了 L1 活性和去中心化。此外，基於彙總在經濟上特別符合其基礎 L1。” Taiko 支持儘可能去中心化的方法，完全依賴以太坊來實現排序器/提議者的去中心化。

  • ethresearch 提案：使指定驗證者簽名在以太坊上兼容（由 Shrey Jain 和 Enrico Bottazzi 撰寫）。Enrico 的帖子中有簡短摘要。

  • ethresearch 提出了一種新的基於 ZK 的跨彙總通信協議 (由 LimeLabs 的 Daniel Ivanov 提出)。

  • 0xPARC 社區維護的使用 ZK 加密的應用程序中的錯誤、漏洞和攻擊的集合。

  • Alex Stokes 發表了“知識系統化”的草稿：當我們談論“排序”時我們的意思是什麼？這項工作正在進行中，歡迎您隨時做出貢獻。

ZK 和 rollups 更新🎈

  • Espresso Systems 發表了一篇論文（由 Ben Fisch 和 Benedikt Bünz 撰寫），介紹了一種用於彙總去中心化的工具 Espresso Sequencer。

  • Avail，即 Polygon 數據可用性解決方案，將完全從 Polygon Labs 中分離出來。

  • Geometry 提出了 Semacaulk，一種節省 gas 的零知識集成員協議。

  • Succinct Labs 爲以太坊推出了 Telepathy、去中心化且安全的 zkSNARK 互操作性協議。

  • Sismo 推出了 zkConnect = anon auth + 選擇性數據披露。

  • Porçu Quine（Filecoin Proofs 團隊）推出了 Lurk，一種基於 LISP 的新型 zk-SNARK 編程語言。

  • Arbitrum 宣佈啓動 DAO 治理。

非 ZK 行業亮點

  • 回顧（由 Tim Beiko 撰寫）並記錄上次以太坊執行層會議（設定 Shapella 主網日期（！！）、涵蓋迄今爲止所有潛在的坎昆 EIP、討論本地區塊構建等）

  • Flashbots 透明度報告。

機會🏄‍♀️

  • 4 月 19 日：深入探究 Sangria，一種針對 Plonk 的新摺疊方案，具有放寬的 plonk 約束，由 Geometry 的 Nico 進行的 discord 聊天。

閱讀和觀看🎞

一般的

  • Rollups Aren't Real：Jon Charbonneau 撰寫的一篇長文，內容涉及強制交易包含機制、L2 序列器去中心化和（可選）共識、共享序列器和 X-Chain 原子性和 MEV 感知設計。

  • 解構 Rollup：rollup 的真正定義是什麼？社區還是驗證橋樑？——Patrick McCorry 的文章。

  • 私人、靈活和匿名投票的未來（由 Tally 和 O(1) Labs 的 Raf Solari 撰寫），推特空間記錄。

  • 與 Yuval Domb 一起進行 Danksharding 第 1 部分講座。

  • 通過驗證橋棱鏡進行彙總，這是來自 Scroll 的 Toghrul Maharramov 在 ETHDubai 演講的幻燈片。

  • 最佳 zkVM 設計（由 Max Gillett 撰寫），簡短演講。

奇特的數學、密碼學和量子物理學

  • EVM 中的恆定 Gas 函數調度程序，由 philology 撰寫的長文。

  • TFHE（完全同態加密）深度探究 - 第一部分 - 密文類型，Zama 的長文。

  • EVM 語言的當前狀態，由 jtriley 長讀的研究。

  • ZKWasm：使用 SuperNova 擴展隱私保護技術的視野，這是 ICME 實驗室的 Wyatt Benno 撰寫的長文。

  • 對角線拉姆齊 (Ramsey) 的指數改進，由 Timothy Gowers 進行線程解釋。

  • 使用 ZX 演算統一容錯能力，一篇研究論文。

感謝您閱讀 ZK-Roller-Coaster 的第一版。兩週後見！🚵‍♀️

#crypto101 #Web3 #Layer2 #rollup #ETH