Бутерін схвалює прорив ZK від Succinct Labs – ForkLog UA
Віталік Бутерін, співзасновник Ethereum, назвав останні розробки в галузі доказів з нульовим розголошенням (ZK proof, ZKP) «дійсно визначним» досягненням. Це перший випадок отримання результатів доказів у режимі реального часу на Ethereum, продемонстрований цього тижня командою Succinct Labs.
Доведення Ethereum у режимі реального часу вже тут.
ПРЕДСТАВЛЯЄМО: SP1 Гіперкуб pic.twitter.com/F1LgrHVJVo
— Succinct (@SuccinctLabs) 20 травня 2025 р.
Succinct представила інноваційний гіперкуб zkEVM SP1. Розробники стверджують, що їхня технологія може перевіряти блоки Ethereum в середньому за 10,3 секунди, при цьому до 93% випадково вибраних блоків обробляються за 12 секунд або менше.
Помітним досягненням є включення полілінійних поліномів, що відрізняє Hypercube від систем на основі STARK, які використовують одновимірні поліноми. Розробники стверджують, що це значно підвищило ефективність механізму доведення.
Проблеми з продуктивністю та перевіркою
Бутерін попередив, що представлена система все ще не готова до розгортання на базовому рівні Ethereum. Він особливо виділив такі обмеження:
- система показує лише середню продуктивність і не враховує «найгірші сценарії» — вирішальний фактор для безпечної роботи в мережі L1;
- формальна перевірка відсутня, що означає, що математичний доказ, що підтверджує правильність алгоритму, ще не завершено.
Бутерін наголосив, що ці аспекти життєво важливі для екосистеми Ethereum, де незмінність коду та фінансова безпека мають першочергове значення.
Проблеми споживання енергії та масштабованості
Ще однією проблемою є значне енергоспоживання. Поточна версія реального ЗКП використовує близько 100 кіловат, що ускладнює її використання в житлових приміщеннях або в умовах повсюдної децентралізації.
В ідеалі, Бутерін передбачає, що експериментальна версія може працювати на машинах, що споживають до 10 кіловат. Це значно розширить участь користувачів та відповідатиме принципу доступності.
Він також повторив цілі масштабування Ethereum, зокрема, стратегію збільшення ліміту газу в L1 у 10-100 разів. Досягнення цієї мети вимагатиме значної оптимізації для перевірки продуктивності, що ще раз підкреслює, наскільки далекі від впровадження поточних досягнень на рівні основного протоколу.
Тим не менш, Бутерін висловив захоплення командою Роя, визнавши їхню роботу важливою віхою для технології ZKP. Однак він наголосив, що потрібна значна додаткова робота, перш ніж мережа зможе повністю впровадити такі рішення у свою базову інфраструктуру.
Варто зазначити, що засновник Ethereum запропонував зменшити вимоги до даних для персональних вузлів.
