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

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

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

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

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

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

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

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

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

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

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

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