Ava Labs audit program · the whitelist
17 vetted firms.
Every firm below is on the Ava Labs audit whitelist. One request reaches all of them, or only the ones you choose.
Whitelisted firms · A to Z
9 of 17 list their services
BailSec
bailsec.io
BlockSec
AI security scanSmart contract audit (Solidity / Vyper)Protocol audit (Go / Rust)Cryptography / privacyOnchain monitoringOtherFrontend auditOpSecFinancial math reviewInvariant specification
blocksec.com
Cantina
Smart contract audit (Solidity / Vyper)Protocol audit (Go / Rust)Cryptography / privacyFrontend auditFinancial math reviewBug bounty setupAudit contestOnchain monitoringAI security scanOpSecOtherInvariant specificationFormal verification
cantina.security
Certora
certora.com
Cyfrin
cyfrin.io
FYEO
AI security scanSmart contract audit (Solidity / Vyper)Protocol audit (Go / Rust)Frontend audit
fyeo.io
HackenProof
OtherFrontend auditCryptography / privacyAI security scanOpSecProtocol audit (Go / Rust)Formal verificationBug bounty setupAudit contestSmart contract audit (Solidity / Vyper)
hackenproof.com
Halborn
OtherSmart contract audit (Solidity / Vyper)Protocol audit (Go / Rust)AI security scanFrontend auditAudit contestOnchain monitoringInvariant specificationFormal verificationCryptography / privacyOpSec
halborn.com
Hexens
Smart contract audit (Solidity / Vyper)Protocol audit (Go / Rust)Formal verificationInvariant specificationOnchain monitoringBug bounty setupCryptography / privacyFinancial math reviewFrontend auditOtherOpSecAI security scan
hexens.io
Nethermind
nethermind.io
Open Zeppelin
openzeppelin.com
Ottersec
osec.io
Paladin
paladinsec.co
shieldify
Smart contract audit (Solidity / Vyper)Protocol audit (Go / Rust)Formal verificationInvariant specificationFrontend auditCryptography / privacyAI security scanOpSecFinancial math reviewAudit contestOnchain monitoring
shieldify.org
Trail of Bits
Smart contract audit (Solidity / Vyper)Protocol audit (Go / Rust)Cryptography / privacyFrontend auditAI security scanOpSecOther
trailofbits.com
Zellic
Smart contract audit (Solidity / Vyper)Protocol audit (Go / Rust)Formal verificationInvariant specificationCryptography / privacyFrontend auditFinancial math reviewAI security scanOpSec
zellic.io
Zokyo
zokyo.ioFirms join the whitelist after Ava Labs' security review · each firm lists its own services · firms that leave the program drop off this page