Veridise is a prominent blockchain security company that was founded by a team of world-class researchers. We are dedicated to providing cutting-edge security research and software analysis tools to web3 developers. Our expertise lies in auditing Zero-Knowledge Circuits, Smart Contracts, and Blockchains, making us a trusted leader in the field.

With years of academic research behind us, our in-house security analysis tools are top-notch and highly effective. Many leading projects, including Manta, Scroll, Semaphore, Succinct, Ankr, Dogechain, Circom-lib, and Ribbon Finance, have placed their trust in us. At Veridise, we offer a comprehensive range of services.

We are your trusted partner for security audits across all blockchain layers, including DeFi apps, zero-knowledge circuits, blockchain implementations, NFTs, and wallets. Our process involves assessing the project scope, conducting thorough reviews, and delivering high-quality audit reports with actionable recommendations. In addition to our auditing services, we provide a Security-as-a-Service platform and powerful automated security analysis tools.

These tools are the result of our cutting-edge research in program analysis, fuzzing, and formal verification. You can rely on our tools to discover subtle vulnerabilities in your own code and perform continuous integration and internal auditing. Our leadership team consists of experienced professionals, including Isil Dillig (Co-Founder & President), Yu Feng (Co-Founder & CEO), and Jon Stephens (Co-Founder & CTO), who bring a wealth of knowledge to our organization.

Partner with Veridise to enhance the security of your blockchain projects and leverage our expertise in all things ZK-related. Our track record speaks for itself, and we are committed to helping you build a more secure and sustainable blockchain ecosystem