Команда Lighter недавно совершила крупный шаг: их постоянные и спотовые аудиты ZK Circuit наконец завершились, и код официально стал открытым. Говоря прямо, это делает логику верификации прозрачной.

Вот в чём суть — теперь пользователи могут независимо проверять каждое действие Лайтера на Ethereum L2, полностью верифицируя код. Действительно ли ваш неожиданный ордер подвешен, действительно ли отменённый заказ отозван и соответствует ли ликвидация...... Можно проверить по карте. Разработчики могут напрямую зайти на GitHub, чтобы получить скрипты и создать собственный процесс верификации генерации.

Такой подход на самом деле довольно редок. Доказательства с нулевой информацией изначально были техническим порогом уровня L2, а возможность полностью открыть исходный код для обзора сообществом показывает, что команда по-прежнему уверена в его реализации. Чем больше прозрачности, тем больше уверенности у пользователей. Это также редкий учебный ресурс для разработчиков, желающих узнать больше о механизме верификации L2.