Чому Ethereum терміново потребує ZK-VM?

Автор: 0xTodd; Джерело: X, @0x_Todd

Серед численних підходів до масштабування Ethereum, ZK є найскладнішим для обговорення.

Оглядаючи на всю мережу, Віталік Бутерин та Фонд Ефіріуму найбільше ставлять на ZK. ZK дещо схожий на наймолодшого сина в сім'ї Ефіріуму, в якого вклали найбільше зусиль, але майбутнє якого є найбільш невизначеним.

Кілька днів тому Фонд Ethereum знову опублікував дорожню карту Kohaku, яка є різними основними компонентами приватного гаманця. У дорожній карті знову підкреслюється, що для реалізації більшої кількості функцій потрібно покладатися на реалізацію ZK-EVM/ZK-VM.

Отже, чому Ethereum настільки терміново потребує ZK-VM?

Відповідь полягає в тому, що заради продуктивності, і не за рахунок безпеки.

Раніше ми обговорювали тему, що найшвидшим способом підвищення продуктивності Ethereum є підвищення ліміту GAS, простими словами, це означає збільшення розміру кожного блоку.

Але, підвищення ліміту GAS має свою ціну, занадто великі блоки є важким тягарем для вузлів.

Нинішня модель верифікації Ethereum, відома як “всі перевіряють все” означає, що всі вузли повинні повністю перевіряти кожен блок. Цей підхід простий і прямий, проте занадто надмірний.

! 5FDwR43v8acoFyIvG901mh6kxDiGrbr91TJNTSG3.jpeg

Оскільки, якщо межа GAS буде встановлена занадто високо, то обсяг роботи для кожного вузла значно зросте.

Слід зазначити, що інтервал між блоками в Ethereum становить 12 секунд, при цьому потрібно враховувати час, необхідний для поширення блоку по всьому світу, а також безліч старих шісток, які повинні обробити MEV. Час, за який кожен валідатор отримує блок і перевіряє його, насправді дуже короткий (приблизно 4-8 секунд), тому дійсно неможливо провести багато перевірок.

Але якщо повністю ZK хакнути L1 етеріуму, це стане “всеобічним підтвердженням”. Коли блок буде зібрано, спочатку буде проведено ZK підтвердження.

Як всім відомо, ZK-підтвердження є повільним, але верифікація проходить дуже швидко. Таким чином, кожен блок потрібно ZK-увати лише один раз, а всі вузли лише швидко перевіряють, чи є підтвердження правильним.

! Rb4MIs1laJTdRo45IiA0qUH6T6nF38Zo1yQTQy9b.jpeg

Такою перевагою є можливість значно підвищити ліміт GAS, оскільки незалежно від того, як його підвищити, навантаження на вузли не буде занадто великим.

Зробимо аналогію: раніше ви проходили процес затвердження заяви на відпустку в DingTalk (відправка транзакції), де кожен керівник (вузол) особисто перевіряв, чи залишилися у вас дні відпустки (всім перевірка), і тільки після того, як всі схвалили, це було можливим.

Після ZK ви все ще подаєте заявку на відпустку (відправляєте транзакцію), система виявляє, що у вас є залишок відпустки, і прямо повідомляє всім керівникам: “Ця людина має відпустку”, і керівники повністю вірять, що система не помилиться (ZK), тоді керівники швидше схвалюють (всі перевіряють разом).

Ось чому Ethereum прагне до ZK.

Але цей обсяг робіт досить великий, адже в ньому занадто велика складність криптографії, тому Ethereum повинен співпрацювати з іншими командами.

Отже, яку роботу повинні виконати сторонні команди? Тут візьмемо за приклад протокол Brevis, про який згадував Джастін з фонду Ethereum, це також наразі найшвидший протокол для ZK.

! dZa2CBB1wRzsDEHMP9yXH75CNE0pLC90ZHGNIMOa.png

Brevis займається ZK-VM, їхня остання технологія Pico Prism наразі є найшвидшою у видачі ZK-доказів за заданих умов.

Згідно з розкриттям, на поточному блоку Ethereum з лімітом 45M GAS, Brevis використав 64 графічні процесори RTX 5090. У тестуванні 99,6% блоків було підтверджено за 12 секунд, а покриття підтвердження за 10 секунд становило 96,8%.

! Pz0HZtHKwHNO8IfSFvKkO4Yg7YaiYSSBtNDoHeA0.jpeg

Ці дані дуже круті.

Ефіріум для децентралізації вимагає, щоб пристрої, які виконують ZK-докази, не перевищували 100 тисяч доларів США.

Інакше, якщо кожна людина має кілька H200/B200, це, безумовно, буде швидше, але тоді бар'єри будуть занадто високими. Ці графічні карти Brevis якраз потрапляють у категорію обсягом 10 тис. доларів.

Крім того, чому важливий також показник покриття за 10 секунд?

Оскільки зазвичай MEV блоки з'являються за 1-3 секунди, плюс 10 секунд на підтвердження, це точно 12 секунд, що заповнює час, отже 12 секунд не підходять, потрібно, щоб 10 секунд були з високим покриттям.

Отже, Brevis це як «отримати корону танцювального короля на змаганнях з танців у кайданах».

Brevis порівнявся з потужними технологіями, досягнувши прориву в кластері з кількома GPU, хоча там досить багато деталей технології, давайте обговоримо це окремо, коли матиму більше часу.

Нарешті, повертаючись до теми, зробимо підсумок.

Щоб Ethereum прискорити L1, потрібно підвищити межу GAS;

Щоб підвищити ліміт GAS, потрібно зробити ZK.

Щоб елегантно реалізувати ZK (доказ за <10 секунд, купівля обладнання за <10 тис. доларів), потрібна спільна праця криптографічної спільноти криптовалют.