Testimonials

The Veridise team was extremely detailed, helpful and collaborative during the audit and formal verification, it was a joy working with them.

Andy Guzman

Product Owner at Semaphore, Privacy and Scaling Explorations Team, Ethereum Foundation

Veridise is a highly technical and persistent team — we felt very comfortable in their hands.

chudnov

Ribbon Finance

We are super happy to have worked with Veridise. It’s clear they looked into our circuits in great detail. One of the bugs they found was critical and quite subtle, so we were impressed with their work.

Uma

Succinct

As the regular retainer of Ankr, Veridise has done an amazing job. They helped our protocols avoid very critical mistakes when other audit firms signed off and issued reports…

Ryan

Co-Founder of Ankr

Our Services

Veridise is trusted partner in security audits for all blockchain layers: We audit DeFi apps, zero-knowledge circuits, blockchain implementations, NFTs, wallets — you name it! We are trusted by leading projects such as Semaphore, Succint, Scroll, Manta, Ankr, Dogechain, Ribbon Finance and more.

Assessment

Veridise experts first assess the scope of the audit by looking at the source repository and discussing key requirements to be verified.

Review

Veridise security experts formalize key properties of your project and utilize our proprietary analysis tools to check for common vulnerabilities as well as deeper logical bugs.

Delivery

We deliver a high-quality audit report summarizing our findings and recommendations. Our reports include any uncovered vulnerabilities, their potential impact, and mitigation strategies. Veridise security experts also engage in discussions with our clients to assess the impact of any potential bug fixes.

We also provide best-in-class tools for automated security analysis through our Security-as-a-Service platform (subscribe here). Veridise tools, developed in-house, build on our cutting-edge research on automated program analysis, fuzzing, and formal verification. You can use our tools to find subtle vulnerabilities in your own code and perform continuous integration and internal auditing!

Veridise is a leading player in all things ZK-related! We’ve audited countless ZK circuits and identified critical vulnerabilities in crucial circuits (even in the core Circom libraries!). Check out some of blogs and academic ZK-related publications to learn more!

Our Advisors

Alex Aiken

Stanford University

Elaine Shi

Carnegie Mellon University

Shuyao Kong

ConsenSys

Yi Sun

University of Chicago

smsunarto

Argus Labs