Veridise

Veridise is an innovative blockchain security company founded in 2021 by a team of world-class academics from the University of Texas at Austin's UToPiA research group. The company specializes in comprehensive smart contract audits and blockchain security services powered by formal methods and cutting-edge academic research.

Core Services and Products

Veridise provides industry-leading blockchain security audits across all verticals of the Web3 ecosystem, including smart contracts, zero-knowledge circuits, blockchain implementations, DeFi protocols, NFT security, Web3 wallets, and L1/L2 blockchain audits. The company has completed over 150 audits and identified more than 100 high-severity vulnerabilities that other security firms missed. Their proprietary AuditHub platform offers clients real-time transparency throughout the audit process, allowing them to track progress, access detection tool results instantly, and validate fixes collaboratively with auditors.

Key Strengths and Technology

What sets Veridise apart is their unique combination of academic rigor and practical industry expertise. The company's foundation lies in formal methods within computer science, with many team members holding PhDs and contributing to blockchain security research before joining. Around half of the 35+ member team focuses on building in-house vulnerability detection tools rather than conducting audits directly. These proprietary tools include Vanguard (static analysis for smart contracts and ZK circuits), OrCa (specification-guided fuzzer), Picus (ZK proof auditing), and ZK Vanguard (ZK static analyzer). The company is recognized as an industry leader in zero-knowledge circuit audits, having audited critical ZK infrastructure protocols like RISC Zero, Linea, Succinct, and Semaphore.

Notable Clients and Projects

Veridise has audited some of the most critical protocols in the blockchain space with billions of dollars in Total Value Locked (TVL). Notable clients include RISC Zero (ZK-VM security), Linea (ZK rollup), o1Labs (o1js codebase), Ankr (as regular retainer), AlloyX, and Daimo. Client testimonials consistently praise Veridise's thoroughness, professionalism, and ability to identify vulnerabilities that other audit firms missed.

Why Choose Veridise

Organizations choose Veridise for their comprehensive security assessment combining world-class security experts with industry-leading tooling that uncovers otherwise undetectable bugs. The integration of latest research advancements from academia, complete coverage across nearly every vertical of the blockchain industry from 100+ audit experience, and confidential report ownership (clients fully own reports upon completion) make Veridise a trusted partner. The company's five-step audit process includes assessment, review with proprietary tools, detailed reporting, fixes review, and final report delivery, ensuring thorough security validation throughout.