What Veridise does

Veridise is a blockchain and Web3 security firm that provides manual and tool-assisted security audits for smart contracts, zero-knowledge (ZK) circuits, zkVM applications, DeFi protocols, and Layer-1 / Layer-2 blockchain infrastructure. The company was founded in 2022 by academic researchers from UT Austin and UC Santa Barbara, including UT Austin CS professor Işil Dillig and her former PhD students Jon Stephens (CEO), Yu Feng, and Yanju. Its customer base includes RISC Zero, Succinct, Linea, Aztec, zkSync, Scroll, Optimism, Stellar, Manta, Semaphore (Ethereum Foundation), Ankr, o1Labs, Demox Labs, Cubist, and others across the ZK and DeFi ecosystems.

The company's core technical platform pairs human auditors with proprietary in-house tooling: Vanguard (static analyzer for smart contracts), OrCa (specification-guided fuzzer), ZK Vanguard (static analyzer for ZK circuits), and Picus (formal verification tool that mathematically proves ZK circuit constraints are sound). Approximately half the engineering team is dedicated to building these tools rather than performing audits directly. The AuditHub client-facing platform provides real-time visibility into bug discovery, analyst discussions, and remediation tracking throughout each engagement. Veridise also contributes open-source infrastructure to the ZK ecosystem, including LLZK (a low-level ZK intermediate representation on MLIR built with an Ethereum Foundation grant) and research artifacts such as Zequal and Multimod (accepted at CAV 2025).

Veridise operates an enterprise field-sales motion with quotes on a per-project basis, generating revenue primarily through one-time audit fees (smart contract, ZK, L1/L2 audits) and, increasingly, through recurring continuous-verification integrations embedded in client CI/CD pipelines (RISC Zero, Succinct) and retainer relationships (Ankr). Distribution is augmented by content marketing (technical blog, ZK Security Workshop with Secureum), Devcon and CAV conference participation, and inclusion in funded ecosystem audit programs such as the Stellar Development Foundation's Soroban Security Audit Bank. The company is headquartered in Austin, Texas, has 35+ employees, and operates globally with no publicly disclosed revenue or institutional cap-table details beyond a $4.7M seed round led by Polychain in mid-2022.

Name

Veridise

Legal name

Veridise

Website

https://veridise.com

Company type

Private

Founded year

2022

Operating status

Operating

Headcount range

11–50 employees

Short description

Veridise is a blockchain security firm that audits smart contracts, ZK circuits, zkVM applications, DeFi protocols, and L1/L2 blockchains for enterprise Web3 clients, combining manual review with proprietary formal-methods tools such as Vanguard, OrCa, ZK Vanguard, and Picus.

Ownership category

akta.pro rank

Product category

Blockchain Security Auditing Services

NAICS

Testing Laboratories and Services (541380)

SIC

Services-Testing Laboratories (8734)

akta.pro primary industry

Smart Contract Auditing & Formal Verification (FSAPAJAA)

akta.pro secondary industries

Security Testing Tooling (SAST/DAST for smart contracts, fuzzing) (FSAPAJAK), Digital Asset Risk, Security & Audit Tooling (Smart Contract Audit, Threat Monitoring) (FSAGAMAJ)

Keywords

• Smart contract audits
• Blockchain security
• Zero knowledge audits
• Formal verification
• Zk circuit audits

Headquarters

HQ city

Austin

HQ country

United States

HQ region

North America

Markets served

GTM type

B2B

Offering type

Services

Cost components

Personnel, Technology or R&D, Marketing or Sales, Operations, Infrastructure

Revenue model

1. Smart Contract Audits: Comprehensive security audits of blockchain and Web3 smart contract codebases, combining line-by-line manual review with proprietary tooling (Vanguard, OrCa). Deliverable is a detailed audit report identifying bugs, vulnerabilities, and recommendations for improvement.
2. ZK (Zero-Knowledge) Audits: Specialized audits for ZK circuits and zkVM applications, including formal verification using Picus. Addresses underconstrained circuits, constraint/computation discrepancies, and other ZK-specific vulnerabilities.
3. L1/L2 Blockchain Audits: Security audits for layer-1 and layer-2 blockchain protocols and infrastructure.
4. Continuous Verification (Security-as-a-Service): Ongoing security analysis integrated into CI/CD pipelines, providing continuous automated verification as codebases evolve. Clients like RISC Zero and Succinct have integrated Veridise's tools into their development workflows for continuous ZK security assurance.

Go-to-market motion1 record

Distribution channels3 records

Marketing channels9 records

Core offering

Veridise provides comprehensive blockchain security audits for smart contracts, zero-knowledge (ZK) circuits, zkVM applications, DeFi protocols, and Layer-1/Layer-2 blockchain infrastructure. Audits combine line-by-line manual code review with proprietary in-house vulnerability detection tools (Vanguard, OrCa, ZK Vanguard, Picus) and formal verification techniques. The company also offers AuditHub, a client-facing platform that provides real-time visibility into bug discovery, analyst discussions, and remediation tracking throughout the audit process.

Product overview

Veridise offers a blockchain security audit platform combined with proprietary in-house vulnerability detection tools. The core offering consists of professional auditing services (smart contracts, ZK circuits, zkVM applications, DeFi, L1/L2 blockchains) supported by four specialized tools: Vanguard (static analyzer for smart contracts), OrCa (specification-guided fuzzer), ZK Vanguard (static analyzer for ZK circuits), and Picus (formal verification tool for ZK circuit determinism). These tools are integrated into the AuditHub platform, which provides clients real-time transparency throughout the audit process. Veridise also contributes research tools like LLZK (intermediate representation for ZK languages), Zequal, and Multimod to the broader ZK ecosystem.

Differentiator

Problem solved

Functional benefit

Brands

• AuditHub: A platform developed by Veridise to facilitate all their audits, providing clients real-time insight into every step of the audit process including bug tracking, internal discussions, tooling outputs, and remediation tracking.

Products and services

• Smart Contract Audits Comprehensive security audits of blockchain smart contract codebases combining manual line-by-line review with proprietary static analysis and fuzzing tools. Deliverable is a detailed audit report identifying bugs, vulnerabilities, and recommendations.
• Zero-Knowledge (ZK) Audits Specialized audits for ZK circuits and zkVM applications, including formal verification using Picus. Addresses underconstrained circuits, constraint/computation discrepancies, and other ZK-specific vulnerabilities.
• zkVM Application Audits Security audits of zero-knowledge virtual machine (zkVM) applications and implementations, including projects like RISC Zero and Succinct SP1.
• DeFi Audits Security audits of decentralized finance (DeFi) protocols and applications, identifying vulnerabilities like reentrancy, integer overflow, and logic flaws.
• L1/L2 Blockchain Audits Security audits for layer-1 and layer-2 blockchain protocols and infrastructure, including zkEVMs, optimistic rollups, and cross-chain systems.
• Web3 Wallets and Integrations Audits Security audits for Web3 wallet implementations and their integrations with blockchain protocols and decentralized applications.
• NFT Security Audits Security audits for non-fungible token (NFT) platforms, marketplaces, and related smart contract implementations.
• Architecture Review Architecture-level security review service that evaluates the design of blockchain and Web3 systems for systemic vulnerabilities before implementation.
• Security Proofs for Cryptographic Protocols Formal mathematical proofs of correctness and soundness for cryptographic protocols and ZK circuit implementations, providing mathematical guarantees beyond heuristic analysis.
• AuditHub Platform Client-facing platform that facilitates Veridise's audit engagements by providing real-time visibility into bug discovery, internal analyst discussions, tooling outputs, and remediation tracking throughout the audit process.
• Continuous Verification (Security-as-a-Service) Subscription-based ongoing security analysis integrated into client CI/CD pipelines, providing continuous automated verification of ZK circuits and smart contracts as codebases evolve.

Quantifiable outcome

• 150+ completed audits across DeFi, Web3, ZK, L1/L2, and smart contracts
• +3 more outcomes

Named customers17 records

Segments3 records

Ideal customer profiles3 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Feature6 records

Partnerships

Seven partnerships are on record, tiered core and minor.

• Stellar Development FoundationcoreStrategic or Co-development Partner · 1 August 2025Veridise is a vetted auditor in the Soroban Security Audit Bank, an initiative by the Stellar Development Foundation to fund third-party security reviews for projects building on Soroban. Veridise has audited the Stellar Soroban Core and multiple Soroban-based projects (57Blocks, Phoenix DEX, HiYield). SDF funds qualifying projects to receive audits from vetted auditors including Veridise.
• Stanford UniversityminorStrategic or Co-development Partner · 1 August 2025Veridise collaborated with researchers at Stanford University on the Multimod paper (accepted at CAV 2025), which introduces a novel solver architecture for reasoning about mixed-modulus constraint systems in ZK circuits.
• SuccinctcoreStrategic or Co-development Partner · 1 May 2025Veridise has completed 6+ audits for Succinct and integrated its tools into Succinct's CI/CD pipeline. Veridise verified SP1 circuit determinism using Picus, enabling Succinct to achieve provable continuous ZK security. Collaboration on identifying critical bugs in Succinct's ZK circuits.
• Ethereum FoundationcoreStrategic or Co-development Partner · 1 January 2025Veridise developed LLZK (Low-Level ZK IR), a unified open-source intermediate representation for zero-knowledge languages, supported by a grant from the Ethereum Foundation. LLZK runs on MLIR and enables domain-specific optimizations for ZK circuits. Veridise researchers collaborated with the Ethereum Foundation's zkEVM Verification Project, with CTO Kostas Ferles hosting fireside chats with Ethereum Foundation researchers.
• RISC ZerocoreStrategic or Co-development Partner · 1 July 2024Veridise has conducted multiple security audits for RISC Zero (6+ audits and counting), including formal verification of their zkVM using Picus. Veridise helped RISC Zero become the first RISC-V zkVM with formal guarantees against underconstrained bugs. Veridise's tools have been integrated into RISC Zero's CI/CD pipeline for continuous automated verification. The collaboration formally verified the Keccak accelerator circuit and a significant portion of the RISC-V circuit for R0VM 2.0.
• Chainlink LabsminorStrategic or Co-development Partner · 1 January 2024Veridise announced a collaboration with Chainlink Labs to advance blockchain security, combining Veridise's formal verification tools with Chainlink's oracle infrastructure expertise.
• The DAO ProjectminorGTM or Marketing PartnerLLZK (Low-Level ZK IR, developed by Veridise) is part of The DAO Project's Security Fund's $1M funding round on Giveth, benefiting from quadratic funding from community donors.

Scale indicators4 records

Recent moves6 records

Expansion highlights6 records

Market position

Competitive moat5 records

Key risks5 records

Key highlights6 records

Customer concentration

• Xx.com/VeridiseInc
• GitHubgithub.com/Veridise
• YouTubeyoutube.com/@veridise
• LinkedInlinkedin.com/company/veridise

Revenue estimate

Valuation estimate

Number of profiles

Profiles6 records

Funding overview

Funding rounds2 records

Investors11 records

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Veridise