Tools

AuditHub provides security tools that run against a project version. Each tool supports a specific type of analysis and can produce findings. In short, AuditHub offers:

• a fuzzer for DeFi: OrCa
• static analyzers for DeFi: DeFi Vanguard, DeFi Vanguard (Legacy)
• static analyzers for ZK: ZK Vanguard, ZK Vanguard (Circom)
• formal verifiers for ZK: Picus, Picus (Circom)

Tools are executed through tasks, which capture the execution context and configuration for a specific version. Auditors and developers use these tools to automate security analysis during a review.