Below is a selection of our audit reports for various clients. This list is not exhaustive as some of our reports remain private or are due to be published. Note that each audit was performed under time-constrained, best-effort conditions and should not be considered a formal guarantee or stamp of approval. Security is an ongoing process requiring continuous diligence and updates.
| Title | Date | Tags |
|---|---|---|
| Audit of Self EU ID cards Circuits, OFAC Checks, and Smart Contracts | June 17th, 2025 | circuits, circom, solidity |
| Audit of dstack | May 26th, 2025 | tee, tdx, dstack |
| Audit of Zeko's circuits | May 21, 2025 | mina, ocaml, pickles, kimchi, zkapp, circuits |
| Audit of Renegade's Solidity Contracts and Malleable Matches | May 7th, 2025 | Circuits, Smart Contracts, Plonk, MPC, Dark Pool |
| Audit of the Rust p256 Crate | April 7th, 2025 | Rust, P256, Elliptic Curve, Field Arithmetic |
| Audit of Aleph Zero Shielder | March 25th, 2025 | Shielded Pool, Halo2, Circuit, Solidity, TypeScript |
| Audit of Risc0 Solana Programs: Verifier/Ownable/Router | March 20, 2025 | solana, risc0 |
| Audit of Self | January 22nd, 2025 | circuits, circom, solidity, TEE, AWS Nitro, RSA, ECDSA, bigint |
| Audit of Demox Labs - Token Disbursement Program | December 2, 2024 | Aleo, Vault |
| Audit of Renegade's Atomic Settlement Feature | October 21, 2024 | Circuits, Smart Contracts, Plonk, MPC, Dark Pool |
| Audit of Herodotus' Integrity - A Cairo Verifier compatible with Starknet written in Cairo 1 | September 23rd, 2024 | Cairo, STARK, FRI |
| Audit of Hinkal Protocol Smart Contracts and Circom Circuits | September 6th, 2024 | Smart Contracts, Circom |
| Audit of Demox Labs - Aleo Standard Programs | July 22, 2024 | Aleo, Staking, Token |
| Audit of Zorp - Schnorr signatures over the Cheetah curve and Tip5 hash function | July 18, 2024 | zorp, hoon, goldilocks, cheetah, tip5 |
| Audit of Aztec Foreign Field Arithmetic (Bigfield) | July 1st, 2024 | |
| Audit of Linea Wizard's crypto/ & math/ | June 17th, 2024 | RingSIS, Vortex, zkEVM, zkVM |
| Audit of Aleo ARC-0041 | June 10th, 2024 | Aleo, Circuits |
| Audit of zk-email | May 27, 2024 | Circuits, Circom, ZK compiler, zkregex, zkemail |
| Audit of Linea's gnark std | May 20th, 2024 | circuits, gnark, plonk, kzg, fiat-shamir |
| Audit of Matter Labs' Era Consensus | April 22, 2024 | Consensus |
| Audit of Aleo Puzzle | April 8th, 2024 | Consensus |
| Audit of Aleo ARC-0037 | March 18th, 2024 | Circuits |
| Audit of Renegade's Circuits and Smart Contracts | February 26, 2024 | Circuits, Smart Contracts, Plonk, MPC |
| Audit of Darkfi contracts | February 19th, 2024 | Circuits, Contracts, Proof Composition, Synthesizer, Frontend |
| Audit of Lighter's zkLighter Circuits | January 22nd, 2024 | Circuits, gnark |
| Audit of Aleo's consensus | October 30th, 2023 | Consensus |
| Audit of Silent Protocol Circuits | October 13th, 2023 | Smart Contracts, Groth16 Verifier |
| Audit of Aleo's synthesizer | October 2nd, 2023 | Circuit Synthesizer, Frontend, Proof Composition |
| Audit of Reclaim Protocol's ChaCha20 Circuit | September 23rd, 2023 | Circuits, Circom |
| Audit of Mysten Labs' zkLogin circuits and ceremony | September 11th, 2023 | Setup Ceremony, Circuits, Circom |
| Audit of Penumbra's Circuits | July 28th, 2023 | Circuits, arkworks |
| Audit of Silent Protocol Smart Contracts | July 7th, 2023 | Smart Contracts, Groth16 Verifier |