The following table contains all security audit reports, arranged chronologically with the most recent audits first:
| Date | Project | Target | Framework/Language | Report Type | Links |
|---|---|---|---|---|---|
| July 2025 | Neo X ZK-DKG | L1 Neo X zk-dkg functionality | Rust, Gnark, Cryptography | Individual | Internal Report | Hacken Report |
| April 2025 | Mina Attestations | o1js circuits, credential verification | TypeScript, o1js, ZK Circuits | Collaborative | Internal Report | Hacken Report |
| February 2025 | Sig Network | Chain signatures cryptography | Solidity, Cryptography | Collaborative | Internal Report | Hacken Report |
| May 2024 | Summa Solvency A | Halo2 codebase, solvency proofs | Rust, Halo2, ZK Circuits | Mentorship | Electisec Report A |
| May 2024 | Summa Solvency B | Halo2 codebase, solvency proofs | Rust, Halo2, ZK Circuits | Mentorship | Electisec Report B |
| June 2023 | Spartan ECDSA | ECDSA verification in ZK | Circom, ZK Circuits | Group Audit | Internal Report | Electisec Report |
| June 2023 | Rate Limiting Nullifier (RLN) | Spam prevention, anonymity | Circom, ZK Circuits | Group Audit | Internal Report | Electisec Report |