Audit Reports

Best-effort security assessments. Not all reports are listed.

Audit of Zeko's circuits, sequencer and DA layer

New

Zeko · June 3rd, 2026 · Pickles, Kimchi, Recursive Proofs +5

Aleo Dynamic Dispatch

New

Aleo · November 19th, 2025 · Poseidon, Schnorr, Merkle Trees +1

SnarkVM ECDSA and Serialization Instructions

New

Aleo · October 6th, 2025 · ECDSA, secp256k1, Keccak +3

Audit of Aptos Confidential Assets

Aptos Labs · March 26th, 2026 · Twisted ElGamal, Bulletproofs, Sigma Protocols +8

Audit of Mina's Decentralised Treasury

Mina · April 28th, 2026 · Poseidon, Merkle Trees, o1js +1

Audit of the Stwo-Cairo Verifier

StarkWare · August 6th, 2025 · Circle STARK, STARK, FRI +6

Audit of Aptos Encrypted Mempool

Aptos · March 13th, 2026 · Witness Encryption, Threshold Encryption, IBE +8

Audit of INTMAX's zERC20

INTMAX · December 8th, 2025 · Nova, Groth16, Poseidon +6

Audit of Aleo Multisig Wallet and its usage in Compliant Stablecoin and Bridges

Aleo Foundation · December 1st, 2025 · ECDSA, Threshold Signatures, Shamir Secret Sharing +5

Audit of Lighter's Spot Market Circuits and Multi-Asset Support

Lighter · November 24th, 2025 · Plonky2, Poseidon, Goldilocks +4

Audit of Hyperlane's Aleo Integration

Hyperlane · November 17th, 2025 · ECDSA, Keccak, BHP256 +3

Audit of Lighter's Exit Hatch

Lighter · November 5th, 2025 · Plonky2, PLONK, BN254 +9

Audit of Celestia's RSEMA1D Codec

Celestia · October 20th, 2025 · Reed-Solomon, Data Availability, ZODA +1

Audit of Tongo

FatSolutions · October 13th, 2025 · Sigma Protocols, Zether, Homomorphic Encryption +3

Audit of Lighter's Wrapper Circuits

Lighter · October 10th, 2025 · Plonky2, PLONK, BN254 +6

Solana Confidential Transfers

Anza · September 16th, 2025 · Twisted ElGamal, ElGamal, Bulletproofs +4

Audit of Self: Aadhaar Circuits

Self · September 9th, 2025 · RSA, SHA-256, Poseidon +5

Audit of PeerDAS KZG libraries

Ethereum Foundation · September 9th, 2025 · BLS, BLS12-381, KZG +2

Audit of Lighter's Block and Delta Layers

Lighter · September 8th, 2025 · Plonky2, Merkle Trees, Circuits

Audit of Lighter's Block Circuits

Lighter · August 4th, 2025 · Plonky2, BN254, Poseidon +5

Audit of Self EU ID cards Circuits, OFAC Checks, and Smart Contracts

Celo · June 17th, 2025 · Groth16, RSA, RSA-PSS +7

Audit of Aleo Upgradability Update

Aleo · June 14th, 2025 · Schnorr, Aleo, Upgradability

Audit of dstack

Phala Network · May 26th, 2025 · TEE, TDX, Remote Attestation +2

Audit of Zeko's circuits

Zeko · May 21, 2025 · Pickles, Kimchi, Recursive Proofs +5

Audit of Renegade's Solidity Contracts and Malleable Matches

Renegade · May 7th, 2025 · PLONK, Poseidon, ElGamal +6

Audit of the Rust p256 Crate

NEAR · April 7th, 2025 · ECDSA, P-256, Field Arithmetic +1

Audit of RiscZero Helios

RiscZero · April 2, 2025 · Groth16, BLS, SHA-256 +5

Audit of Aleph Zero Shielder

Aleph Zero · March 25th, 2025 · Halo2, Poseidon, BN254 +4

Audit of Risc0 Solana Programs: Verifier/Ownable/Router

Risc0 · March 20, 2025 · Groth16, BN254, Pairings +2

Aztec TGE Contract Audit

Aztec · February 24th, 2025 · Solidity, EVM, TGE +1

Audit of Self

Celo · January 22nd, 2025 · Groth16, RSA, RSA-PSS +12

Audit of Demox Labs - Token Disbursement Program

Demox Labs · December 2, 2024 · Aleo, Vault

Audit of Renegade's Atomic Settlement Feature

Renegade · October 21, 2024 · PLONK, Poseidon, ElGamal +6

Audit of Herodotus' Integrity - A Cairo Verifier compatible with Starknet written in Cairo 1

Herodotus · September 23rd, 2024 · STARK, FRI, Cairo AIR +5

Audit of Hinkal Protocol Smart Contracts and Circom Circuits

Hinkal · September 6th, 2024 · Poseidon, Merkle Trees, Circom +1

Audit of Demox Labs - Aleo Standard Programs

Demox Labs · July 22, 2024 · Aleo, Staking, Token

Audit of Zorp - Schnorr signatures over the Cheetah curve and Tip5 hash function

Zorp · July 18, 2024 · Schnorr, Tip5, Goldilocks +3

Audit of Aztec Foreign Field Arithmetic (Bigfield)

Aztec · July 1st, 2024 · BN254, secp256k1, ECDSA +3

Audit of Linea Wizard's crypto/ & math/

Linea · June 17th, 2024 · RingSIS, Vortex, BLS12-377 +4

Audit of Aleo ARC-0041

Aleo · June 10th, 2024 · Schnorr, Aleo, Circuits

Audit of zk-email

Ethereum Foundation · May 27, 2024 · SHA-256, Keccak, Circom +3

Audit of Linea's gnark std

Linea · May 20th, 2024 · PLONK, KZG, Fiat-Shamir +3

Audit of Matter Labs' Era Consensus

Matter Labs · April 22, 2024 · BLS, BN254, Consensus +1

Audit of Aleo Puzzle

Aleo · April 8th, 2024 · ChaCha20, SHA-2, Merkle Trees +2

Audit of Aleo ARC-0037

Aleo · March 18th, 2024 · Schnorr, Aleo, Circuits

Audit of Renegade's Circuits and Smart Contracts

Renegade · February 26, 2024 · PLONK, Poseidon, ElGamal +6

Audit of Darkfi contracts

DarkFi · February 19th, 2024 · Halo2, Pallas/Vesta, Schnorr +7

Audit of Lighter's zkLighter Circuits

Lighter · January 22nd, 2024 · MiMC, Merkle Trees, gnark +1

Audit of Aleo's consensus

Aleo · October 30th, 2023 · Consensus, BFT, Aleo

Audit of Silent Protocol Circuits

Silent Protocol · October 13th, 2023 · Groth16, Baby Jubjub, ElGamal +7

Audit of Aleo's synthesizer

Aleo · October 2nd, 2023 · Varuna, Poseidon, Pedersen +6

Audit of Reclaim Protocol's ChaCha20 Circuit

Reclaim Protocol · September 23rd, 2023 · Groth16, ChaCha20, Circom +2

Audit of Mysten Labs' zkLogin circuits and ceremony

Mysten Labs · September 11th, 2023 · Groth16, BN254, RSA +5

Audit of Penumbra's Circuits

Penumbra · July 28th, 2023 · Groth16, BLS12-377, Decaf377 +6

Audit of Silent Protocol Smart Contracts

Silent Protocol · July 7th, 2023 · Groth16, BLS, Baby Jubjub +7