Veridise is a blockchain security company that provides audits and software analysis tools for all layers of the blockchain ecosystem, including smart contracts, zero-knowledge circuits, and blockchain implementations. Veridise is a leading player in ZKP-related security solutions and has audited (and found vulnerabilities in) several ZKP protocols, including core Circom libraries. Veridise is also a leading player in smart contract audits and has found critical vulnerabilities in projects that have been audited by multiple other security companies. Apart from providing expert auditing services, Veridise also provides automated security analysis tools that can be used by our clients for internal audits and validation. For more information about how Veridise can help your project, please check out our services!

The Security as a Service (SaaS) aims at making the state-of-the-art toolings from Veridise accessible to everyone that cares about the security of their protocols. SaaS users can explore various tooling from fuzzing, static analysis to symbolic execution, all developed by Veridise, to secure their codebase while leaving the complicated environment settings and tooling configurations to SaaS, and focus on the core part of verification.

We pride ourselves in developing state-of-the-art security solutions for every layer of the blockchain ecosystem, ranging from web3 and DeFi applications to Zero-knowledge proofs to the underlying blockchain implementations.