"Certik was founded in Silicon Valley & NYC, CertiK is a formal verification framework for building fully trustworthy smart contracts and blockchain ecosystems. We are aimed to help people construct bug-free and hacker-resistant smart contracts and blockchain ecosystems".

Pre-sale, ICO and Whitelisting details are yet to be announced.

Please follow the given links where updates will be provided;
Official website: https://certik.org
Medium: https://medium.com/certik
Twitter: https://www.twitter.com/certikorg
Announcement: https://t.me/certikorg_channel