Veridise provides blockchain security through rigorous smart contract audits, leveraging formal methods and advanced in-house tooling. The company specializes in securing DeFi protocols, L1/L2 infrastructure, and Zero-Knowledge (ZK) applications. This expertise helps clients identify and mitigate complex vulnerabilities before protocol deployment.
Funding
$4.7M raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
Founders
Product
Problem
Smart contracts are susceptible to vulnerabilities that can lead to exploits, resulting in financial losses and reputational damage for blockchain projects. Identifying these flaws requires specialized expertise and tools that go beyond standard development practices.
Solution
Veridise offers smart contract auditing services that leverage formal methods and proprietary vulnerability detection tools to ensure the security and logical consistency of blockchain applications. Their approach combines rigorous manual code review by experienced security analysts with advanced in-house tooling, enhancing the quality of audits and uncovering otherwise undetectable vulnerabilities. Veridise's expertise extends to zero-knowledge (ZK) audits, where they have identified critical vulnerabilities in core Circom libraries and other ZK-related infrastructure protocols. By integrating the latest research advancements from academia, Veridise provides comprehensive audits that help clients avoid critical mistakes and build more secure and reliable blockchain solutions.
Target Audience
Veridise primarily serves blockchain projects, DeFi platforms, and developers of smart contracts and zero-knowledge solutions who require comprehensive security audits to protect against vulnerabilities and ensure the integrity of their applications.
Features
- Rigorous line-by-line manual code review by experienced security analysts
- In-house vulnerability detection tools that enhance audit quality
- Expertise in auditing ZK circuits and identifying critical vulnerabilities
- Application of formal methods to ensure the security of smart contracts
- Static analyzers and fuzzers to identify security flaws and logical inconsistencies
- Detailed audit reports highlighting bugs and vulnerabilities with recommendations for improvement
- Use of Picus, a tool for verifying circuit determinism
- Expertise in identifying missing constraint bugs and out-of-sync ZK and DeFi components