C
Certora
Infrastructure & ServicesUS
Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
V
VeridiseInfrastructure & Services
auditingformal-verificationsecurity
Smart contract audits and blockchain security tools using formal methods and automated analysis.
B
BevorDeveloper Tooling
SCF
auditingsecurityai
AI co-pilot for smart contract security, providing automated vulnerability detection, risk modeling, and audit delivery across d…
C
CantinaInfrastructure & Services
auditingsecurity
Web3 security platform providing smart contract audits, bug bounties, security competitions, and managed detection services.
C
Code4renaInfrastructure & Services
auditingsecurity
Top auditors compete to keep high severity bugs out of production. Start a public or private audit within 48 hours.
C
CoinspectInfrastructure & Services
auditingsecurity
Since 2014 protecting critical decentralized systems: L1 nodes, smart contracts audits, wallets, web3 dApps, exchanges, bridges.
G
Gecko FuzzDeveloper Tooling
SCF
formal-verificationsecurityai
Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
