«Віталік Бутерін поділився новим дослідженням, яке може змінити підхід Ethereum до перевірки доказів і масштабування в найближчі роки. Підсумок Віталік Бутерін представляє GKR, протокол для швидшого агрегування доказів. GKR покращує ефективність ZK і зведених систем Ethereum. Це знаменує собою крок до «ощадливого» та квантово-захищеного бачення Ethereum на 2025 рік. Віталік Бутерін», — пишуть на: www.crypto.news
Віталік Бутерін поділився новим дослідженням, яке може змінити підхід Ethereum до перевірки доказів і масштабування в найближчі роки.
Резюме
- Віталік Бутерін представляє GKR, протокол для швидшого агрегування доказів.
- GKR покращує ефективність ZK і зведених систем Ethereum.
- Це знаменує собою крок до «ощадливого» та квантово-безпечного бачення Ethereum на 2025 рік.
Віталік Бутерін представив протокол GKR, революційну стійку систему, розроблену для того, щоб зробити обчислення з нульовим знанням швидшими та ефективнішими.
Опубліковано 20 жовтня в особистому блозі vitalik.eth.limoновий підручник Бутеріна детально описує протокол Голдвассера–Калая–Ротблюма. Цей рекурсивний метод агрегування доказів має потенціал змінити те, як Ethereum (ETH) повністю обробляє масштабування та перевірку.
Протокол GKR і майбутнє ефективності доказів
Структура GKR перевіряє великі обчислення з невеликими накладними витратами на ланцюг, спрощуючи складні криптографічні докази. Бутерін описує, як GKR обробляє докази за логарифмічний час, не вимагаючи дорогих проміжних зобов’язань, що робить його набагато ефективнішим, ніж звичайні системи ZK-SNARK або STARK.
У своїй публікації Бутерін віддає належне Леву Суханову, Чженфею Чжану та Закарі Вільямсону за їхні відгуки та огляд, підкреслюючи, що головна сила GKR полягає в його масштабованості. «Це природно підходить для перевірки великих партій хешів і обчислень у стилі нейронних мереж», — написав він, підкресливши його придатність як для блокчейну, так і для робочих навантажень ШІ.
Завдяки дизайну протоколу перевірники можуть пропускати зобов’язання на проміжних етапах, що знижує вартість і обчислювальне навантаження. Хоча GKR сам по собі не є нульовим знанням, він може бути загорнутий у рівні ZK-SNARK або STARK для конфіденційності, поєднуючи стислість із конфіденційністю.
Ключова частина дорожньої карти Ethereum
GKR узгоджується з ширшим баченням Бутеріна «Lean Ethereum», спрощеної та квантово стійкої конструкції мережі. Він безпосередньо підтримує рух Ethereum до швидшої остаточності, агрегації доказів для зведень і масштабованості на основі нульових знань.
Цей випуск слідує за кількома пов’язаними ініціативами Бутеріна, такими як пропозиції щодо розширених інструментів взаємодії між мережами рівня 2, часткових клієнтів без стану для мінімізації зберігання вузлів та управління, увімкненого ZK. Разом вони прагнуть зробити Ethereum більш ефективним, приватним і доступним.
Криптографічна основа Ethereum може стати легшою та швидшою, оскільки розробники почнуть експериментувати з системами на основі GKR, що допоможе реалізувати довгострокову мету Бутеріна щодо масштабованих, перевірених обчислень.