Log in/ Sign up
CertiK
- Security Solutions
- Security Audit
Established Year 2017 | Headquarter Chinese Mainland |
Operating Status Active |
CertiK, a blockchain security company founded in 2018, utilizes formal verification and AI technology in collaboration for its end-to-end blockchain security audit services. It mathematically validates the safety of smart contracts through a combination of formal and manual verification. Additionally, the company has developed "CertiK Chain", a security-focused blockchain designed to enhance the security of smart contracts.
Organisation
Subsidiary
Financial Portfolio
Meta Era | Strategic | N/A | ||
Playbux | Seed | $2 M |
Recent News
- OKX Crypto Exchange Faces Urgent Security Alert Over iOS Wallet Vulnerability
- ChatGPT was asked to do smart contract audit; Here’s how it went
- Hope Finance Discovers $2 Million Theft From Users’ Funds
- Platypus Finance Reports $2 Million Loss Due to Security Breach
- CertiK: Threatened by Kraken’s Security Operations Team After Reporting Vulnerability to Kraken
- CertiK and Kraken staged a $3 million Rashomon