Вступ
Команда zkEVM Фонду Ethereum запропонувала включити EIP-8025 у форк Hegota, про це йдеться за підсумками обговорень на зустрічі All Core Developers (ACD). EIP-8025 вводить Optional Execution Proofs, дозволяючи вузлам Ethereum перевіряти zk-докази замість повторного виконання всіх транзакцій напряму. Наразі вузли валідовують коректність блока шляхом повторного виконання результатів транзакцій; EIP-8025 додає альтернативу, за якої вузли можуть перевірити ZK-доказ чинності блока без повторення повних обчислень. На цьому етапі пропозиція працює як повністю опційний механізм — впливають лише вузли, які вирішили використовувати докази, а правила консенсусу не змінюються. Це означає формальний перехід Ethereum від експериментальної фази до інтеграції технології нульових знань на рівні протоколу, що потенційно може знизити витрати на роботу вузлів і в довгостроковій перспективі дозволити більші блоки з складнішим виконанням.
Дослідницькі оновлення
EIP-8025: інфраструктура Ethereum із нульовими знаннями переходить у фазу оновлення протоколу
Ключовий механізм EIP-8025 зосереджений на Optional Execution Proofs. Замість того, щоб вимагати від усіх вузлів повторно виконувати транзакції для перевірки чинності блока, вузли можуть альтернативно валідовувати нульовий доказ, який підтверджує коректність виконання. Пропозиція не перетворює Ethereum на ZK-ланцюг одразу; натомість вона закладає основу для переходу від “direct re-execution chain” до “proof-verification chain”.
Значущість у зменшенні операційного навантаження на вузли та створенні інфраструктури для більших блоків і складнішого виконання. Дозволяючи вузлам перевіряти докази замість відтворення обчислень, Ethereum може підтримувати більшу пропускну здатність і обчислювальну потужність.
Віталік Бутерін про ШІ та формальну верифікацію для кібербезпеки
Ко-засновник Ethereum Віталік Бутерін опублікував аналіз щодо поєднання ШІ та формальної верифікації для трансформації кібербезпеки. Формальна верифікація математично доводить, що програми працюють точно так, як задумано — на відміну від традиційних аудитів безпеки, де люди перевіряють код на вразливості.
Бутерін запропонував, що ШІ може генерувати low-level assembly-код, а формальна верифікація підтвердить, що цей код має ідентичну поведінку до людськи читабельних high-level реалізацій. Підхід вирішує традиційний компроміс: assembly-код виконується ефективно, але його складно перевіряти людям, тоді як high-level код робить ставку на читабельність замість оптимізації продуктивності.
Серед прикладів екосистеми Ethereum, на які він посилався, — Arklib (що працює над формально верифікованими STARKs для доказу коректності складних обчислень) та evm-asm (запис EVM у RISC-V і доведення еквівалентності з реалізаціями в Lean, де Lean є інструментом формальної верифікації).
Для блокчейн-протоколів і смартконтрактів потрібні сильніші методи верифікації, адже помилки під час розгортання мають вкрай тяжкі наслідки.
ZK Summit 14: фокус системи доказів зміщується до гарантій для реальних систем
ZK Summit 14 відбувся 7 травня в Римі та зібрав 24 доповіді від провідних команд zk-екосистеми, зокрема Ethereum Foundation, Succinct, Aztec, Nethermind і Miden.
Найсуттєвіший тренд, який відобразився, — це зсув фокусу з метрик продуктивності системи доказів (швидкість, розмір доказу, вартість верифікації) на гарантії для реальних систем. Технологія з нульовими знаннями тепер інтегрується в платіжні системи, верифікацію ідентичності, zkVMs та застосунки машинного навчання. У цих контекстах лише продуктивність доказів виявляється недостатньою:
- Платіжні системи мають захищати суми транзакцій і інформацію користувачів.
- Системи ідентичності повинні дозволяти користувачам доводити потрібні повноваження, приховуючи інші персональні дані.
- zkVMs мають точно доводити коректність виконання складних програм.
- Застосунки машинного навчання потребують верифікації того, що результати інференсу моделі не були змінені.
Технологія ZK вийшла за межі “швидкої генерації доказів” і стала способом проєктування гарантій безпеки та приватності, адаптованих до вимог кожної системи. ZK Summit 14 показав просування технології нульових знань від досліджень до глибокої інтеграції з реальною інфраструктурою та застосунками.
Оновлення екосистеми
Запуск Kohaku Privacy Framework вже найближчим часом, тривають тести інтеграції у гаманцях
Модульний фреймворк приватності Ethereum Kohaku наближається до запуску: тривають тести інтеграції з гаманцями. Kohaku надає уніфікований інтерфейс, який дозволяє гаманцям виконувати приватні транзакції із використанням кількох криптографічних бекендів без того, щоб напряму реалізовувати функціональність приватності.
Зараз гаманці, зокрема Ambire, проводять інтеграційні тести Kohaku. Історично функції приватності стикалися з бар’єрами для впровадження в гаманцях користувачів, тому що окремі протоколи приватності використовують різні архітектури, змушуючи гаманці підтримувати кожну технологію окремо.
Kohaku вирішує цю фрагментацію, дозволяючи гаманцям діставати доступ до кількох бекендів приватності через один інтерфейс. Збільшення впровадження може розширити використання Railgun — визначеного як базовий “privacy engine” Kohaku. Фреймворк має на меті перетворити приватність Ethereum з “спеціалізованого інструмента для досвідчених користувачів” на “природно інтегровану функцію гаманця”.
L2BEAT верифікує “exit hatch” на нульових знаннях у Lighter
Платформа аналізу L2 L2BEAT верифікувала ZK-схеми Lighter — перпетуального DEX на Layer 2. Lighter дає змогу вести торгівлю перпетуальними деривативами — контрактами без строку дії.
L2BEAT зібрав усі ZK-схеми Lighter напряму з вихідного коду та підтвердив відповідність розгорнутим контрактам верифікаторів (смартконтрактам, що валідовують надані ZK-докази). Ця верифікація стосується функціональності exit hatch — аварійного механізму, який дозволяє користувачам виводити активи, якщо секвенсери або оператори Layer 2 зупиняються.
Раніше Lighter приховував певний код верифікатора, через що користувачі не могли незалежно генерувати exit-докази (дані, що доводять право на виведення активів) під час відмови секвенсера. Після верифікації від L2BEAT користувачі тепер можуть генерувати exit-докази незалежно, що підвищує здатність виводити активи без покладання на команду Lighter під час надзвичайних ситуацій.
Цей кейс демонструє, що для безпеки Layer 2 перевірка того, що розгорнутий код відповідає публічно доступному коду, є так само критичною, як і доступність коду.
ETHGlobal переглядає формат хакатону
ETHGlobal переформатував свій формат хакатону. Традиційні хакатони вимагали від учасників обирати ідеї та будувати мінімально життєздатні продукти (MVP — початкові версії, що демонструють базову функціональність) у короткі часові рамки.
Починаючи з хакатону в Нью-Йорку, нові треки дозволяють учасникам додавати фічі до вже існуючих репозиторіїв з відкритим кодом або розширювати функціональність усталених продуктів, а потім публічно випускати покращення як open source. Це змінює підхід так, щоб підвищити імовірність того, що результати хакатонів перетворяться на справжні внески в екосистему. Раніше MVP у коротких часових рамках часто припиняли розвиток після завершення події. Внесок у активні open-source проєкти безпосередньо приносить користь наявним користувачам і розробникам.
ETHGlobal розширює фокус із “швидкого показу нових ідей” до “значущого покращення наявної інфраструктури екосистеми”. У міру дозрівання Ethereum підсилення існуючих публічних продуктів і інструментів для розробників стає так само важливим, як і створення абсолютно нових застосунків.
Оновлення спільноти
Senior Contributors Ethereum Foundation виходять зі складу
Два сеніорні дослідники Ethereum Foundation подали у відставку: Carl Bewick і Julian Ma. Це доводить загальну кількість відходів сеніорних конриб’юторів до семи за два місяці.
Carl Bewick пропрацював у Ethereum Foundation приблизно сім років, беручи участь у консенсусних дослідженнях, початковому дизайні Beacon Chain і церемонії KZG (криптографічній процедурі налаштування, пов’язаній із масштабуванням доступності даних Ethereum).
Julian Ma пропрацював приблизно чотири роки, співавтором EIP-7805 FOCIL і брав участь у FCR GTM (обговорення стійкості до цензури та гарантій включення транзакцій, а також правил швидкого підтвердження, що дозволяють швидше сприймати остаточну визначеність транзакцій).
Нещодавні відходи ключового персоналу з досліджень протоколу та координації апгрейдів викликають запитання щодо підтримання координації розробки протоколу та безперервності досліджень.
Railgun привертає увагу на тлі очікувань щодо впровадження Kohaku
Протокол приватності Railgun отримує увагу через перспективи впровадження Kohaku. Аналітика припускає, що посилена інтеграція Kohaku в гаманці може розширити використання Railgun. Railgun дає змогу взаємодіяти з Ethereum DeFi, зберігаючи приватність: стандартні on-chain транзакції розкривають адреси гаманця, суми транзакцій і взаємодіяні протоколи, тоді як Railgun приховує цю інформацію.
Railgun застосовує 0,25% комісії до Shield-дій (переміщення активів у зони, захищені приватністю) та unShield-дій (виведення у публічні зони). Зростання впровадження гаманців через Kohaku та збільшення обсягу приватних транзакцій розширило б дохід Railgun від комісій.
У звітах відзначалося, що Railgun виглядає недооціненим порівняно з монетами приватності на кшталт ZEC і DASH, різниця полягає в прямій взаємодії з Ethereum DeFi. Якщо ZEC і DASH працюють як окремі монети приватності, то Railgun функціонує як інструмент приватності в межах Ethereum DeFi. Якщо Kohaku досягне суттєвого впровадження в гаманцях, Railgun може стати основним бенефіціаром інфраструктури приватності Ethereum.
Щотижневі метрики Ethereum
- Річна інфляція: 0,833%
- Щотижнева чиста пропозиція: 19 422,04 ETH
- Частка стейкінгу: 31,50%
- Обсяг ринку стейблкоїнів: $163,019 мільярда
- Net outflows US Ethereum spot ETF: $255,02 мільйона
Дані з Ultrasound Money, DeFi Llama, Dune та Parsec Investors.
