< Go back to companies
CertiK logo

CertiK

CertiK is a Web3 security provider using formal verification, monitoring, and AI-assisted tools to protect smart contracts and blockchain protocols.

Made with by BuidlGuidl and Geode Labs