Нарешті отримав можливість на вихідних написати кілька думок щодо цього посту Віталіка. ТЛ; Д.Р.: Оскільки Ethereum стає інституційним і зосереджується на випуску активів L1 як на своїй унікальній ціннісній основі, швидке завершення L2 на базі ZK стане критично важливим. Без швидкого узгодження між L1 і всіма його L2 Ethereum ризикує втратити своє місце як «стандарт емітента активів». Погрози вже матеріалізуються. Сторонні мостові системи, такі як USDC, CCTP, USDT0 тощо, агресивно розширюються. Якщо активи на Ethereum L2 відчують від'єднання від L1 через повільну остаточність, емітенти просто виберуть простіші та швидші альтернативи. Бачення Віталіка тут дійсно цементує, чому доказова інфраструктура стане основою наступного етапу масштабування Ethereum. Мільярди доказів будуть генеруватися та споживатися щодня у всій екосистемі Ethereum. Теза для PROVE абсолютно чітка.
vitalik.eth
vitalik.eth7 серп., 00:29
Дивно бачити стільки основних L2 зараз на етапі 1. Наступна мета, до якої ми повинні прагнути, це, на мій погляд, швидкий (<1h) час виведення коштів, що забезпечується системами доказу валідності (так званої ZK). Я вважаю це навіть важливішим, ніж етап 2. Швидкий час виведення коштів важливий, тому що очікування тижня для виведення просто занадто довге для людей, і навіть для мостового зв'язку на основі намірів (наприклад, . ERC-7683), вартість капіталу стає занадто високою, якщо постачальнику ліквідності доводиться чекати тиждень. Це створює значні стимули для використання рішень з неприйнятними припущеннями про довіру (наприклад, мультисігси/MPC), які підривають саму суть існування L2 замість повністю незалежних L1. Якщо ми зможемо скоротити нативний час виведення коштів до менш ніж 1 години короткострокової перспективи та 12 секунд у середньостроковій перспективі, то ми зможемо ще більше закріпити Ethereum L1 як місце за замовчуванням для випуску активів і економічний центр екосистеми Ethereum. Для цього нам потрібно відійти від систем оптимістичних доказів, які за своєю суттю вимагають очікування кількох днів для виведення. Історично склалося так, що технологія ZK proof була незрілою та дорогою, що зробило оптимістичні докази розумним і безпечним вибором. Але останнім часом ситуація стрімко змінюється. це чудове місце для відстеження прогресу доказів ZK-EVM, які швидко вдосконалюються. Також просувається офіційна верифікація на доказах ZK. На початку цього року я запропонував стратегію системи захисту 2 з 3 ZK + OP + TEE, яка протягує нитку між безпекою, швидкістю та зрілістю: * 2 з 3 систем (ZK, OP) не викликають довіри, тому жоден суб'єкт (включаючи виробника TEE або зловмисника на стороні каналу) не може зламати систему доказу, порушивши припущення про довіру * 2 з 3 систем (ZK, TEE) є миттєвими, тому ви отримуєте швидке виведення коштів у звичайному випадку * 2 з 3 систем (TEE, OP) виробляються в різних контекстах протягом багатьох років Це один з підходів; можливо, люди виберуть замість цього тайбрейк ZK + ZK + OP, або тай-брейк ZK + ZK + Рада безпеки. У мене тут немає категоричних думок, мене хвилює основна мета, яка полягає в тому, щоб бути швидким (у звичайному випадку) і безпечним. З такими системами доказів єдиним вузьким місцем, що залишається для швидкого врегулювання, стає вартість газу для подання доказів у мережі. Ось чому в короткостроковій перспективі я кажу раз на годину: якщо ви намагаєтеся подавати 500k+ газовий ZK proof (або 5m gas STARK) набагато частіше, це додає високі додаткові витрати. У довгостроковій перспективі ми можемо вирішити це за допомогою агрегації: N доказів з N зведень (плюс tx-файли від користувачів privacy-protocol) можуть бути замінені одним доказом, який доводить достовірність N доказів. Це стає економічно вигідним для подання один раз на слот, що забезпечує ендшпіль: майже миттєвий рух нативного крос-L2 активу через L1. Давайте працювати разом, щоб це сталося.
41,04K