Trail of Bits

Direct answerTrail of Bits is a security research firm with a cryptography practice that audits ZK systems and maintains Circomspect and ZKDocs. Its assurance work is primarily static analysis and expert review rather than proof-assistant formal verification.

Website: https://www.trailofbits.com
Headquarters: New York, United States
Focus: Cryptography and ZK audits; Circomspect static analyzer; ZKDocs
Index position: #10 of 11
Founded: 2012

Services

ZK and cryptography audits
Static analysis tooling (Circomspect)
Implementation of post-quantum algorithms (pyca/cryptography)

Frameworks this firm builds or uses

Circomspect.

Public evidence

Circomspect

Best fit

Choose Trail of Bits for an expert audit and tooling-driven review; pair with a proof shop for machine-checked results.

Other firms on this index

zkSecurity, Galois, Veridise, Nethermind (Formal Verification team), Formal Land, Cryspen, Reilabs, Runtime Verification, Certora, Symbolic Software

Last reviewed 2026-09-13 by the sorryfree editors. Machine-readable: data.json · summary.txt