HQ: New York, NY, US
CertiK was founded in 2017 in New York City by active professors and researchers at Yale and Columbia University. The company leverages leading Formal Verification technology to mathematically ensure the highest level of security in smart contracts and blockchain ecosystems. CertiK’s current scope of service includes Smart Contract Auditing, Platform Security Customization Solution, Penetration Testing; Threat Detection, etc. CertiK was the first to introduce the DeepSpec technology (researched in collaboration with MIT, Yale, Princeton, and the University of Pennsylvania), delivering state-of-the-art cybersecurity solutions to some of the largest blockchain projects across all major protocols.
As of now, CertiK has provided top-notch security audits to 150+ projects and has partnered with top digital assets exchanges and public chain platforms such as Binance, Huobi, OKEx, ICON and NEO as their security provider. With the mission of raising the standards of cybersecurity, CertiK is backed by prominent investors, including Binance Labs, Lightspeed, BitMain, Matrix Partners, and DHVC. In 2019, the DeepSEA language, a joint research project between CertiK, Yale University and Columbia University, has received grants from Qtum Foundation, IBM Blockchain and Ethereum Foundation.
Back in 2018, CertiK reached an official partnership with ICON, envisioning a higher standard of blockchain security. According to the ICON team, cooperating with CertiK led to a more trustworthy ICON ecosystem, as their on-chain DApps will soon be able to submit their SCOREs to CertiK for an almost entirely automated smart contract audit.
Going forward, CertiK will continue empowering the ICON community by leveraging customized verification services and security solutions. CertiK will also be able to bring in its current client base and partners to participate in the development of the ICON project and community, stimulating synergies among various roles in a decentralized world with great trust.
The ICON project aims to integrate different blockchains and facilitate value exchanges by implementing mass adoption of blockchain technology. To realize this goal, a universal trust network empowered by robust security standard is essential. The CertiK team leverages leading Formal Verification technology to mathematically prove blockchain ecosystems and smart contracts are trustworthy, such endeavors align with ICON’s vision. CertiK firmly believes that the intrinsic value of a hyperconnected blockchain world will only be fully realized within the trust of the community. As CertiK proceeds with safeguarding ICON project, the team found endless potential of ICONSENSUS towards popularizing blockchain technology.
EXECUTION & TIMELINE (how)
The CertiK team will act as a security partner, true supporter and companion of ICON project through the following initiatives:
Q2, 2019: Participatie in ICON’s ecosystem as a trusted security provider
Q2, 2019: Offer consultancy over security perspective to promote stability and trustworthiness to the community.
Q2, 2019: Engage with community members and other P-Reps to represent ICON’s value
Q3 2019: Develop a customized Formal Verification framework to mathematically prove that ICON’s on-chain smart contracts and DApps are secure
Q4, 2019: Help ICON project reach high level of security by leveraging CertiK’s latest technologies and products such as Autoscan and DeepSpec
Expected Network Information
Prof. Zhong Shao, CO-Founder, President
Prof. Ronghui Gu, Co-Founder, CEO
Muhan Zou, EVP, CSO
Daryl Hok, COO
Yvan Nasr, Head of Business Development
Dr. Zhaozhong Ni, VP of Engineering
Dr. Vilhelm Sjöberg, Principal Scientist
Dr. Kai Yan, CBO