Бутерін представив систему доказів GKR для підвищення масштабованості Ethereum
Співзасновник Ethereum Віталік Бутерін представив протокол GKR - систему доказу наступного покоління, покликану зробити обчислення з нульовим розголошенням (ZK) швидшими та ефективнішими. У навчальному посібнику, опублікованому в його блозі vitalik.eth.limo 20 жовтня, описано, як метод Гольдвассера-Калаї-Ротблюма (GKR) може значно покращити спосіб верифікації великих обчислень в Ethereum.
Ця стаття була перекладена з оригіналу. Читайте оригінальну версію від нашого кореспондента тут.
Фреймворк GKR використовує рекурсивну агрегацію доказів, що дозволяє розробникам перевіряти величезні партії операцій з мінімальними накладними витратами в ланцюжку, повідомляє Crypto News.
Обробляючи докази за логарифмічний час і усуваючи необхідність в дорогих проміжних зобов'язаннях, GKR пропонує більш ефективну альтернативу традиційним системам ZK-SNARK і ZK-STARK.
Бутерін подякував Льву Суханову, Чженфею Чжану і Закарі Вільямсону за їхні відгуки про роботу, зазначивши, що ефективність і масштабованість протоколу роблять його "природним рішенням для перевірки великих партій хешів і обчислень в стилі нейронних мереж".
Швидші, дешевші та масштабовані криптографічні докази
Протокол GKR дозволяє перевіряючим пропускати проміжні зобов'язання — основне вузьке місце в існуючих системах ZK-доказів. Цей дизайн значно знижує обчислювальні витрати та споживання газу, прокладаючи шлях до генерації та перевірки доказів в реальному часі як в контексті блокчейну, так і в контексті обчислень на основі штучного інтелекту.
Хоча GKR сам по собі не є системою з нульовим знанням, він може бути загорнутий в шари SNARK або STARK, щоб додати приватності, поєднуючи лаконічність доказу з конфіденційністю. Така гнучкість робить його ідеальним для рішень масштабування другого рівня Ethereum, згортання та інтероперабельності між ланцюжками.
Протокол також забезпечує більш спрощену структуру для пакетної перевірки, де тисячі транзакцій або обчислень можуть бути перевірені одночасно без шкоди для ефективності ланцюжка. Розробники очікують, що GKR може на порядок скоротити час верифікації в порівнянні з поточними методами, зокрема, в агрегації rollup і верифікації на основі ШІ-моделі.
Важлива віха на шляху до "ощадливої" та квантово-стійкої дорожньої карти Ethereum
Випуск GKR є ще одним кроком у довгостроковій стратегії Бутеріна по створенню "Lean Ethereum" - спрощеної, ефективної та квантово-стійкої архітектури блокчейну. Протокол доповнює постійний розвиток Ethereum в напрямку швидшої фінальності, масштабованості на основі ZK і легких клієнтів, які зменшують вимоги до сховища вузлів.
Нещодавні пости в блозі Бутеріна досліджували подібні напрямки, включаючи управління з підтримкою ZK, фреймворки інтероперабельності другого рівня і частково бездержавні клієнти. Разом ці досягнення спрямовані на те, щоб зробити Ethereum більш модульним, безпечним і стійким, оскільки мережа переходить в наступну фазу масштабування.
З впровадженням GKR криптографічна основа Ethereum може стати легшою і швидшою, що дозволить розробникам створювати високопродуктивні роллапи, приватні DeFi-додатки та верифіковані обчислювальні системи зі штучним інтелектом — ключові стовпи в реалізації бачення Бутеріна про по-справжньому масштабований, верифікований і децентралізований інтернет.
Нещодавно ми писали, що шлях Ethereum в короткостроковій перспективі буде значною мірою залежати від інституційних потоків і потоків великих власників, оскільки накопичення або відтік коштів може вплинути на ціну більше, ніж звичайна роздрібна торгівля.
- Forex
- Crypto