Lighter: Os zk circuits de trading perpétuo e spot foram auditados e oficialmente open source

De acordo com a Odaily, a equipe da Lighter anunciou na plataforma X que seus zk circuits para negociação perpétua e à vista passaram por auditoria e agora são oficialmente open source. A equipe publicou o código completo de verificação, permitindo que partes externas verifiquem de forma independente se cada ordem, cancelamento e liquidação no Lighter L2 na Ethereum são autênticos e válidos. Desenvolvedores podem usar o script de construção no GitHub para gerar o ZkLighterVerifier e realizar a verificação de consistência com os contratos já implantados na Ethereum.