# Veridise

> Veridise is an Austin-based blockchain security company spun out of the UToPiA program-analysis research group at the University of Texas at Austin. It hardens Web3 by pairing expert human auditors with proprietary tools built on formal methods, fuzzing and program analysis. Veridise audits smart contracts, zero-knowledge circuits, blockchain implementations and dApps, and has completed 150+ audits for infrastructure protocols including Scroll, Linea, Succinct, Manta Network, RISC Zero and Semaphore.

- **Founded:** 2021
- **Headquarters:** Austin, Texas, United States
- **Founders:** Isil Dillig (Co-Founder & President; UT Austin CS Professor), Jon Stephens (Co-Founder & CEO)
- **Team size:** ~24 employees
- **Products:** Smart Contract Audits, Zero-Knowledge (ZK) Audits, Blockchain / L1-L2 Audits, Picus, Vanguard / ZK Vanguard
- **Notable:** Completed 150+ blockchain security audits across smart contracts, ZK circuits and protocol implementations., Raised $4.7M seed round led by Polychain Capital (2022)., Built proprietary tooling (Picus, Vanguard, OrCa) grounded in peer-reviewed academic research.

## Products & services

- **Smart Contract Audits** — Expert security audits of Solidity and other smart contracts, combining manual review with proprietary program-analysis tooling.
- **Zero-Knowledge (ZK) Audits** — Audits of ZK circuits and cryptographic primitives, specializing in detecting underconstrained circuits and private-input leakage.
- **Blockchain / L1-L2 Audits** — Security review of blockchain implementations and L1/L2 protocol infrastructure.
- **Picus** — A ZK tool that automatically detects underconstrained circuits using a two-phase process of lightweight static analysis plus solver-based reasoning, generating concrete inputs that break constraints.
- **Vanguard / ZK Vanguard** — Static analyzers that flag smart contract vulnerabilities (reentrancy, unsafe token transfers) and common ZK issues (underconstrained circuits, private input leakage).
- **OrCa Fuzzer** — A specification-guided (oracle-guided) fuzzer for Ethereum smart contracts driven by user-defined temporal properties.
- **AuditHub** — A platform for professional blockchain audit firms that lets them deliver formal verification results - mathematical proofs that vulnerability classes are absent - rather than only point-in-time PDF reports.

## Achievements

- Completed 150+ blockchain security audits across smart contracts, ZK circuits and protocol implementations.
- Raised $4.7M seed round led by Polychain Capital (2022).
- Built proprietary tooling (Picus, Vanguard, OrCa) grounded in peer-reviewed academic research.
- Trusted by leading ZK infrastructure protocols including Scroll, Linea, Succinct, RISC Zero and Semaphore.
- Launched AuditHub, a platform enabling audit firms to deliver formal-verification-backed results.

## Latest updates

- **2025** — Launched AuditHub, a platform for professional blockchain audit firms to deliver formal verification results rather than static PDF reports.
- **2023** — Advanced its ZK security research into production tools Picus and ZK Vanguard for detecting underconstrained circuits.

## Links

- Website: https://veridise.com
- LinkedIn: https://www.linkedin.com/company/veridise/
- Twitter/X: https://x.com/VeridiseInc
- GitHub: https://github.com/Veridise
- YouTube: https://www.youtube.com/@veridise

---

Profile page: https://yespress.io/veridise
Published by YesPress — https://yespress.io
Last updated: 2026-07-17