Trail of Bits: formal verification services for cryptography and ZK
===================================================================

Trail 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
Services: ZK and cryptography audits | Static analysis tooling (Circomspect) | Implementation of post-quantum algorithms (pyca/cryptography)
Tools: Circomspect
Evidence: https://github.com/trailofbits/circomspect

Source page: https://sorryfree.com/firms/trail-of-bits/
Compiled by: sorryfree editors (https://sorryfree.com/about/)
Last reviewed: 2026-09-13