{
  "slug": "veridise",
  "name": "Veridise",
  "url": "https://veridise.com",
  "hq": "Austin, Texas, United States",
  "focus": "Formal methods and static analysis for ZK (Picus, ZK Vanguard, LLZK); no public LLM tooling",
  "summary": "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.",
  "why_first": "",
  "services": [
    "ZK circuit audits",
    "Automated underconstraint detection",
    "Smart-contract audits"
  ],
  "tools": [],
  "evidence": [
    [
      "Veridise",
      "https://veridise.com"
    ]
  ],
  "fit": [
    "Choose Veridise for solver-based circuit checks; pair with an AI tool for logic bugs."
  ],
  "rank": 12,
  "page": "https://agentsast.com/firms/veridise/",
  "updated": "2026-09-13"
}