Veridise

• Name: Veridise
• URL: https://veridise.com/
• Category: smart-contract and zero-knowledge security / formal-methods audit firm / blockchain-security tooling
• Summary: Veridise is a real formal-methods-heavy security shop with a real ZK niche. The note matters because the firm ships circuit-analysis tooling and an AuditHub workflow, not because it needs to be inflated into a universal security anchor.
• What it does:
  • Performs smart-contract, blockchain, and zero-knowledge audits for protocols, infrastructure teams, and cryptography-heavy projects
  • Develops in-house vulnerability-detection tools including static analysis, fuzzing, and ZK-circuit determinism tooling
  • Positions itself as a specialist in zero-knowledge security, with public case studies and client references spanning zkVMs, ZK DSLs, and privacy protocols
  • Publishes AuditHub client tooling that exposes an API / CLI workflow for uploading versions, starting analysis tasks, monitoring them, and retrieving findings
  • Maintains a public GitHub org with security research, ZK tooling, and AuditHub-related repositories
• Key claims:
  • The homepage says Veridise has completed 150+ audits with a 35+ person team and highlights formal-methods roots plus in-house tooling as its core differentiator
  • The ZK audit page says Veridise audits circuits and dapps across frameworks like Circom, Halo2, Nova, Plonky2, and gnark, and names customers such as RISC Zero, Linea, o1Labs, Succinct, and Semaphore
  • The tooling page documents in-house products including Vanguard, OrCa, ZK Vanguard, and Picus, which suggests Veridise should be cataloged as security tooling infrastructure as well as an audit provider
  • The GitHub org and AuditHub client README show a concrete programmatic surface for creating versions, starting static-analysis or Picus tasks, monitoring them, and pulling logs through an authenticated API/CLI flow
  • The open repositories also show research and tool-building activity around ZK security rather than only marketing-led consulting
• Whitepaper: No single canonical Veridise company whitepaper or litepaper surfaced in this pass. The clearest current source of truth is Veridise’s official site, ZK audit and tools pages, and the GitHub / AuditHub client materials collected in ../whitepapers/veridise-primary-sources-2026-04-27.md.
• Sources:
  • https://veridise.com/
  • https://veridise.com/audits/zk/
  • https://veridise.com/security/tools/
  • https://github.com/Veridise
  • https://raw.githubusercontent.com/Veridise/AuditHub-Client/main/README.md

Internal linkages

• Best upward reads: certora, trail-of-bits, and runtime-verification.

Control surface

• The interesting leverage sits in circuit-analysis tooling, automated audit workflow defaults, and which formal-methods-heavy checks Veridise turns into reusable product surface.

• Read it as a ZK-and-formal-methods specialist, not as a generic security-market hub.

• Last reviewed: 2026-05-31 UTC