以太坊基金會計劃在整個技術堆疊中整合 ZK 證明,從共識到隱私。 而這一切都始於一個重要的步驟: 在 Layer 1 上啟動 zkEVM。👇
1/ ZK 不再僅僅是一個擴展的故事。 以太坊基金會希望以太坊成為 ZK 應用程序的最大平台 - 支持從 zkRollups 到客戶端隱私的所有功能。 這一願景始於原生的 L1 zkEVM。
2/ 計劃是讓驗證者選擇從受信任的客戶端驗證 zk-proofs,並隨著時間的推移建立信心。 最終,大多數驗證者將轉向基於證明的執行。 所需的關鍵協議變更: 在 Glamsterdam 分叉中進行管道化,這樣可以給予證明者更多時間,同時保持區塊的活躍。 最初,採用率可能較低。但隨著時間的推移,它將增長。
3/ 一旦超大多數的驗證者運行 ZK 客戶端,網絡可以: • 增加燃料上限。 • 要求證明驗證而不是執行。 • 通過 Execute 預編譯解鎖原生 zkRollups。
4/ 為了支持這一點,基金會定義了一個實時證明的標準: • 證明必須在≤10秒內驗證。 • 100位安全性(初始),128位長期。 • 證明大小≤300 KiB。 • 本地硬體≤$100K。 • 功耗≤10kW。
5/ 為什麼會有這些限制? 為了使家庭證明成為可能,就像單獨質押一樣。 審查抵抗和去中心化依賴於此。 ZK 不應該僅僅擴展以太坊,它應該保持可訪問性。
6/ ZK 證明已經很快,並且變得更快。 隨著生態系統中 zkVM 團隊的貢獻,以太坊基金會預期 L1 zkEVM 可能會在 2025 年底前推出。
7/ ZK 不僅僅是一個功能,它是一個方向。 除了 blob 擴展和更好的用戶體驗,L1 ZK 是以太坊路線圖的核心。 L1 上的 zkEVM 競賽已經開始。 而以太坊正在引領這場競賽。 來源:
5.95K