[Одним GPU довели існування Ethereum. Але насправді випробування, які треба пройти, інші] @zksync продемонстрував, що одним GPU можна довести 7200 блоків Ethereum mainnet. З них 99% було доведено за 10 секунд, а всі блоки — за 12 секунд. Проте згідно з реальними показниками EthProofs, підтримуваними Ethereum Foundation, з 8 оцінюваних пруверів лише 2 відповідали останнім тижневим критеріям придатності. Ці два результати не можна безпосередньо порівнювати, оскільки вони вимірюються в різних умовах і за різними критеріями. Натомість сама різниця виявляє наступну задачу для ZK-технологій. Короткий підсумок: - Airbender Prime продемонстрував можливість використовувати один GPU для обробки блоків Ethereum з періодом створення близько 12 секунд. - У реальних умовах експлуатації пруверів потрібно враховувати не лише швидкість доведення, а й доступність, невдачі доведення та вимоги до апаратного забезпечення. - У довгостроковій перспективі конкурентоспроможність zkEVM, ймовірно, буде визначатися не швидкістю обробки доведень, а перевіркою точності, вартістю доведення в найгірших умовах та стабільною здатністю до експлуатації. Airbender Prime, представлений ZKsync 13 жовтня, довів 7200 послідовних блоків Ethereum mainnet за допомогою одного NVIDIA RTX PRO 6000 Blackwell GPU. Оскільки Ethereum створює блоки приблизно кожні 12 секунд, 7200 блоків відповідають приблизно 24 годинам блоків. Значущим є те, що, включаючи час на підготовку вхідних даних (witness), 99% блоків було оброблено за 10 секунд. Якщо швидкість генерації доведення перевищує швидкість появи нових блоків, перевіряючий може підтвердити результат виконання транзакцій за допомогою криптографічного доведення замість повторного виконання всіх транзакцій. Це значно зменшує обчислювальну навантаження для перевірки. Проте тест продуктивності на 7200 блоках — це не те саме, що постійне забезпечення доведень у реальних умовах експлуатації. EthProofs публічно вимірює продуктивність та стан експлуатації різних систем, що генерують доведення для блоків Ethereum в реальному часі. На даний момент (26 жовтня) на панелі управління були такі показники: - 8 оцінюваних пруверів, з яких лише 2 виконали останні тижневі критерії придатності; - 69,7% успішних доведень за 10 секунд від загальної кількості блокових слотів; - 26,2% пруверів визнано офлайн. Це не результати тесту Airbender Prime з одним GPU — це агреговані показники експлуатації багатьох пруверів з різним обладнанням, середовищем виконання та критеріями придатності. Але це демонструє, що для реального використання доведень у мережах потрібно не лише добре окреме виконання, а й надійність експлуатації. Навіть якщо прувер генерує доведення за середньою 5 секунд, але часто зупиняється або не може обробити певні блоки, система, що залежить лише від нього, не зможе стабильно працювати. Потрібно перевірити: чи може інша реалізація надати доведення, якщо один прувер зазнає невдачі; чи не накопичуються затримки при послідовному надходженні складних блоків. Також потрібно окремо перевірити апаратні вимоги. У публічному репозиторії Airbender зазначено, що для базових та рекурсивних етапів доведення використовується GPU, а для финального етапу — CPU та приблизно 150 ГБ ОЗП. Чи ця конфігурація збігається з тим, що було використано у останньому бенчмарку Prime — невстановлено. Тому результат «один GPU» не дозволяє точно визначити загальну потребу в пам’ятті чи вартостях експлуатації системи. 15 жовтня @VitalikButerin оценив досягнення команди Airbender як значний прорив і назвав три наступні задачi для zkEVM: Перша — математично підтвердити, що обчислення, що використовуються для доведення, точно відповідають реальним специфікаціям виконання Ethereum. Друга — встановити жорстку верхню межу вартості доведення щодо використання газу блоком. Третя — перевірити криптографічну безпеку самої системи доведення. Друга умова безпосередньо пов’язана з реальними витратами на експлуатацію. Що буде, якщо хтось навмисно створить блок із операціями, якщо їх дуже важко довести, хоча вони повністю укладаються у дозволений лимит газу? Блок буде коректно оплачений при виконанні, але для генерації доведення знадобиться надмiрна кiлькiсть обчислень і часу. Якщо така ситуацiя можлива, то навiть якщо середнiй час доведення на блок дуже малий, важко передбачити максимальну навантаженiсть мережi, яку можна стабiльно обробляти. Економiчна ефективнiсть реального часу доведення залежить не лише вiд середньої вартостi доведення для типового блока, а й вiд того, скiльки ресурсiв знадобиться у найгiрших умовах. Розробка EthProofs також рухається у цьому напрямку.Наразі етап покращення продуктивності завершено, а етап перевірки безпеки перебуває в процесі. Після цього планується інтеграція доказів без затримки, обов’язкових доказів та безпосередня інтеграція доказів у протокол. Цей порядок важливий, бо створення одного швидкого системи доказів — це не те саме, що переконати Ethereum довіряти цим доказам у процесі консенсусу. Оголошення Airbender Prime надає сильні підстави вважати, що можливо зменшити навантаження на обладнання для доказів у реальному часі. Наступний досягнення важко оцінити лише за швидкістю запису. Важливо, наскільки довго зберігається висока частка успішних доказів у реальних умовах, чи обмежуються витрати на докази навіть у найгірших блоках, чи різні реалізації точно підтверджують однакові результати виконання Ethereum. Технології ZK-доказів переходять від етапу демонстрації швидких обчислень до етапу створення інфраструктури, на яку може реально покладатися мережа. #Ethereum #zkEVM