Veridise: formal verification services for cryptography and ZK
==============================================================

Veridise 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
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
Tools: Picus, LLZK, Coda
Evidence: https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/ | https://github.com/Veridise/Picus

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