CertiK
Remote
Mid
< Go back to companies
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
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