Veridise: AI-assisted security audits for cryptography and ZK
=============================================================

Veridise 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: n/a
Evidence: https://veridise.com

Source page: https://agentsast.com/firms/veridise/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13