實時證明 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 → 分散式證明：分散負載，無需信任