Lighter: zk-схеми для безстрокової та спотової торгівлі пройшли аудит і офіційно стали відкритим кодом

Odaily повідомляє, що команда Lighter оголосила на платформі X про завершення аудиту своїх zk circuits для перпетуальних і спотових торгів, а також про їх офіційне відкриття з відкритим вихідним кодом. Команда опублікувала повний верифікаційний код, який дозволяє зовнішнім незалежним сторонам перевіряти, чи є кожен ордер, скасування та ліквідація на Lighter L2 в мережі Ethereum дійсними та справжніми. Розробники можуть за допомогою скриптів на GitHub згенерувати ZkLighterVerifier і виконати перевірку узгодженості з уже розгорнутими контрактами в Ethereum.