Sicurezza e testing
AuditHub
Fuzz testing e property testing
Vedi il prossimo
contender (Flashbots)Informazioni su AuditHub
AuditHub is Veridise's hosted security platform that connects to a GitHub repository and runs automated checks on every commit. It bundles Vanguard (static analysis for Solidity 0.8.4 and newer, in Hardhat and Foundry projects), OrCa (a specification-driven fuzzer for multi-contract DeFi protocols), Picus (determinism verification for ZK circuits) and ZK Vanguard (static analysis for ZK circuits). Smart contract and ZK teams use it to catch reentrancy, specification violations and underconstrained circuits during development, before an external audit.
Tag
- Sicurezza
- Analisi statica
- Fuzz testing
- Verifica formale
- Solidity
- Integrazione continua
RepositoryVeridise
Pacchettohttps:
Info
- Tipo
- Fuzz testing e property testing
- Stelle su GitHub
- 23
- Scheda revisionata
- ottobre 2026
