Client testimonials
We’ve worked with a diverse range of clients, from L2 blockchain infrastructure projects to advanced zero-knowledge implementations. We’ve also audited numerous smart contracts at the application layer.
Hear directly from our clients about their experience working with us—watch the short videos below!
Learn what Linea, RISC Zero, o1Labs, and Demox Labs say about working with us
What our blockchain security clients are saying
Jeremy Bruestle
CEO & Co-Founder of RISC Zero
Barron Caster
CEO & Co-founder at Demox Labs
Veridise has been incredibly helpful auditing all of our ZK technology, which requires deep domain expertise. We trust them, and have worked with them on a number of different projects—and will continue to.
Florian Kluge
Engineering Team Lead at o1Labs
Veridise did an excellent job auditing the o1js codebase. It’s not easy, given the complexity of the different programming languages, data flows, and how everything works together. Veridise really understands the internal workings. Amazing work!
Olivier Bégassat
Arithmetization Lead at Linea
I was surprised by the thoroughness of the audits and the really meticulous attention to detail. I initially thought the project would be impossible due to its size (800 pages of docs), and I’m really glad Veridise successfully completed it. It was a pleasure working with Veridise.
Charles Packer
CTO of AlloyX
Veridise has proven to be an excellent partner to AlloyX; providing rigorous reviews, timely
follow-ups, and excellent documentation of our audits.
Dan Posch
Founder & CEO of Daimo
Veridise was efficient and thorough. Our contracts are cleaner and better-documented now as a result of the audit. Bryan was responsive on Telegram and great to work with.
chudnov
Ribbon Finance
Veridise is a highly technical and persistent team — we felt very comfortable in their hands.
Uma Roy
Co-Founder and CEO of Succinct
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.
Ryan Fang
Co-Founder of Ankr
Veridise helped our protocols avoid very critical mistakes when other audit firms signed off and issued reports. As the regular retainer of Ankr, Veridise has done an amazing job.
Andy Guzman
Product Owner at Semaphore, Privacy & Scaling Explorations Team, Ethereum Foundation
The Veridise team was extremely detailed, helpful and collaborative during the audit and formal verification, it was a joy working with them.
Fraser Brown
Co-Founder & CTO of Cubist
Our key management platform is not trivial to audit: it requires expertise in security, cryptography, Rust, and more. The Veridise team did an extremely thorough job with the audit, which wasn’t surprising given their strong academic and industry background.
RISC Zero
Hear from Jeremy Bruestle, RISC Zero’s CEO & Co-founder, about his experience working with Veridise. RISC Zero offers a zkVM enabling developers to generate ZK proofs of ordinary software execution.
Linea
Hear from Olivier Bégassat, Linea’s Arithmetization Lead, about his experience working with Veridise. Linea, an L2 ZK-rollup on Ethereum, entrusted us with auditing their entire ZK-VM.
o1Labs
Listen to Florian Kluge, Engineering Team Lead at o1Labs. We audited o1js, a ZK circuit smart contract library, focusing on TypeScript, proof gadgets, and constraints for building ZK apps with Kimchi and Pickles proof libraries.
Demox Labs
Demox Labs specializes in privacy-preserving solutions on the Aleo blockchain. Hear from Barron Caster, CEO & Co-founder, as he shares their experience working with Veridise on audits for Leo Wallet, Pondo Protocol, and others.
Arcane Finance
Arcane Finance is a private, non-custodial DEX that brings confidential DeFi to Aleo, powered by ZK proofs. Hear from Max Sultakov, CEO & Co-founder, as he shares their experience working with Veridise.
Veridise is the choice of industry leaders
We have audited some of the most critical protocols in the blockchain space, with billion of dollars in Total Value Locked
