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

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

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

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

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

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

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

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

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

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

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

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

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

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