以太坊通過零知識證明革新安全性

以太坊正在通過採用零知識證明加速向更安全和私密的區塊鏈過渡(ZK)。

從共識到執行，堆棧的每一層將逐步優化，以利用這一革命性技術。

在創紀錄的時間內推出一個L1 zkEVM的挑戰

以太坊邁向零知識證明（ZK）的第一步重大進展是L1 zkEVM的部署——一種與ZK證明兼容的以太坊虛擬機的實現。該策略爲確保速度和安全，涉及驗證者選擇客戶端，這些客戶端不是重新執行執行負載，而是快速驗證由各種競爭的zkVM創建的無狀態證明。

極其緊湊的證明允許驗證者以最少的資源下載和檢查交易的有效性，從而使過程更高效、更安全。這種方法利用了客戶端多樣性作爲防御屏障，類似於傳統以太坊網路中已經發生的情況。然而，證明的驗證最初將在鏈外進行，利用Glamsterdam中的管道支持，以調整所需的技術時間。

在初始階段，只有少數驗證者會採用零知識證明客戶端。安全性將逐步鞏固，得到以太坊基金會通過審計、形式驗證、漏洞獎勵和日益詳細的規範的支持。隨後，採用將逐步增長。

以太坊、安全性與未來：零知識證明客戶端的逐步採用

當合格的多數權益準備使用零知識證明客戶端時，以太坊將能夠提高燃氣限制，消除驗證者重新執行所有區塊的需要。驗證者將只處理通過證明進行的區塊驗證，從而減少計算負擔，促進可擴展性。

此外，可以通過預編譯函數EXECUTE使用相同的證明結構，來支持原生零知識證明匯總.

以太坊安全中心的zkVM生態系統

這一策略的一個優勢是社區和整個零知識證明zkVM領域的參與(。當前，許多zkVM已經在以太坊主網測試它們的能力，並每週進行改進。

這場競爭與合作承諾將加速性能並強化整個生態系統。

實時證明：定義新的安全標準

爲了保持鏈的歷史安全屬性、功能和抗審查性，以太坊基金會提出了一個所有 zkVM 團隊必須遵循的實時證明標準。最終，每個證明系統必須保證 128 位的安全性：實際上，雖然初始閾值將爲 100 位，但目標是隨着時間的推移提高這一數值。

爲了避免關鍵點並提高速度，每個證明必須小於300KiB，並且不能依賴於具有可信設置的遞歸結構。這些限制確保即使是在家庭證明模式下運行的節點——即由家庭的私人質押者管理——也可以參與，而不會面臨技術障礙或過高的成本。

家證明：去中心化與零審查

以太坊基金會聲明的目標是通過在家庭環境中實現零知識證明的驗證，維持高可用性和對審查嘗試的抵抗力。通過像EIP-7805)這樣的解決方案，待完全實施的交易包含(，家庭證明系統加強了對審查的防御，使任何人都有能力驗證區塊。

成本、可持續性和能源：讓每個人都能獲取的證明

在雲中執行的證明今天已經觸手可及，這要歸功於多GPU臨時實例。然而，當前的挑戰轉向優化本地證明。設計標準中需要遵循的主要參數是：

延遲：99%的主網區塊最大爲10秒

本地資本支出：設備不超過100,000美元

功率：低於10千瓦，這個限制大多數家庭都能輕鬆達到

開源：代碼必須完全開放

安全性：至少 128 位的證明安全性

證明大小：每個區塊不超過300KiB

考慮到今天啓動一個驗證者的最低質押額約爲80,000美元，設定的預算仍然是相稱和包容的。此外，技術效率應隨着時間的推移導致參與網路所需硬件成本的降低。

全球朝着效率和去中心化的競賽

在當前每個區塊12秒的時間間隔和約1.5秒的數據傳播時間下，目標明確：zkVM系統必須在實踐中證明它們能夠在不到10秒的時間內爲99%的主網區塊生成有效性證明。任何拒絕服務攻擊或漏洞都將在未來的更新)硬分叉(中解決，確保在安全性和性能方面的持續進展。

從現在到Devconnect阿根廷，圍繞zkVM團隊的創新期待不斷增長。能夠贏得實時家庭證明挑戰的主角將成爲以太坊基礎設施的核心，推動網路朝着真正高效的去中心化發展。

前景與影響：以太坊在零知識證明革命中的中心

零知識證明的採用使以太坊朝着成爲隱私、可擴展性和區塊鏈安全領先平台的方向發展。新的共享標準降低了私人和機構驗證者的準入門檻，而基金會、開發者與zkVM運營商之間的合作確保了持續改進的良性循環。

監控L1 zkEVM的演變和實時證明的標準意味着密切觀察一個準備改變去中心化金融範式的整個行業的發展。

那些打算作爲驗證者或開發者參與的人應密切關注這一革命的進展。

特別是，零知識卷積代表了一項關鍵技術，用於提高以太坊的可擴展性，而Chainlink數據饋送增強了Polygon zkEVM上的DeFi和加密創新。

此外，Nil Foundation作爲一家以太坊擴展公司，推出了一種以安全爲重點的zkEVM。