zkSecurity

4.8/5 Founded 2023 Team: 10-20 $$$

About

zkSecurity (zksecurity.xyz) is a boutique firm dedicated exclusively to zero-knowledge security, co-founded in 2023 by David Wong (author of Real-World Cryptography) and other engineers with backgrounds at O(1) Labs and Facebook's crypto teams. The firm audits circuits, provers, and ZK protocol designs across stacks including circom, halo2, gnark, and custom proof systems, and regularly publishes technical writeups on ZK vulnerabilities. Note: zkSecurity is an independent company and is not affiliated with this site.

Specialties

zk circuits cryptography proof systems circom halo2 gnark

Supported Chains

circom halo2 noir gnark zkvm generic

Notable Audits

Aleo (snarkVM ecosystem audits)

Turnaround

2-6 weeks

Team Size

10-20

Public Reports

Need an audit?

We can introduce you to zkSecurity

Request Introduction