Віталік Бутерін представляє протокол GKR для швидших систем доказів

Віталік Бутерін поділився новими дослідженнями, які можуть змінити підхід Ethereum до верифікації доказів і масштабування в найближчі роки.

Резюме

• Віталік Бутерін представляє GKR, протокол для швидшої агрегації доказів.
• GKR покращує ефективність систем ZK та ролапів Ethereum.
• Це означає крок до “Lean” та квантово-безпечного бачення Ethereum на 2025 рік.

Віталік Бутерін представив протокол GKR, новаторську систему доказів, розроблену для того, щоб зробити нульові обчислення швидшими та ефективнішими.

Опубліковано 20 жовтня на його особистому блозі vitalik.eth.limo, новий посібник Бутеріна детально описує протокол Голдвассер–Калай–Ротблюм. Цей метод агрегації рекурсивних доказів має потенціал змінити те, як Ethereum (ETH) обробляє масштабування та верифікацію повністю.

Протокол GKR та майбутнє ефективності доказів

Фреймворк GKR верифікує великі обчислення з невеликим навантаженням на блокчейн, спрощуючи складні криптографічні докази. Бутерін описує, як GKR обробляє докази за логарифмічний час, не вимагаючи дорогих проміжних зобов'язань, що робить його значно ефективнішим, ніж звичайні системи ZK-SNARK або STARK.

У своєму пості Бутерін відзначає Лева Суханова, Женьфея Чжана та Закарі Уїльямсона за їхній відгук та рецензію, підкреслюючи, що основна сила GKR полягає в його масштабованості. “Це природне рішення для підтвердження великих партій хешів та обчислень у стилі нейронних мереж”, - написав він, підкреслюючи його придатність як для блокчейну, так і для AI навантажень.

Завдяки дизайну протоколу, провайдери можуть пропускати зобов'язання на проміжних етапах, що знижує витрати та обчислювальне навантаження. Хоча GKR сам по собі не є нульовим знанням, його можна обернути в шари ZK-SNARK або STARK для конфіденційності, поєднуючи стислість із конфіденційністю.

Ключовий елемент у дорожній карті Ethereum

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

Цей реліз відбувається після кількох пов'язаних ініціатив від Віталіка Бутеріна, таких як пропозиції щодо вдосконалених інструментів взаємодії між мережами другого рівня, часткових безстандартних клієнтів для мінімізації зберігання вузлів та управління, яке забезпечується ZK. Разом вони спрямовані на підвищення ефективності, приватності та доступності Ethereum.

Криптографічна основа Ethereum може стати легшою та швидшою, оскільки розробники почнуть експериментувати з системами на основі GKR, що допоможе реалізувати довгострокову мету Бутеріна щодо масштабованих, верифікованих обчислень.