Veridise

4.8/5 Founded 2021 Team: 20-50 $$

About

Veridise is an Austin-based security firm founded by formal methods researchers from UT Austin, specializing in automated analysis of blockchain and ZK systems. Its public discovery of a missing constraint in the circom-pairing library (used by Succinct's Telepathy light client) is one of the best-known pre-exploit ZK bug catches. Veridise builds and open-sources ZK verification tooling, most notably the Picus under-constrained circuit detector, and combines tool-assisted analysis with manual circuit review.

Ratings are an editorial judgment, not a hiring instruction. How the score is built.

Guides for this kind of review

Specialties

zk circuits formal verification circom halo2 static analysis

Supported Chains

circom halo2 zkvm evm generic

Notable Audits

circom-pairing / Succinct Telepathy (missing constraint disclosure, 2023)

Turnaround

3-8 weeks

Team Size

20-50

Public Reports

Need an audit?

We can introduce you to Veridise

Request Introduction