Бутерін схвалив ZK-прорив Succinct Labs

Співзасновник Ethereum Віталік Бутерін охарактеризував нещодавні успіхи в сфері доказів з нульовим розголошенням (ZK proof, ZKP) як «по-справжньому вражаючий» прорив. Мова йде про перші результати доведення в реальному часі в Ethereum, які цього тижня презентувала команда Succinct Labs.

Real-Time Ethereum Proving is here.

INTRODUCING: SP1 Hypercube pic.twitter.com/F1LgrHVJVo

— Succinct (@SuccinctLabs) May 20, 2025

Команда Succinct продемонструвала нову zkEVM SP1 Hypercube. За словами розробників, ця технологія здатна верифікувати блоки Ethereum в середньому за 10,3 секунди. Близько 93% випадково обраних блоків обробляються за 12 секунд або швидше.

Однією з основних інновацій є використання полілінійних поліномів — це одна з ключових відмінностей між Hypercube і системами на базі технології STARK, що використовують однопараметричні поліноми. За словами розробників, це дозволило значно підвищити ефективність механізму доведення.

Проблеми продуктивності та верифікації

Бутерін зазначив, що представлена система ще не готова до впровадження на базовому рівні Ethereum. Зокрема, він акцентував увагу на таких недоліках:

• система показує лише середні результати продуктивності і не враховує «гірші сценарії» — ключовий аспект для безпечного використання в L1-мережі;
• брак формальної верифікації — тобто математичне доведення правильності алгоритму ще не завершено.

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

Енергоспоживання та проблеми масштабування

Ще одне питання — високий рівень енергоспоживання. Поточна версія реального ZKP споживає приблизно 100 кіловат, що ускладнює її використання в домашніх умовах або в умовах масової децентралізації.

В ідеалі, вважає Бутерін, доведення має бути можливим на машинах з потужністю до 10 кіловат. Це значно розширило б можливості участі користувачів і дотримання принципу доступності.

Він також нагадав про цілі Ethereum щодо масштабування — зокрема, намір підвищити ліміт газу в L1 у 10–100 разів. Для цього потрібні суттєві оптимізації продуктивності доведення, що ще раз підкреслює, наскільки далеко поточні розробки від впровадження на базовому рівні протоколу.

Водночас Бутерін висловив свою повагу до команди Рой і назвав їхню роботу визначним досягненням для технології ZKP. Однак він підкреслив, що потрібно ще багато зробити, перш ніж мережа зможе повністю інтегрувати такі рішення у свою базову інфраструктуру.

Нагадаємо, засновник Ethereum запропонував зменшити обсяг даних для персональних вузлів.

Источник