CertiK
CertiK leverages formal verification technology to mathematically ensure security in systems software.
| Company Details | |
|---|---|
| Title | CertiK |
| Industries | Blockchain, Cyber Security, Software |
| Headquarters Regions | Greater New York Area, East Coast, Northeastern US |
| Headquarters Location | New York, New York, United States |
| No Of Employees | 101-250 |
| Operating Status | Active |
Description
CertiK is a pioneer in blockchain security, leveraging best-in-class AI technology to protect and monitor blockchain protocols and smart contracts. Founded in 2018 by professors from Yale University and Columbia University, CertiK’s mission is to secure the web3 world. CertiK applies cutting-edge innovations from academia to enterprise, enabling mission-critical applications to scale with safety and correctness.