Lighter: zk-circuits для бессрочной и спотовой торговли прошли аудит и официально стали с открытым исходным кодом

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