Veridise
Direct answerVeridise builds Picus, the standard SMT underconstraint detector, and LLZK, the shared ZK intermediate representation released as v1.0 in April 2026 with an Ethereum Foundation grant. It has used LLZK and Picus to verify SP1 core operations and RISC Zero circuits and offers audits through its AuditHub platform.
- Website
- https://veridise.com
- Headquarters
- Austin, Texas, United States
- Focus
- Automated ZK verification: Picus, LLZK, ZKAP; AuditHub platform; verified SP1 and RISC Zero components
- Index position
- #3 of 11
- Founded
- 2022
Services
- Automated underconstraint detection on Circom, Halo2, Plonky3 and gnark via Picus and LLZK
- ZK and smart-contract audits
- Custom static analysis and verification tooling
Frameworks this firm builds or uses
Public evidence
Best fit
Choose Veridise for fast, automatic coverage of a large existing circuit codebase, and as a route from automatic checks into proof backends via LLZK.
Other firms on this index
zkSecurity, Galois, Nethermind (Formal Verification team), Formal Land, Cryspen, Reilabs, Runtime Verification, Certora, Trail of Bits, Symbolic Software