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.

Latest Reports

Our most recent security audits

Latest

Audit of PeerDAS KZG libraries

September 9th, 2025

BLS KZG
Latest

Audit of Self: Aadhaar Circuits

September 9th, 2025

Circom Aadhaar ZK
Latest

Audit of Lighter's Block Circuits

August 4th, 2025

Circuits plonky2 Rollup Exchange

All Reports

Audit of PeerDAS KZG libraries

September 9th, 2025

BLS KZG

Audit of Self: Aadhaar Circuits

September 9th, 2025

Circom Aadhaar ZK

Audit of Lighter's Block Circuits

August 4th, 2025

Circuits plonky2 Rollup Exchange

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

June 17th, 2025

circuits circom solidity

Audit of Aleo Upgradability Update

June 14th, 2025

Protocols Upgrades

Audit of dstack

May 26th, 2025

tee tdx dstack

Audit of Zeko's circuits

May 21, 2025

mina ocaml pickles kimchi +2 more

Audit of Renegade's Solidity Contracts and Malleable Matches

May 7th, 2025

Circuits Smart Contracts Plonk MPC +1 more

Audit of the Rust p256 Crate

April 7th, 2025

Rust P256 Elliptic Curve Field Arithmetic

Audit of RiscZero Helios

April 2, 2025

RiscZero Helios Across zkVM +1 more

Audit of Aleph Zero Shielder

March 25th, 2025

Shielded Pool Halo2 Circuit Solidity +1 more

Audit of Risc0 Solana Programs: Verifier/Ownable/Router

March 20, 2025

solana risc0

Audit of Self

January 22nd, 2025

circuits circom solidity TEE +4 more

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 +1 more

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 +1 more

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 +1 more

Audit of Linea's gnark std

May 20th, 2024

circuits gnark plonk kzg +1 more

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 +1 more

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