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.

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