Віталік Бутерін представляє надшвидкий ZK-EVM GKR протокол - Coinspeaker

Ключові нотатки

• Віталік Бутерін представив GKR для вдосконалення швидких систем доказів.
• Засновник Ethereum підкреслив, що GKR не є нульовим знанням.
• Бутерин критикував зосередження індустрії штучного інтелекту на «агентних» моделях.

Співзасновник Ethereum Віталік Бутерін представив протокол GKR, який складається з інновацій, що сприяють дуже швидким системам доказів. Він описав ці рішення як сімейство протоколів, які стоять за екстремальною швидкістю багатьох операційних систем доказів. Бутерін зосередився на демонстрації впровадження GKR для доказування хешів Poseidon.

GKR не є нульовим знанням

Бутерін розпочав свій пост з визнання існування ультра-швидких ZK-проказників. Це ZK-EVM проказники, які проявляють Ethereum Layer-1 в реальному часі і роблять це всього на 50 споживчих GPU.

“Люди доводять 2 мільйони хешів Poseidon за секунду на споживчих ноутбуках, а системи zk-ML доводять інференс LLM з підвищенням швидкості,” зазначив Бутерін.

Ось де входить протокол GKR. Він служить потужністю для цих провайдерів. Це рішення розроблено для швидкого створення доказів ZK-EVM та zk-ML. Воно також оптимізоване для обчислень з кількома шарами низької степеня та багатьма повторюваними застосуваннями функцій, включаючи хешування та нейронні мережі.

Все, що потрібно, це зобов'язання щодо вхідних та вихідних даних, без проміжних шарів. У довгостроковій перспективі це значно покращує ефективність. Під “зобов'язаннями” Бутерін мав на увазі внесення даних у криптографічну структуру даних. Це можна досягти або через KZG, або через дерево Меркла, якщо це дозволяє користувачеві доводити запити про конкретні речі щодо цих даних.

Суміжна стаття: Віталік Бутерін підтримує Base L2 від Coinbase: 'Робити речі правильно' Користувачам слід бути обережними, щоб не сплутати GKR з протоколом нульового знання, оскільки він займається стисненням, а не конфіденційністю. Проте нульове знання все ще може бути досягнуто за допомогою GKR, оскільки все, що потрібно зробити, це обгорнути доказ у ZK-SNARK або ZK-STARK.

Співзасновник Ethereum критикує агентний ШІ

Серед багатьох протоколів, які Бутерін обговорює останнім часом, є моделі штучного інтелекту (AI). Два місяці тому він розкритикував індустрію ШІ за надмірну увагу до “агентних” моделей. На його думку, існує занадто багато автономних систем, і це не добре.

Він зазначив, що системи, які дозволяють більший людський внесок, дають кращі та безпечніші результати, що узгоджується з попередніми коментарями колишнього директора Tesla з питань ШІ Андрея Карпаті. Очевидно, що співзасновник Ethereum більше захоплений відкритими моделями ШІ з вагою, які, за його словами, мають сильні можливості редагування.

У вересні він також підкреслив, що існує велика небезпека, пов'язана з надмірною залежністю від ШІ для управління.

Наступне Застереження: Coinspeaker прагне надавати неупереджене та прозоре висвітлення. Ця стаття має на меті надати точну та своєчасну інформацію, але її не слід розглядати як фінансову чи інвестиційну пораду. Оскільки ринкові умови можуть швидко змінюватися, ми закликаємо вас перевіряти інформацію самостійно та консультуватися з фахівцем перед прийняттям будь-яких рішень на основі цього контенту.