Рада ухвалила закон про мобілізацію: що змінюється для українців
Долар 41.54 ₴ (+0.12), євро 44.98 ₴ (-0.05)
Кременчук: +18°C, ясно. Увечері до +12°C.
День працівників соціальної сфери. Всесвітній день сміху.
Сьогодні святкують: Максим, Віктор, Тамара
Овен: Хороший день для нових починань. Зірки сприяють ініціативі.
2004 — Кіпр, Чехія та 8 інших країн вступили до Євросоюзу
Паливо знову подорожчало: А-95 переступив психологічну межу
Apple iPhone 17 Air: все що відомо про найтоншу модель
Віталік Бутерін описав, як інтерактивні протоколи GKR можуть радикально прискорити ZK‑докази в Ethereum – аж до 15 разів. Ідея спирається на метод sumcheck і обіцяє дешевші транзакції та складніші кейси від DeFi до AI.
Ethereum готується до нового технічного ривка: Віталік Бутерін опублікував матеріал про впровадження GKR – інтерактивних протоколів перевірки обчислень – для прискорення ZK‑доказів. Ідея проста за змістом і складна в реалізації: рознести обчислення по шарах, а цілісність перевіряти короткими математичними кроками. Якщо це спрацює, мережа отримає більш швидкі докази та нижчі витрати.
GKR – це підхід до інтерактивних доказів, сформульований Шафі Гольдвассер, Яель Тауман Калаї та Гаєм Ротблумом у 2008 році. Суть у делегуванні складних обчислень серверу з подальшою верифікацією результату без повного перерахунку. У GKR обчислення подаються у вигляді шарів поліномів, пов'язаних між собою, що дозволяє перевірити правильність фінального результату, протестувавши лише кілька точок.
Для блокчейну це важливо: такий механізм зменшує навантаження на верифікаторів і відкриває шлях до масштабніших доказів, не жертвуючи безпекою. Саме тут GKR накладається на потреби масштабування Ethereum і робить цікавішими можливості рівня L2.
В основі GKR лежить метод sumcheck – спосіб довести, що сума значень полінома дорівнює очікуваному числу без обчислення кожної точки. Перевірка йде поетапно: учасники обмінюються повідомленнями, а складний вираз зводиться до набору простіших перевірок. Це суттєво скорочує обсяг роботи для перевіряючої сторони.
За прикладами типових навантажень Бутерін згадує масове хешування (зокрема функцію Poseidon2) та обчислення у нейромережах – задачі, де GKR здатен розкрити потенціал.
Розробник пропонує застосувати GKR як надбудову, а не нову криптографію, поверх вже наявних доказових систем – zk‑SNARK та zk‑STARK. Підхід має зняти частину навантаження на генератори доказів, розкладаючи обчислення на шари і перевіряючи їх компактними кроками. За оцінкою Бутеріна, це може зробити ефективність генерації доказів до 15 разів вищою – втім, поки що мова про теоретичний потенціал.
Інтеграція GKR може допомогти обробляти тисячі транзакцій в межах одного доказу, що критично для продуктивності L2‑ролапів та комплексних сценаріїв.
Попри оптимістичні очікування, перевірка сум – процес ресурсоємніший за просте хешування. Реальні виграші залежать від структури задачі: для одних обчислень ефект може бути максимальним, для інших – помірним. Налаштування параметрів і баланс між часом на доведення та верифікацію визначатимуть підсумковий результат.
Важливо також, що GKR – це додатковий рівень алгоритмічної оптимізації, який має узгоджуватися з існуючими стеком інструментів і апаратними обмеженнями.
Раніше Бутерін презентував leanVM – віртуальну машину, оптимізовану під ZK‑докази, як наступний крок у розвитку інфраструктури. Поєднання спеціалізованої VM та GKR‑підходу створює базу для продуктивніших провайдерів доказів у L2‑мережах та складніших on‑chain‑перевірок.
З огляду на конкуренцію між rollup‑рішеннями, технології, що пришвидшують доведення і здешевлюють верифікацію, можуть стати ключовою перевагою для екосистем, які прагнуть масштабуватися без компромісів із безпекою.
GKR розбиває обчислення на шари та перевіряє їх через метод sumcheck. Бутерін очікує до 15‑разового прискорення генерації доказів – але наголошує: це наразі теоретичний потенціал, не виміряний у продакшені.
Ethereum рухається до глибшої інтеграції ZK‑технологій, і GKR – один із важливих кроків. Якщо експерименти підтвердять теорію, користувачі отримають швидші та дешевші транзакції, а розробники – інструменти для нової хвилі продуктів.
Без спаму. Лише топ-матеріали Gosta. Відписатись в один клік.