昨天以太坊滿10歲。今天，精簡以太坊作為未來10年的願景和個人使命正式揭曉。 我們站在一個新時代的曙光下。數百萬的TPS。量子對手。以太坊如何將極端性能與不妥協的安全性和去中心化結合在一起？ 簡而言之：下一代密碼學是贏得攻防的關鍵。 免責聲明：這是一個針對廣泛受眾的Drake take™。隨後將深入探討基於哈希的後量子簽名和SNARKs。期望並歡迎在協議、EF和更廣泛的以太坊社區中出現健康的觀點多樣性。這使我們更強大。 defense—fort mode 以太坊是特別的。自創世以來100%正常運行。無與倫比的客戶端多樣性。1300億美元的經濟安全（3570萬ETH質押 × 3700美元）—也許很快會達到1萬億美元。 以太坊有望成為價值互聯網的基石，在幾十年甚至幾個世紀內保障數百萬億的資產。 以太坊必須能夠抵禦任何挑戰：國家、量子計算機。無論發生什麼。稱之為堡壘模式。如果互聯網正常運行，以太坊就正常運行。如果世界在線，世界就在鏈上。 offense—beast mode 以太坊渴望成長。“擴展L1，擴展blobs”是EF的協議集群內部的戰略緊迫性。預計在接下來的6到12個月內會有顯著的性能提升。 長期來看？想想gigagas L1，teragas L2。稱之為野獸模式。 → L1上1 gigagas/秒：10K TPS，雄心勃勃的垂直擴展 → L2上1 teragas/秒：1M TPS，廣泛的水平擴展 擴展與去中心化？為什麼不兩者兼得。現在我們需要的月球數學已經被馴服： → 實時zkVMs用於精簡執行 → 數據可用性取樣（DAS）用於精簡數據 一個美味的櫻桃在上：在每個瀏覽器、錢包、手機上進行全鏈驗證。 lean upgrades 精簡以太坊在所有三個L1子層上提出了大膽的升級： → 精簡共識是信標鏈2.0：為了終極安全性和去中心化而加固，並在幾秒鐘內達成最終性；以前稱為“光束鏈” → 精簡數據是blobs 2.0：後量子blobs，並為開發者提供類似calldata的顆粒化blob大小 → 精簡執行是EVM 2.0：一個最小的、友好的SNARK指令集（可能是RISC-V；發音為“風險五”），在保持EVM兼容性及其網絡效應的同時提升性能 共識層（CL）、數據層（DL）、執行層（EL）都從基本原則重新構想。它們共同解鎖了堡壘模式和野獸模式。 目標：在不妥協的連續性、最大硬度和清新簡單性的約束下實現性能的豐富。 lean cryptography 基於哈希的密碼學正在成為精簡以太坊的理想基礎。它為重塑生態系統的兩個重大趨勢提供了一個引人注目的統一答案： → SNARKs的爆炸性增長 → 迫在眉睫的量子威脅 想像一下最精簡的密碼學基石——哈希函數——單獨驅動L1： → CL：基於哈希的聚合簽名升級BLS簽名 → DL：基於哈希的DAS承諾升級KZG承諾 → EL：基於哈希的實時zkVMs升級EVM重新執行 在精簡的CL、DL、EL中都有一顆密碼學的瑰寶。 lean craft 精簡以太坊不僅僅是加固和擴展以太坊的藍圖。不僅僅是加倍強調安全性、去中心化和尖端密碼學。這是一種美學。一種藝術形式。一種工藝。想想《壽司之夢》中的Jiro。當我們能夠多走一步時，我們就會這樣做。 簡約。模塊化。封裝的複雜性。形式驗證。可證明的安全性。可證明的最優性。這些都是微妙但重要的技術考量。請關注將使它們明確的後量子密碼學的文章。 lean legacy 經過10年的精彩旅程，精簡以太坊是一項世代誓言。無論如何保持以太坊在線。毫不妥協地擴展它。使其值得那些將來來的人。 這關乎傳承。我們是建設者，我們是傳教士。我們是以太坊。我希望你能加入我們。

在 @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