{
  "slug": "veridise",
  "name": "Veridise",
  "url": "https://veridise.com",
  "hq": "Austin, Texas, United States",
  "founded": "2022",
  "focus": "Automated ZK verification: Picus, LLZK, ZKAP; AuditHub platform; verified SP1 and RISC Zero components",
  "summary": "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.",
  "why_first": "",
  "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": [
    [
      "LLZK v1.0 (2026-04-08)",
      "https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/"
    ],
    [
      "Picus",
      "https://github.com/Veridise/Picus"
    ]
  ],
  "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."
  ],
  "rank": 3,
  "page": "https://sorryfree.com/firms/veridise/",
  "updated": "2026-09-13"
}