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 and ZK-circuits by searching for well known security vulnerabilities and anti-patterns.

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.