ZK Audit Firms

Firms with demonstrated circuit and proving-system audit experience. Compare expertise, track record, and pricing.

Trail of Bits

$$$ 4.9/5

Founded 2012

zk circuits cryptography circom

Notable audits

Scroll zkEVM (wave of pre-mainnet circuit audits), Frozen Heart coordinated disclosures (research, 2022)

Veridise

$$ 4.8/5

Founded 2021

zk circuits formal verification circom

Notable audits

circom-pairing / Succinct Telepathy (missing constraint disclosure, 2023)

zkSecurity

$$$ 4.8/5

Founded 2023

zk circuits cryptography proof systems

Notable audits

Aleo (snarkVM ecosystem audits)

ABDK Consulting

$$ 4.6/5
cryptography zk circuits cryptanalysis

Notable audits

zkSync (Matter Labs, early circuit and contract audits), Uniswap v3 (core review)

Least Authority

$$$ 4.5/5

Founded 2011

cryptography zk circuits protocol review

Notable audits

Zcash ecosystem audits, Ethereum 2.0 specification review

Zellic

$$$ 4.8/5

Founded 2020

zk circuits smart contracts bridges

Notable audits

Scroll zkEVM (pre-mainnet circuit audits), LayerZero

PSE Security (Privacy & Scaling Explorations)

$ 4.6/5
zk circuits circom halo2

Notable audits

Semaphore, MACI, TLSNotary

Nethermind Security

$$ 4.5/5

Founded 2017

cairo starknet formal verification

Notable audits

OpenZeppelin

$$$ 4.8/5

Founded 2015

smart contracts protocol review evm

Notable audits

ZKsync Era (smart contract audits), Compound, Coinbase

Cantina (Spearbit)

$$ 4.7/5

Founded 2021

smart contracts audit competitions researcher network

Notable audits

Hexens

$$ 4.4/5

Founded 2021

smart contracts zk rollup contracts bridges

Notable audits

KALOS

$$ 4.5/5

Founded 2018

zk circuits halo2 circom

Notable audits

Scroll zkEVM (pre-mainnet circuit audits)

OtterSec

$$ 4.6/5

Founded 2022

smart contracts zkvm bridges

Notable audits

Wormhole ecosystem

Consensys Diligence

$$$ 4.6/5

Founded 2016

smart contracts protocol review evm

Notable audits

0x Protocol, Uniswap (early versions)