Lighter команда нещодавно зробила великий крок: їхній аудит zk-ланцюга для перпетуальних та спотових торгівлі нарешті завершено, код офіційно відкрито. Кажучи просто, — всі логіки верифікації стали прозорими.

Головне тут — тепер користувачі можуть через повний код верифікації незалежно перевірити кожну операцію Lighter на Ethereum L2. Чи справді ваш ордер був виставлений, чи справді скасовано ордер, чи відповідає ліквідація нормам… все можна перевірити за допомогою інструкцій. Розробники можуть безпосередньо завантажити скрипти з GitHub і самостійно побудувати процес верифікації.

Такий підхід насправді досить рідкісний. Знання нульових доказів — це технічний бар’єр для L2, і можливість повністю відкрити код ланцюга для спільноти для перевірки свідчить про впевненість команди у своїй реалізації. Чим більше прозорості, тим більше довіри у користувачів. Для розробників, які хочуть глибше зрозуміти механізми верифікації L2, це також цінне навчальне джерело.