AuditHub Documentation
Learn how to use Veridise tools
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.