ZK 擴展以太坊基礎層的工作開始 – Trustnodes

由以太坊基金會資助的一組開發人員已經開始使用零知識（ZK）技術來擴展以太坊基礎層。

“隱私和擴展探索團隊 ZK-EVM 正在構建 1 型 ZK-EVM，”以太坊的聯合創始人 Vitalik Buterin 說。

在描述不同類型的 zkEVM 時，Buterin 將類型 1 描述為努力“完全且毫不妥協地與以太坊等效”。 他 說過:

“他們不會改變以太坊系統的任何部分來更容易生成證明。 它們不會取代哈希、狀態樹、交易樹、預編譯或任何其他共識邏輯，無論多麼外圍。”

它具有“完美的兼容性”，因為它們可以“像現在一樣驗證以太坊區塊”。

簡而言之，這是 zk 技術在以太坊區塊鏈本身的應用，而不是第二層，與 Privacy and Scaling 團隊合作 說明 在他們的 GitHub 上，他們的目標是通過兩個證明“為每個以太坊區塊創建有效性證明”。

這是檢查“狀態/內存/堆棧操作是否已正確執行”的狀態證明，以及檢查“在正確的時間調用正確的操作碼”的 EVM 證明。

“在驗證兩個證明都有效之後，我們相信以太坊區塊被正確執行，”該團隊說。

因此，這是驗證塊本身，此時不需要所有節點都驗證塊，從而允許並行化和更大的可擴展性。 布特林 說：

“我希望隨著時間的推移，通過 ZK-EVM 的改進和以太坊本身的改進相結合，使其對 ZK-SNARK 更加友好，一切都成為類型 1。

在這樣的未來，我們將擁有多個 ZK-EVM 實現，它們既可用於 ZK 匯總，也可用於驗證以太坊鏈本身。”

目前只有Polygon和一個新人， 滾動, 最接近類型 3，既處於類型 2，又向類型 XNUMX 移動，類型 XNUMX 基本上是以太坊，但有微小的變化。

因此，以太坊正在展望未來，zk 技術是協議本身不可或缺的一部分。

據我們所知，沒有其他區塊鏈正在處理同樣的問題，並且沒有一個區塊鏈比 Type 4 發布還要幾個月的時間，zkSync 是通過智能合約實現 zkEVM，更不用說使用 Polygon 發布 Type 3 .

然而，對於 Type 1 的實現可能需要一些時間，但它完全可以完成並開始形成，這可能是一個突破。