重點摘要
- Vitalik Buterin 推出了 GKR，以提升快速證明系統。
- 這位 Ethereum 創辦人強調 GKR 並非零知識協議。
- Buterin 批評 AI 產業過度關注「agentic」模型。
Ethereum 聯合創辦人 Vitalik Buterin 推出了 GKR 協議，該協議包含促進極速證明系統的創新。他將這些解決方案描述為一系列協議，是許多高效運作證明系統背後的極速核心。Buterin 著重於展示 GKR 在證明 Poseidon 雜湊時的應用。
GKR 並非零知識協議
Buterin 在他的文章開頭承認了超高速 ZK-provers 的存在。這些是能夠即時展現 Ethereum Layer-1 的 ZK-EVM provers，且僅需 50 張消費級 GPU 即可完成。
「人們在消費級筆記型電腦上每秒證明 200 萬個 Poseidon 雜湊，zk-ML 系統以越來越快的速度證明 LLM 推理，」Buterin 指出。
這正是 GKR 協議發揮作用的地方。它是這些 provers 的核心動力。這項解決方案旨在實現快速的 ZK-EVM 和 zk-ML 證明，同時針對多層低次多項式計算及大量重複函數應用（包括雜湊和神經網路）進行了優化。
Ethereum 聯合創辦人 Vitalik Buterin 推出了 GKR 協議，這是一系列能夠實現極速證明系統的協議。GKR 是快速 ZK-EVM 和 zk-ML 證明的核心協議，針對多層低次多項式計算及大量重複函數應用進行了優化……
— Wu Blockchain (@WuBlockchain) 2025 年 10 月 20 日
它所需的僅是對輸入和輸出的承諾，而非中間層。長遠來看，這大幅提升了效率。Buterin 所說的「承諾」是指將資料放入加密資料結構中。這可以透過 KZG 或 Merkle tree 實現，只要能讓用戶證明關於該資料特定內容的查詢即可。
用戶必須注意不要將 GKR 誤認為零知識協議，因為它處理的是簡潔性而非隱私。然而，仍可透過將證明包裝在 ZK-SNARK 或 ZK-STARK 中來實現零知識。
Ethereum 聯合創辦人批評 Agentic AI
Buterin 近期討論的多項協議中，也包括人工智慧（AI）模型。兩個月前，他批評 AI 產業過度聚焦於「agentic」模型。在他看來，過多的自主系統並非好事。
他指出，允許更多人類參與的系統能產生更好且更安全的結果，這與前 Tesla AI 總監 Andrej Karpathy 早前的評論一致。顯然，這位 Ethereum 聯合創辦人更傾向於開放權重的 AI 模型，並稱其具備強大的編輯能力。
他在九月時也強調，過度依賴 AI 進行治理存在極大風險。
next
