Ключові моменти
- Віталік Бутерін представив GKR для покращення швидких систем доказів.
- Засновник Ethereum підкреслив, що GKR не є zero-knowledge.
- Бутерін розкритикував зосередженість AI-індустрії на “агентних” моделях.
Співзасновник Ethereum Віталік Бутерін представив протокол GKR, який складається з інновацій, що сприяють створенню надзвичайно швидких систем доказів. Він описав ці рішення як сімейство протоколів, що лежить в основі екстремальної швидкості багатьох діючих систем доказів. Бутерін зосередився на демонстрації впровадження GKR для доказу хешів Poseidon.
GKR не є Zero-knowledge
Бутерін розпочав свій пост з визнання існування ультра-швидких ZK-доказувачів. Це ZK-EVM-доказувачі, які відображають Ethereum Layer-1 у реальному часі, використовуючи лише 50 споживчих GPU.
“Люди доводять 2 мільйони хешів Poseidon за секунду на споживчих ноутбуках, а zk-ML-системи доводять LLM-інференцію з дедалі більшою швидкістю,” зазначив Бутерін.
Саме тут і з’являється протокол GKR. Він служить рушієм цих доказувачів. Це рішення розроблене для забезпечення швидких ZK-EVM та zk-ML доказів. Воно також оптимізоване для обчислень із багатьма шарами низького ступеня та численними повторюваними застосуваннями функцій, включаючи хешування та нейронні мережі.
Співзасновник Ethereum Віталік Бутерін представив протокол GKR — сімейство протоколів, що забезпечує надзвичайно швидкі системи доказів. GKR є основним протоколом для швидких ZK-EVM та zk-ML доказів, оптимізованим для обчислень із багатьма шарами низького ступеня та численними повторюваними застосуваннями функцій…
— Wu Blockchain (@WuBlockchain) 20 жовтня 2025
Все, що потрібно, — це зобов’язання щодо вхідних та вихідних даних, а не проміжних шарів. У довгостроковій перспективі це значно підвищує ефективність. Під “зобов’язаннями” Бутерін мав на увазі розміщення даних у криптографічній структурі даних. Це можна здійснити або через KZG, або через Merkle tree, якщо це дозволяє користувачу доводити запити щодо конкретних аспектів цих даних.
Користувачі повинні бути обережними, щоб не сплутати GKR із zero-knowledge протоколом, оскільки він забезпечує лаконічність, а не приватність. Однак zero-knowledge все ж можна досягти з GKR, якщо обгорнути доказ у ZK-SNARK або ZK-STARK.
Співзасновник Ethereum критикує агентний AI
Серед багатьох протоколів, які Бутерін обговорював останнім часом, є моделі штучного інтелекту (AI). Два місяці тому він розкритикував AI-індустрію за надмірну зосередженість на “агентних” моделях. На його думку, автономних систем занадто багато, і це не є добре.
Він зазначив, що системи, які дозволяють більший людський внесок, дають кращі та безпечніші результати, що узгоджується з попередніми коментарями колишнього директора AI у Tesla Андрея Карпаті. Очевидно, співзасновник Ethereum більше захоплений моделями AI з відкритими вагами, які, за його словами, мають потужні можливості редагування.
У вересні він також підкреслив, що існує велика небезпека, пов’язана з надмірною залежністю від AI у сфері управління.
next
