AuditHub

Veridise AuditHub is an online platform that allows organizations to self-audit their own code by providing instant access to Veridise code review and security analysis tools. Users provide the source code of their application, and they invoke the Veridise security analysis tools that audit the application and report back the discovered vulnerabilities.

OrCa

OrCa is a smart contract fuzzing tool developed by Veridise. Given a description of the intended behaviors of the contract(s), OrCa can automatically discover bugs by generating and running thousands of (pseudo-)random inputs against the target application.

Vanguard

Vanguard is a static analysis tool created by Veridise for discovering bugs in DeFi applications by searching for well known security vulnerabilities and anti-patterns.

ZK Vanguard

ZK Vanguard is a static analysis tool created by Veridise for discovering bugs in ZK circuits written in a variety of ZK circuit DSLs, such as Zirgen and circom.

Picus

Picus is a Veridise tool to prove that a ZK circuit is not underconstrained, or find a counterexample if it is underconstrained.

Picus-V2

Picus-V2 is a successor to Picus which proves that a ZK-circuit is deterministic, or finds a counterexample if it is underconstrained.