Trail of Bits

4.9/5 Founded 2012 Team: 100+ $$$

About

Trail of Bits is a New York-based security research and consulting firm with one of the deepest cryptography practices in the industry. Its team has audited ZK circuits, provers, and protocol implementations across the ecosystem, and its 'Frozen Heart' research disclosed weak Fiat-Shamir vulnerabilities across multiple proof system implementations in 2022. The firm also builds and open-sources ZK security tooling, including the Circomspect static analyzer and the ZKDocs cryptography reference. Nearly all of its public reports are published in a single GitHub repository.

Specialties

zk circuits cryptography circom static analysis protocol review tooling

Supported Chains

circom halo2 zkvm evm generic

Notable Audits

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

Turnaround

4-10 weeks

Team Size

100+

Public Reports

Yes

Need an audit?

We can introduce you to Trail of Bits

Request Introduction