在 @ziskvm，我們現在正在實時驗證乙太坊區塊 — 開源並在越來越高效的基礎設施上運行。 這是一個早期但有意義的里程碑。 今天 13：00 @ EthCC， Redford Stage 加入我以瞭解更多資訊。 #EthCC #ZK #Ethereum #zkVM @eth_proofs

實時證明 Q&A :) 這是什麼？ELI12. 答：一大群書剛剛破解了一個科幻問題：實時驗證每個乙太坊主網區塊。這些 zk 證明的驗證成本比重新執行交易要便宜得多——無論使用何種 gas，都只需幾毫秒。 Thicc 區塊，微小的驗證者。去中心化 maxis 歡欣鼓舞。 實時證明不可能不是月球數學嗎？ 答：是的。五年前，我們相差五個數量級。但這項技術每年的複合增長率持續 10 倍，現在我們來了。不要淡化指數。 此外，在指數上： → 不會使量子計算機破壞 ECDSA → 不會褪色，減半破壞比特幣安全 乙太坊 L1 如何成為「基於原生的 rollup」？ 答：讓我們分解一下。 基於→：L1 提議者訂購交易。乙太坊 L1 是基礎層——它是基於重言的。 →原生：L1 通過內建的 EVM 狀態轉換功能執行交易。根據定義，乙太坊 L1 是原生的。永遠都是。 → rollup：rollup 具有鏈上數據和鏈下執行。通過吝嗇主網 EVM 區塊，乙太坊 L1 變成了 zk rollup。 匯總解鎖了較大的 gas 限制。Base 已經達到 35 Megagas/秒，是以太坊 L1 的 20 倍。Base 的目標是 1 GBAGAS/秒，乙太坊 L1 也可以達到這個目標。 溫 gigagas L1？ 答：Ethproofs 電話 #3 將專門用於 gigagas L1 — 請收看。使用 EIP-9698，Dankrad 建議每年 ~3 次氣體碰撞，或每 2 年增加 ~10 次。這是 6 年內的 1,000 倍。值得尊敬的 - 但仍然是新秀數位。 我的看法是樂觀的嗎？現在 zkVMs 與 EVM 性能相匹配，gas 限制可以跟蹤 zkVM 的改進。如果我們繼續達到 10 倍 /年，那就是 3 年內 1 GBAGAS/秒。我與 Dankrad 合作了十多年——現實通常介於他的謹慎和我的希望之間。 zkVM 不是有問題嗎？形式化驗證呢？ 答：形式化驗證是最終目標，而不是第一步。短期策略：zkVM 多樣性。到 Q2 末，少數 zkVMs 將進行實時驗證。就像 CL 和 EL 用戶端一樣，任何單個用戶端都被認為是有問題的。安全源於多樣性。 低延遲驗證能否擴展到千兆級？ 答：是的。SNARK 證明是可大規模並行的。只有初始 x86 執行和分塊是後續的。EIP-7825 提議限制每筆交易使用的最大 gas 量。這允許在事務邊界輕鬆分塊。平行度刻度。延遲保持較低。 下一個 zkVM 瓶頸是什麼？ 權力。可信的 1-of-n 證明者活躍度意味著愛好者應該可以獲得房屋證明。一個合理的目標可能是每個驗證集群 10kW 或更低。 我們如何在 10kW 的預算上將 gas limit 提高 1,000 倍？ → 軟體：證明系統、電路、演算法不斷複利 → 硬體：摩爾定律 + SNARK ASIC → 分散式證明：分散負載，無需信任

🤯 即時證明就在這裡 🤯 主網 EVM 區塊在 1 個乙太坊插槽（12 秒）中得到驗證。雞皮疙瘩。 簡潔地證明瞭每個乙太坊 L1 區塊： → <12 秒內達到94% → 99% <13 秒 即將™在 <12 秒內→ 99.9% 昨天，RISC Zero 推出了一個 120K 美元的家用 GPU 集群，預計在 9.25 秒內即可證明。Brevis、OpenVM、Snarkify、ZisK、ZKM 距離加入實時俱樂部還有幾周的時間。 很快™，我的驗證者將在Rasberry Pi Pico上驗證EVM區塊，這是一個5美元的板子，功耗為 <1W。我將放棄我的 EL 用戶端，轉而使用 zkEL。沒有 1 TB NVMe。再見 Geth，你好 zkReth。在單個 CPU 內核上以毫秒為單位進行無狀態和無 RAM 驗證。 通過實時證明，1 千兆位元組/秒 （10K TPS） 觸手可及，而不會影響驗證者的去中心化。從現在開始，預計會定期出現 gas limit 顛簸。10% 的股份已經投票支援 60M 的限制——您的驗證者也可以。 Snarkifying 主網將乙太坊 L1 轉變為第一個基於原生的 rollup。第 2 階段。無錯誤。分散式排序。沒有安理會。沒有治理。L1 將以身作則。 本週五，我們慶祝。加入我們的 Ethproofs 電話 #2，UTC 時間 5 月 23 日下午 2 點。25 位演講者，2 小時的內容。呼叫處於打開狀態 - DM @corcoranwill 日曆邀請。 我們正在見證歷史。相信真實的東西。相信實時證明。

ETH Core 開發人員不會在推特上過多地談論他們所做的工作有多辛苦，所以讓我們談談它： 1. 他們合併的每一行代碼可以轉移的資金比大多數銀行在一個季度內處理的資金還要多。沒有用於此的臨時伺服器。 2. 他們將共識邏輯換成 400B + 美元的經濟，而無需安排停機時間。曾。 3. 他們協調數百名不同時區、文化和理念的研究人員、審計師和客戶團隊，但又像一個思想一樣進行運輸。 4. 他們在公共場合做所有事情，每一個決定都由互聯網上最響亮的 Peanut Gallery 剖析，並且仍然保持合作的氛圍。 5. 他們為擁有九位數激勵和無限耐心的攻擊者設計。然後他們還是睡著了。 6. 它們使六個獨立的用戶端保持完美同步，因此世界上每個節點的同一區塊都位於相同的高度。 7. 他們將前沿研究轉化為生產代碼，同時保留對在 DeFi 命名之前上線的機器的向後相容性。 8. 他們調試每年在單個存檔節點上只發生一次的問題，因為某個地方的某個人將依賴該邊緣情況。 9. 他們編寫的密碼學必須保持幾十年不間斷，而數學本身在他們腳下發展。 10.當升級落地時，外界聳聳肩。在乙太坊內部，我們知道這是一個小奇跡。每一次成功的分叉都證明，去中心化協調可以勝過世界上最好的層次結構，並表明開放的互聯網資本市場現在是預設的。 謝謝你，真的。 我們欠你一切。

為我的驗證者設定了 60M 的 gas 限制 ⛽ → 36M 的 66% 碰撞是安全的 Pectra 後 →驗證者設置限制 - 用您的投票 → PumpTheGas 上的說明[.]組織 在乙太坊 L1 上溫 1 千兆位元組/秒 （10K TPS）？ → 需要用於消費類設備的 zkEVM 證明 → Ethproofs 調用 #2：實時證明 → Ethproofs call #3：gigagas L1 相信某事

簡化 L1

乙太坊 R1 簡介 — 為乙太坊構建的中性 rollup 無令牌。沒有私人銷售。沒有治理崇拜。 只有乙太坊價值、公共資金和社區控制。 🧵 為什麼R1很重要以及如何加入：

1 GBAGAS/秒 （10K TPS） 在乙太坊 L1 上使用 zkVMs 不妥協： → 消費類硬體 （zkVMs） → 家庭互聯網 （DAS） → 審查阻力 （FOCIL） → 100% 正常執行時間（客戶端多樣性） → 8K 共識節點 專為互聯網金融而構建。相信真實的東西。

在 Ethproofs 電話會議 #1 上推出三個新的 zkVMs → Ix （Lean 4） 作者 @argumentxyz → StarkV （RISC-V） 由 @StarkWareLtd → zCray（受 RISC-V 啟發）由 @IrreducibleHW

立即直播 - 乙太坊的戰略支點：恢復主導地位的計劃 @ethereumfndn @dankrad 和 @adietrichs 研究人員與 @TrustlessState 和 @MikeIppolito_ 一起討論 @ethereum 的身份危機，以及它如何扭轉局面。 它們分解了乙太坊的文化和組織挑戰、轉向 L1 增長以及乙太坊基金會在新領導層下不斷變化的角色。該對話涵蓋了base和native rollup的未來、L2 對齊以及為什麼乙太坊的獨特價值在競爭格局中仍然很重要。 -------------- 時間 戳 0：00 介紹 5：42 乙太坊的主要問題 12：33 乙太坊 Layer1 缺乏增長 27：49 乙太坊的路線圖困境 38：08 第 1 層擴容進度 39：08 乙太坊 L1 對 L2 的價值主張 48：44 Base 和 Native Rollup 解釋 57：25 Rollup 世界中的規範 EVM 1：01：26 Vitalik 的 L1 擴展願景 1：05：59 ZK 擴展成為現實 1：08：12 快速區塊時間和 DeFi 1：16：59 不斷發展的乙太坊核心文化 1：22：38 其他有趣的變化 1：26：41 乙太坊的方向現在感覺不同了 1：30：09 結束和披露