CertiK is a pioneering blockchain cybersecurity start-up founded by Computer Science professors from Yale University and Columbia University. By applying the rigor of proprietary Formal Verification technology on smart contracts and blockchain protocols, CertiK has been able to secure over $6B in assets, including many of the worlds top blockchain projects. The research efforts of CertiK have received grants from IBM and the Ethereum Foundation, and some notable investors include Binance Labs, Bitmain, Lightspeed Venture Partners, Matrix Partners, and NEO Global Capital, among others.
CertiK is a pioneering blockchain cybersecurity start-up founded by Computer Science professors from Yale University and Columbia University. By applying the rigor of proprietary Formal Verification technology on smart contracts and blockchain protocols, CertiK has been able to secure over $6B in assets, including many of the worlds top blockchain projects. The research efforts of CertiK have received grants from IBM and the Ethereum Foundation, and some notable investors include Binance Labs, Bitmain, Lightspeed Venture Partners, Matrix Partners, and NEO Global Capital, among others.
Company Information
- Industry
- Computer Software
- Company Type
- Nonprofit
- Founded
- unknown
- Employee Range
- 51-200
- Revenue Range
- Not available
Location
- Address
- 1001 Ave of Americas NY New York
- City
- Region
- Postal Code
- 10018
- Country
- United States
