[Довгий тред англійською] Lighter × Succinct: бачення високопродуктивних контрактів на основі ZK та спільного сортувальника

Chainfeeds Огляд:

Ця архітектура встановлює чіткий розподіл ролей: L1 (Ethereum) виступає як безпечний глобальний баланс, відповідає за зберігання капіталу; L2 (Lighter): як високопродуктивний виконуючий рівень, відповідає за управління ризиками; ZK-інфраструктура (Succinct): як криптографічна базова мережа, надійно з'єднує обидва рівні.

Джерело статті:

Автор статті:

jaehaerys

Думка:

jaehaerys: У прагненні до масштабованості блокчейну, L2-наратив довгий час домінувався метафорою мосту. Щоб користувачі могли потрапити у середовище Rollup з високою пропускною здатністю та низькими витратами, їм потрібно було заблокувати активи на L1 і отримати синтетичний еквівалент на L2. Однак ця модель породила нові проблеми: фрагментація ліквідності та низка катастрофічних атак на кросчейн-мости — ці атаки стали одними з найбільших втрат коштів в історії децентралізованих фінансів. У відповідь з'явилася нова альтернативна ідея: замість переміщення активів у обчислювальне середовище, переносити лише перевірену інформацію про активи. Ця ідея вперше з'явилася під час прямого ефіру SuccinctLabs, коли засновник Gauntlet Tarun Chitra, розмірковуючи про майбутнє ZK-систем, висловив думку, що ZK-протоколи можуть зробити міграцію активів більш природною та ефективною. Активи можуть залишатися заблокованими на основній мережі Ethereum (L1), але за допомогою zero-knowledge proof (ZKP) їх корисність може бути безпечно підтверджена на L2 і використана як застава. Таким чином, місце розташування і функція капіталу розділяються: активи залишаються у найбезпечнішому середовищі L1, а їхня вартість проектується на високопродуктивний L2, що значно підвищує ефективність капіталу. Наприклад, позиції користувача у stETH або Morpho Vault можуть продовжувати приносити дохід на L1, а докази їхньої вартості використовуються на L2 як заставне плече. Така модель не лише знижує кросчейн-ризики, а й сприяє крос-рівневій композиційності та безпечній взаємодії. Реалізація цієї моделі залежить від поєднання Lighter і Succinct. Lighter — це децентралізована біржа перпетуальних контрактів (Perp DEX), заснована на централізованій книзі лімітних ордерів (CLOB), основною архітектурною особливістю якої є використання кастомних zk-кіл, а не універсальних zkVM чи zkEVM. Такий дизайн дозволяє криптосистемі бути спеціалізованою для оптимізації під матчинг, ризик-енджин та логіку ліквідації, тому при верифікації певних торгових функцій вона надзвичайно ефективна, уникаючи дорогих і повільних вузьких місць універсальних доказів. З іншого боку, Succinct пропонує SP1 zkVM — віртуальну машину на основі RISC-V, яка підтримує повну екосистему Rust і дозволяє ефективно кодувати складну логіку додатків, наприклад, методи оцінки DeFi Vault або ліквідаційний двигун. Крім того, Succinct управляє децентралізованою мережею доказів (SPN) — це конкурентний ринок генерації доказів, що працює на GPU, FPGA, а в майбутньому навіть ASIC, і може швидко та дешево створювати необхідні докази. У поєднанні користувачі можуть використовувати продуктивні активи на L1 для маржинальної торгівлі на L2 без втрати доходу. Наприклад, користувач продовжує отримувати відсотки з Morpho Vault на L1, а докази вартості цих активів використовуються як маржа для перпетуальних угод на L2. Далі, ця архітектура може підтримувати токенізацію складних L2-стратегій, дозволяючи їм циркулювати на L1 у стандартизованій формі активів, наприклад, нативний 3x ETH леверидж-токен, який може використовуватися у таких додатках, як Aave lending. Така модель не лише підвищує ефективність капіталу, а й розширює можливості крос-рівневої композиційності. Ядром цієї архітектури є співпраця Escrow-контракту та мережі доказів Succinct. Користувач спочатку депонує ETH, стейблкоїни або дохідні активи у Escrow-контракт на Ethereum L1. Escrow-контракт генерує подію, яку приймає мережа доказів Succinct і створює SNARK-доказ, що активи дійсно заблоковані. Після підтвердження цього доказу верифікаційним контрактом на ланцюгу, Sequencer зараховує кошти на маржинальний рахунок користувача у Lighter L2. Далі, стан L2 (стан книги ордерів, баланси тощо) надсилається у шар доступності даних (DA) для подальшої перевірки. Протягом усього процесу активи ніколи не залишають L1, що гарантує безпеку. Ще важливіше, якщо користувач стикається з цензурою або виникають проблеми на L2, він може скористатися механізмом аварійного виходу, подавши запит на вихід безпосередньо на L1. Користувач ініціює транзакцію виходу на L1, DA надає стан і включає доказ, а мережа Succinct перетворює цей запит на завдання для доказу і генерує SNARK-доказ. Якщо перевірка проходить успішно, Escrow-контракт примусово вивільняє кошти і повертає активи користувачу. Такий дизайн гарантує, що незалежно від ситуації на L2, користувач завжди може повернути свої активи, покладаючись на безпеку L1. Це схоже на шлях аварійного виходу у традиційних Rollup, але у випадку перенесення корисності активів і застави ця модель забезпечує більш гнучкий і стійкий до цензури механізм виходу, ще раз підкреслюючи перевагу розділення місця розташування і функції капіталу. [Оригінал англійською]