以太坊聯合創始人Vitalik Buterin介紹了GKR協議,該協議包含促進非常快速證明系統的創新。他將這些解決方案描述爲一系列協議,這些協議是許多操作證明系統極端速度的基礎。Buterin專注於展示GKR在證明Poseidon哈希方面的實現。
Buterin在他的帖子中首先承認了超快ZK-provers的存在。這些是ZK-EVM provers,能夠實時展現以太坊Layer-1,並且只需50個消費級GPU。
“人們在消費類筆記本電腦上每秒證明200萬Poseidon哈希,zk-ML系統以越來越快的速度證明LLM推理,”Buterin指出。
GKR協議在這裏發揮作用。它作爲這些證明者的強大動力。該解決方案旨在實現快速的ZK-EVM和zk-ML證明。它還針對多個低度層和許多重復函數應用的計算進行了優化,包括哈希和神經網路。
所有需要的只是對輸入和輸出的承諾,而不是中間層。從長遠來看,這最終顯著提高了效率。Buterin所說的“承諾”,是指將數據放入加密數據結構中。這可以通過KZG或Merkle樹來實現,只要它允許用戶證明關於該數據的特定事物的查詢。
相關報道:Vitalik Buterin 支持 Coinbase 的 Base L2:‘以正確的方式做事’用戶必須小心不要將 GKR 誤認爲是零知識協議,因爲它處理的是簡潔性而非隱私。然而,使用 GKR 仍然可以實現零知識,因爲只需將證明包裝在 ZK-SNARK 或 ZK-STARK 中即可。
在最近的討論中,Buterin提到的衆多協議中包括人工智能(AI)模型。兩個月前,他批評了人工智能行業過於專注於“代理”模型。在他看來,自治系統過多,這並不好。
他指出,允許更多人類輸入的系統能夠產生更好和更安全的結果,這與前特斯拉人工智能總監安德烈·卡爾帕西的早期評論一致。顯然,以太坊的聯合創始人對開放權重的人工智能模型更爲熱衷,他聲稱這些模型具有強大的編輯能力。
在九月份,他還強調過度依賴人工智能治理存在很大的危險。
下一個免責聲明:Coinspeaker致力於提供公正和透明的報道。本文旨在提供準確和及時的信息,但不應被視爲財務或投資建議。由於市場狀況可能會迅速變化,我們鼓勵您自行核實信息,並在根據此內容做出任何決定之前諮詢專業人士。