！image

以太坊的聯合創始人維塔利克·布特林（Vitalik Buterin）提出了協議GKR (Goldwasser–Kalai–Rothblum)，這是一項承諾顯著提高區塊鏈上密碼學證明和計算驗證效率的創新。

發布在他的個人博客上，並通過他的官方X帳號分享，這則公告解釋了這種方法如何優化以太坊和其他網路處理復雜計算的方式，而不損害安全性和透明度。

一個應用於區塊鏈效率的數學進展

GKR協議基於由研究者Shafi Goldwasser、Yael Kalai和Guy Rothblum最初提出的密碼模型。它的目標不是隱私——像零知識系統(ZK)——而是可驗證的效率：證明大量計算的有效性，而無需重復每個操作。

簡單來說，GKR 允許通過求和檢查和多項式變換技術來檢查大量操作，從交易到 AI 模型的推理。這個方法代表了一種強大的工具，用於實現鏈內和鏈外的快速且可擴展的驗證。

GKR標志着向更快、更可擴展的Ethereum邁出新的一步

在他的文章中，Buterin 強調 GKR 在 ZK rollup、證明聚合系統和人工智能模型驗證方面具有直接的潛力。所有這些領域都面臨着以最低的計算成本處理大量信息的挑戰。

該協議與ZK-SNARKs和STARKs等技術集成，充當預驗證層，從而減少證明的大小和復雜性。這可能會帶來更低的燃氣費以及以太坊第2層解決方案的更高可擴展性。

Buterin將這一進展置於他對一個<<更輕盈和模塊化的以太坊>>的願景中，在這個願景中，繁重的計算將在鏈外進行，只有經過驗證的結果會被記錄在鏈上。

雖然熱情高漲，但布特林澄清，GKR 不是一種通用解決方案，因爲其性能依賴於計算結構、內存和並行度。在非結構化環境中，其影響將是有限的。

然而，在具有重復模式的操作中——如神經網路或大規模智能合約的執行——該協議可能以指數方式加速流程。因此，GKR被視爲通往全球可驗證計算生態系統的關鍵組成部分。

邁向可驗證計算的時代

通過 GKR，Ethereum 正朝着一個未來邁進，在這個未來中，分布式系統可以在不犧牲安全性的情況下擴展。這一創新是爲構建一個能夠支持從金融應用到先進人工智能的去中心化環境而做出的努力的補充。

Buterin的提議重申了一個明確的趨勢：區塊鏈的下一次演變不僅僅圍繞去中心化，還將圍繞效率和智能驗證展開。</ethereum>