C
CertoraInfrastructure & Services
SecurityAuditingFormal Verification
Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
C
CantinaInfrastructure & Services
SecurityAuditing
Web3 security platform providing smart contract audits, bug bounties, security competitions, and managed detection services.
Q
QuarkslabInfrastructure & Services
SecurityAuditing
Cybersecurity firm providing offensive and defensive security solutions, research, and software to protect applications and infr…
V
VeridiseInfrastructure & Services
SecurityAuditingFormal Verification
Smart contract audits and blockchain security tools using formal methods and automated analysis.
C
CoinspectInfrastructure & Services
SecurityAuditing
Since 2014 protecting critical decentralized systems: L1 nodes, smart contracts audits, wallets, web3 dApps, exchanges, bridges.
B
BevorDeveloper Tooling
SCF
SecurityAuditingAI
AI co-pilot for smart contract security, providing automated vulnerability detection, risk modeling, and audit delivery across d…
