Бутерін: SNARK і STARK змінюють модель обчислень

Співзасновник Ethereum Віталік Бутерін виступив на 12‑му Global Blockchain Summit у Шанхаї та описав, як розвиток доказів з нульовим розголошенням змінює підхід до верифікації обчислень у блокчейнах. За його словами, SNARK і STARK дозволяють одному учаснику виконати операцію й сформувати криптографічний доказ, який інші вузли лише перевіряють.

Ранні архітектури блокчейнів вимагали, щоб багато вузлів повторно виконували ті самі операції для підтвердження результатів. Така модель забезпечувала перевірюваність, але обмежувала пропускну здатність і приватність мереж. Виступ містив фразу: «Епоха, коли всі мають повторювати все, добігає кінця».

У виступі наголосили на рекурсивних STARK, які дають змогу об’єднувати багато доказів в один і скорочувати обсяг даних та обчислень у базовому ланцюгу. Згадано EIP‑8288 — пропозицію щодо агрегації підписів і STARK‑доказів уже на рівні мемпулу з подальшою публікацією компактного підтвердження коректності. Така схема має зменшити витрати на приватні та постквантові транзакції і перемістити частину складних криптографічних операцій поза основний шлях виконання Ethereum.

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

Під час виступу запропоновано розглядати блокчейн як обчислювальний конвеєр: локальні операції на пристрої користувача, мемпули з різними рівнями конфіденційності, агрегація доказів, рішення рівня 2 і базовий шар мережі. Така структура має дозволяти масштабувати систему без відмови від властивостей децентралізації.

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

Також зазначено, що деякі рішення рівня 2 потребують додаткових захисних механізмів, наприклад кількох систем доказів і комітетів безпеки через складність перевірки коду. Обговорювалося використання агентів, які самостійно взаємодіятимуть з L1, L2 і проміжними сервісами та обиратимуть потрібні інструменти для виконання конкретних операцій.

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