以太坊基金會概述了全面採用 ZK 和第 1 層 zkEVM 部署的路徑

一個致力於以太坊區塊鏈開發的非營利組織， 愛心基金會 發布了一項計劃，詳細說明了以太坊全面採用零知識證明（ZK）的進展，首先是實施第 1 層 zkEVM。 

根據以太坊基金會的說法，部署第 1 層 zkEVM 最有效、最安全的方法是向驗證者提供操作客戶端的選擇，而不是重新執行執行有效負載，而是驗證由不同 zkVM 產生的多個證明，每個證明都驗證單獨的 EVM 實作。

由於這些證明的驗證速度快且體積小，因此可以下載並驗證多個證明，從而實現類似於現有應用於 zkVM 的客戶多樣性的縱深防禦策略。對於執行證明的初始鏈下驗證，該協議僅需要在 Glamsterdam 中採用某種管線形式來提供額外的證明時間。 

一開始，預計只有少數驗證者會運行 ZK 用戶端；然而，隨著它們的安全性在生產環境中得到證明，並且隨著以太坊基金會對形式驗證、規範開發、審計和漏洞賞金的投資，預計採用率將逐漸增加。 

一旦絕大多數權益持有者對運行 ZK 用戶端充滿信心，就可以將 Gas 上限提高到一定水平，迫使使用標準硬體的驗證者驗證證明，而不是重新執行區塊。當所有驗證者都參與驗證執行證明時，這些證明可以被 EXECUTE 預編譯程式利用，以支援原生的 zk-rollups。

Defi以太坊第 1 層的即時證明要求 

實施該計畫的關鍵優勢在於利用整個 zkVM 生態系統，將以太坊打造為全球最大的零知識證明應用。眾多 zkVM 已在驗證以太坊區塊，並定期發布效能改善公告。為了保持 Layer 1 的安全性、活性和抗審查特性， 愛心基金會 提出了一個標準化 defi為 zkVM 開發人員提供即時證明的追求。

關於證明系統，旨在實現即時證明的 zkVM 應該以 128 位元安全性為目標，這被認為是 以太坊第 1 層 然而，為了因應實現 100 位元完整目標流程中的短期工程挑戰，初始最低 128 位元安全性是可以接受的。證明大小應保持在 300KiB 以下，並避免依賴需要可信任設定的遞歸包裝器。預計到 ZK 用戶端投入生產時，證明系統將達到 128 位元安全性，隨著證明時間的縮短，將引入更嚴格的安全標準。鑑於目前的時隙時間為 12 秒，且整個網路的最大資料傳播時間約為 1.5 秒，即時證明是 defi預計在 10 秒或更短時間內發生。 

預計 zkVM 將能夠在此時間範圍內證明至少 99％ 的主網區塊，並在未來的網路升級中解決異常值和潛在的合成拒絕服務向量。 

為了保持最佳的活躍度和抗審查性， defi即時證明機制支持“在家證明”，鼓勵在家操作驗證器的獨立質押者參與證明。儘管預期在強制驗證零知識證明之前強制交易包含將增強抗審查能力，但在家證明仍然是一項關鍵保障。由於基於雲端的證明在多 GPU 競價執行個體中已經具備成本效益，因此專注於即時證明的 zkVM 團隊將優先優化資源限制更為明顯的本地設定。

本地即時證明的最高資本支出約為 100,000 萬美元，這與目前運行驗證器所需的約 80,000 萬美元質押資金相當。即使 Gas 上限提高，預計該成本也會隨著時間的推移而下降。除了硬體成本外，能耗也是使用 GPU 進行家庭驗證的主要限制因素。大多數住宅至少擁有 10kW 的可用電力，有些住宅甚至配備了專為高耗電電器或電動車充電設計的電路。因此，即時證明必須在 10kW 或更低功率的硬體上運作。