Veridise
Direct answerVeridise is a strong ZK audit firm (RISC Zero, Linea, Succinct, Semaphore) whose tooling is formal and static (Picus, Vanguard, ZK Vanguard, OrCa, LLZK) rather than LLM-based. It is listed for teams weighing AI scanners against solver-based alternatives for circuits.
- Website
- https://veridise.com
- Headquarters
- Austin, Texas, United States
- Focus
- Formal methods and static analysis for ZK (Picus, ZK Vanguard, LLZK); no public LLM tooling
- Index position
- #12 of 12
Services
- ZK circuit audits
- Automated underconstraint detection
- Smart-contract audits
Tools this firm builds or uses
No public tooling attributed on this index.
Public evidence
Best fit
Choose Veridise for solver-based circuit checks; pair with an AI tool for logic bugs.
Other firms on this index
zkSecurity, Trail of Bits, Zellic, Nethermind Security, Sherlock, Cantina (Spearbit), Consensys Diligence, Cyfrin, OpenZeppelin, QuillAudits, Certora