Vendor
Veridise
Smart contract and zero-knowledge audits backed by formal methods and in-house tools
About
Veridise Inc. is a blockchain security company that grew out of the UToPiA research group at the University of Texas at Austin, which works on program analysis, verification and synthesis. It offers smart contract audits, DeFi audits, audits of layer 1 and layer 2 blockchains, zero-knowledge circuit audits, zkVM and zkVM application audits, reviews of Web3 wallets and integrations, NFT security, security proofs for cryptographic protocols, architecture reviews and security research. Its audits combine manual code review by security professionals with in-house tools: OrCa, a specification-guided fuzzer, Vanguard, a static analyzer for smart contracts and ZK circuits, and Picus, a tool that finds bugs in arithmetic circuits. The company also operates AuditHub, a platform built around these tools. Its archive states experience with zero-knowledge languages and proving systems such as Circom, Halo2, Plonky2, o1js, Zirgen and gnark, and with ZK rollups on Ethereum. Dedicated audit pages cover Solidity and EVM code, Arbitrum, Base, Optimism, Polygon and Soroban, and many client reports are published in its audits archive.
At a glance
- Originated in a program analysis research group at UT Austin
- Audits smart contracts, ZK circuits, zkVMs and L1/L2 blockchains
- Uses its in-house tools OrCa (fuzzer), Vanguard (static analyzer) and Picus (ZK circuits)
- Operates the AuditHub platform
- Publishes client reports in an online audits archive
- Services
- Audit
- Languages
- Solidity
- Public audit reports
- veridise.com(opens in a new tab)
Veridise: frequently asked questions
- What services does Veridise offer?
- According to its public information, Veridise offers: Audit.
- Which blockchains does Veridise work with?
- Veridise works with Ethereum, Arbitrum, Optimism, Base, and Polygon.
- Which smart contract languages does Veridise use?
- Veridise works with Solidity.
- Is Veridise verified on smart-contract.com?
- Not yet. This listing was compiled from public information and Veridise has not claimed it or gone through the vetting process of smart-contract.com.
- How can I get a quote from Veridise?
- Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.
Where this information comes from
This listing was compiled from the public pages below and last reviewed on September 24, 2026. The company has not claimed it yet, is not a partner of smart-contract.com and has not been vetted.
Describe your project once. Compare with confidence.
Get comparable quotes from vetted developers, then secure your code with an independent auditor.
Free for clients. No commitment.