тл; Доктор з минулого тижня семінарів EF у Берліні: Ethereum – це all-in zkVM для масштабування L1. Доведення в реальному часі показало, що масове масштабування L1 за допомогою ZK можливе сьогодні. Джастін Дрейк навіть намітив шлях до можливого закріплення zkVM у L1. Вони набагато серйозніше ставляться до цих зусиль, ніж я думав. Детальніше 🧵

Стратегічним пріоритетом #1 Ethereum на даний момент є масштабування L1: Як зазначено в нещодавньому оновленні EF, одна з основних фокус-груп EF (на чолі з @timebeiko + @adietrichs) полягає в різкому збільшенні потужності L1 для залучення більшої активності в основну мережу. Нещодавнє оголошення про «доведення в реальному часі» змусило керівництво усвідомити, що масштабування L1 за допомогою ZK можливе вже сьогодні. Основним вузьким місцем у масштабуванні є підтримання низьких вимог до обладнання вузлів під час перекачування газу. За допомогою доведення в режимі реального часу ліміт газу може бути значно збільшений без шкоди для перевірюваності, оскільки валідаторам потрібно лише перевіряти докази (низькі обчислювальні витрати), щоб не відставати від ланцюжка. EF виділяє значні ресурси на ці зусилля, включаючи кілька інженерних команд, які займаються створенням клієнта ZK без стану, включенням prover мереж за допомогою ZK boost і порівняльним аналізом zkVM. EF має конкретний план на наступні квартали щодо включення zkVM і RTP у багато частин стека. Існує команда, яка займається створенням клієнта ZK без стану, який може працювати на мінімальному обладнанні, перевіряючи докази. Вони створюють ZK Boost, коляску, схожу на MEV-boost, яку кожен будівельник та ініціатор запустить, щоб запитати докази від prover networks. І у них є спеціальна команда бенчмаркінгу zkVM, щоб зрозуміти, які зміни в протоколі потрібні, щоб гарантувати доведення 100% блоків у реальному часі. Джастін намітив конкретний шлях до закріплення доказів zkVM в Ethereum протягом наступних кількох років. У своїй презентації Джастін виклав поступовий план поступового переходу zkVM на L1, що закінчиться можливим закріпленням формально перевірених систем доказів у L1. У міру того, як zkVM стають критично важливими для L1, prover мережі стануть інфраструктурою, де ініціатори отримують докази для кожного блоку Ethereum. Критично важливою частиною інфраструктури в цьому поштовху zkVM будуть prover мережі. Мережі Prover дозволяють розділяти proposer і proover, де ініціатори можуть залишатися децентралізованими та недосвідченими, отримуючи докази в режимі реального часу для кожного блоку з максимальною ефективністю з конкурентного набору доказів. Це те, що ми створюємо за допомогою Prover Network від Succinct :) zkVM збираються забезпечити роботу найкращого у світі блокчейну. ЗК приливна хвиля, що надходить.