Audit Reports

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

Audit of the Stwo-Cairo Verifier

New

StarkWare · August 6th, 2025 · STARK, Cairo

Audit of Aptos Confidential Assets

New

Aptos Labs · March 26th, 2026 · aptos, sigma-protocols, fiat-shamir +2

Audit of INTMAX's zERC20

New

INTMAX · December 8th, 2025 · circuits, solidity, private transfers +2

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

Lighter · November 24th, 2025 · Circuits, plonky2, Rollup +1

Audit of Lighter's Exit Hatch

Lighter · November 5th, 2025 · Circuits, plonky2, Rollup +1

Audit of Celestia's RSEMA1D Codec

Celestia · October 20th, 2025 · Data Availability, DA, ZODA +2

Audit of Tongo

FatSolutions · October 13th, 2025 · cairo, starknet, sigma protocol +2

Audit of Lighter's Wrapper Circuits

Lighter · October 10th, 2025 · Circuits, plonky2

Solana Confidential Transfers

Anza · September 16th, 2025 · solana, sigma, zether +1

Audit of Self: Aadhaar Circuits

Self · September 9th, 2025 · Circom, Aadhaar, ZK +1

Audit of PeerDAS KZG libraries

Ethereum Foundation · September 9th, 2025 · BLS, KZG, DA +1

Audit of Lighter's Block and Delta Layers

Lighter · September 8th, 2025 · Plonky2, circuits

Audit of Lighter's Block Circuits

Lighter · August 4th, 2025 · Circuits, plonky2, Rollup +1

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

Celo · June 17th, 2025 · circuits, circom, solidity +1

Audit of Aleo Upgradability Update

Aleo · June 14th, 2025 · Protocols, Upgrades

Audit of dstack

Phala Network · May 26th, 2025 · tee, tdx, dstack

Audit of Zeko's circuits

Zeko · May 21, 2025 · mina, ocaml, pickles +3

Audit of Renegade's Solidity Contracts and Malleable Matches

Renegade · May 7th, 2025 · Circuits, Smart Contracts, Plonk +2

Audit of the Rust p256 Crate

NEAR · April 7th, 2025 · Rust, P256, Elliptic Curve +1

Audit of RiscZero Helios

RiscZero · April 2, 2025 · RiscZero, Helios, Across +2

Audit of Aleph Zero Shielder

Aleph Zero · March 25th, 2025 · Shielded Pool, Halo2, Circuit +2

Audit of Risc0 Solana Programs: Verifier/Ownable/Router

Risc0 · March 20, 2025 · solana, risc0

Audit of Self

Celo · January 22nd, 2025 · circuits, circom, solidity +6

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 · Circuits, Smart Contracts, Plonk +2

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

Herodotus · September 23rd, 2024 · Cairo, STARK, FRI

Audit of Hinkal Protocol Smart Contracts and Circom Circuits

Hinkal · September 6th, 2024 · Smart Contracts, Circom

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 · zorp, hoon, goldilocks +2

Audit of Aztec Foreign Field Arithmetic (Bigfield)

Aztec · July 1st, 2024

Audit of Linea Wizard's crypto/ & math/

Linea · June 17th, 2024 · RingSIS, Vortex, zkEVM +1

Audit of Aleo ARC-0041

Aleo · June 10th, 2024 · Aleo, Circuits

Audit of zk-email

Ethereum Foundation · May 27, 2024 · Circuits, Circom, ZK compiler +2

Audit of Linea's gnark std

Linea · May 20th, 2024 · circuits, gnark, plonk +2

Audit of Matter Labs' Era Consensus

Matter Labs · April 22, 2024 · Consensus, bft

Audit of Aleo Puzzle

Aleo · April 8th, 2024 · Consensus

Audit of Aleo ARC-0037

Aleo · March 18th, 2024 · Circuits

Audit of Renegade's Circuits and Smart Contracts

Renegade · February 26, 2024 · Circuits, Smart Contracts, Plonk +1

Audit of Darkfi contracts

DarkFi · February 19th, 2024 · Circuits, Contracts, Proof Composition +2

Audit of Lighter's zkLighter Circuits

Lighter · January 22nd, 2024 · Circuits, gnark

Audit of Aleo's consensus

Aleo · October 30th, 2023 · Consensus, bft

Audit of Silent Protocol Circuits

Silent Protocol · October 13th, 2023 · Smart Contracts, Groth16 Verifier, zether +1

Audit of Aleo's synthesizer

Aleo · October 2nd, 2023 · Circuit Synthesizer, Frontend, Proof Composition

Audit of Reclaim Protocol's ChaCha20 Circuit

Reclaim Protocol · September 23rd, 2023 · Circuits, Circom, tls

Audit of Mysten Labs' zkLogin circuits and ceremony

Mysten Labs · September 11th, 2023 · Setup Ceremony, Circuits, Circom +2

Audit of Penumbra's Circuits

Penumbra · July 28th, 2023 · Circuits, arkworks

Audit of Silent Protocol Smart Contracts

Silent Protocol · July 7th, 2023 · Smart Contracts, Groth16 Verifier, zether