Ми щойно закінчили огляд проекту, тому ось короткий тред про @Lighter_xyz 🧵

Першою великою відмінністю між легшими та нещодавньою хвилею ланцюгів PERP є використання доказів ZK. Міст, що містить понад 1 мільярд доларів, дозволяє виводити кошти лише тоді, коли це було доведено фіксованою програмою. Через це валідатори не можуть просто підписати недійсне виведення коштів, щоб вкрасти кошти.

Погана новина полягає в тому, що програма, яка доведена доказами ZK, не має доступного джерела, тому наразі неможливо перевірити, чи правильно мережа реалізує свою бізнес-логіку. Команда комунікувала з нами, що працює над тим, щоб оприлюднити це за 1-2 тижні.

Якщо припустити, що програма хороша, одних доказів ZK недостатньо, щоб запобігти втраті коштів. Наприклад, централізований секвенсер може цензурувати ваші запити на виведення коштів або ваші прохання скасувати ордер. На щастя, @Lighter_xyz реалізує примусові транзакції через L1.

якщо якийсь користувач не може включити свою транзакцію, відправивши її секвенсеру, він може примусово пройти через L1, успадкувавши повний опір цензурі. У секвенсера тепер є два варіанти: або він включає TX і всі задоволені, або проект змушений закрити.

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

Але як користувачі можуть вийти, якщо система вимкнена? Ось де на допомогу приходить евакуаційний люк: оскільки Lighter є rollup і забезпечує доступність даних за допомогою BLOB, користувачі можуть реконструювати останній стан і довести свій баланс для виходу. Усі відкриті ордери розраховуються за останньою ціною.

В даний час проект можна модернізувати із затримкою в 21 день, але така затримка може бути зведена до нуля за допомогою «Ради безпеки», сформованої за допомогою мультипідпису 3/5. Вже одне це не дозволяє розглядати систему як стадію 1. Команда повідомила про плани щодо вдосконалення цієї установки.

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

Нарешті, з контрактів цілком зрозуміло, що команда черпала натхнення зі старого @zksync Lite, і це добре! zksync lite, разом з dYdX v3, завжди були визнані роллапами для конкретних додатків з дуже хорошими моделями безпеки.