мы только что закончили обзор проекта, поэтому вот короткая нить о @Lighter_xyz 🧵
Я быстро взглянул на контракты @Lighter_xyz, и первое впечатление очень хорошее! Очень захватывающе. Они немного напоминают смесь zksync и доброго старого dydx. Надеюсь, на следующей неделе у нас будет полный обзор на @l2beat. Преимущества использования rollup по сравнению с HL здесь довольно очевидны :)
первая большая разница между lighter и недавней волной perp цепей заключается в использовании zk доказательств. мост, который удерживает более 1 миллиарда долларов, позволяет выводить средства только после того, как это было доказано фиксированной программой. из-за этого валидаторы не могут просто подписать недействительный вывод, чтобы украсть средства.
Плохая новость в том, что программа, проверяемая с помощью zk-доказательств, недоступна в открытом исходном коде, поэтому в настоящее время невозможно проверить, правильно ли цепочка реализует свою бизнес-логику. Команда сообщила нам, что работает над тем, чтобы сделать это публичным в течение 1-2 недель.
предполагая, что программа хороша, zk-доказательства сами по себе недостаточны для предотвращения потери средств. например, централизованный секвенсор может цензурировать ваши запросы на вывод средств или ваши запросы на отмену заказа. к счастью, @Lighter_xyz реализует принудительные транзакции через L1.
если какой-то пользователь не может включить свою транзакцию, отправив её к секвенсеру, он может принудительно провести её через L1, унаследовав полное сопротивление цензуре. у секвенсера теперь есть два варианта: либо он включает транзакцию, и все счастливы, либо проект вынужден закрыться.
да, вы прочитали это правильно: секвенсер теперь имеет сильный стимул включать все запросы, в противном случае система может быть переведена в "режим пустыни", т.е. отключена. Принудительные транзакции, которые секвенсер не может игнорировать, включают: вывод средств, депозиты, создание и отмену заказов.
но как пользователи могут выйти, если система отключена? вот где появляется выход: поскольку lighter является роллапом и обеспечивает доступность данных с помощью блобов, пользователи могут восстановить последнее состояние и подтвердить свои балансы для выхода. все открытые ордера рассчитываются по последней цене.
проект в настоящее время можно обновить с задержкой в 21 день, но такую задержку можно сократить до нуля с помощью "совета безопасности", сформированного с помощью мультиподписей 3/5. Это уже само по себе предотвращает то, чтобы систему считали этапом 1. Команда сообщила о планах улучшить эту настройку.
другая проблема возникает из-за индексных цен. внешние оракулы, используемые проектом, в настоящее время не аутентифицированы должным образом, и секвенсер полностью доверен для их корректной отчетности. это критическая уязвимость, которую команда выразила намерение устранить.
в конце концов, из контрактов совершенно ясно, что команда сильно вдохновлялась старым @zksync lite, что хорошо! zksync lite, вместе с dYdX v3, всегда признавались как специализированные роллапы с очень хорошими моделями безопасности.
36,64 тыс.
203
Содержание этой страницы предоставляется третьими сторонами. OKX не является автором цитируемых статей и не имеет на них авторских прав, если не указано иное. Материалы предоставляются исключительно в информационных целях и не отражают мнения OKX. Материалы не являются инвестиционным советом и призывом к покупке или продаже цифровых активов. Раздел использует ИИ для создания обзоров и кратких содержаний предоставленных материалов. Обратите внимание, что информация, сгенерированная ИИ, может быть неточной и непоследовательной. Для получения полной информации изучите соответствующую оригинальную статью. OKX не несет ответственности за материалы, содержащиеся на сторонних сайтах. Цифровые активы, в том числе стейблкоины и NFT, подвержены высокому риску, а их стоимость может сильно колебаться. Перед торговлей и покупкой цифровых активов оцените ваше финансовое состояние и принимайте только взвешенные решения.