Certik
Securing The Web3 World
DeveloperFounded in 2018 by professors of Yale and Columbia, CertiK is a pioneer in blockchain security, utilizing best-in-class Formal Verification and AI technology to secure and monitor blockchains, smart contracts, and Web3 apps.