TropicalDog17/lighter-prover

Audit reports can be found at https://docs.lighter.xyz/security/security-audits