Віталік Бутерін презентує протокол GKR для підвищення ефективності систем доказів Ethereum.

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

Співзасновник Ethereum Віталік Бутерін представив протокол GKR, нову сім'ю криптографічних систем доказів, призначених для драматичного прискорення обчислень у середовищах ZK-EVM та zk-ML.

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

Прорив у продуктивності доказів

Підхід GKR (Goldwasser–Kalai–Rothblum) оптимізовано для обчислень, які використовують кілька низькостепеневих шарів та повторюють подібні операції, такі як хешування та висновки нейронних мереж. Це поширені структури як у криптографії, так і в ШІ, де великомасштабні докази повинні обробляти мільйони операцій одночасно.

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

Ефективність без компромісів

Згідно з Бутеріним, сила GKR полягає в його простоті. Він лише зобов'язується до вхідних та вихідних даних, використовуючи структуру доказів перевірки суми для верифікації кроків між ними. Ця структура робить його ідеальним для повторюваних навантажень, таких як хешування (, наприклад, Poseidon) або нейронні шари, де шаблони можуть бути ефективно доведені паралельно.

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

Чому це важливо для Ethereum

Бутерін підкреслив, що GKR представляє собою великий крок вперед у масштабованості блокчейну та обчислення доказів. Уникаючи надмірних зобов'язань і зосереджуючись на верифікації з кінця в кінець, GKR дозволяє швидко доводити масивні навантаження за нижчою ціною.

Оскільки Ethereum продовжує еволюціонувати в бік швидших та більш масштабованих систем з нульовим знанням, GKR може стати основним компонентом, що живить наступного покоління фреймворків доказу обчислень як у криптовалютних, так і в AI-застосунках.