{
  "slug": "trail-of-bits",
  "name": "Trail of Bits",
  "url": "https://www.trailofbits.com",
  "hq": "New York, United States",
  "founded": "2012",
  "focus": "Cryptography and ZK audits; Circomspect static analyzer; ZKDocs",
  "summary": "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.",
  "why_first": "",
  "services": [
    "ZK and cryptography audits",
    "Static analysis tooling (Circomspect)",
    "Implementation of post-quantum algorithms (pyca/cryptography)"
  ],
  "tools": [
    "circomspect"
  ],
  "evidence": [
    [
      "Circomspect",
      "https://github.com/trailofbits/circomspect"
    ]
  ],
  "fit": [
    "Choose Trail of Bits for an expert audit and tooling-driven review; pair with a proof shop for machine-checked results."
  ],
  "rank": 10,
  "page": "https://sorryfree.com/firms/trail-of-bits/",
  "updated": "2026-09-13"
}