Back to all stories
Clients & Partners
Case Study
CertiK-ICON Strategic Partnership
CertiK-ICON Strategic Partnership

CertiK is delighted to announce the official partnership with ICON Foundation from Korea! After constant endeavors from both parties, the partnership reaches a phenomenal depth in both technology and business. As a security startup on formal verification for blockchain, CertiK will remain excellence in providing customized smart contract verification and automated security solutions. Thanks for your continuous trusts and supports. Below are words from ICON.

Greetings from the ICON Team,

Before blockchain can reach mass adoption, a blockchain and its respective components must meet high security standards. With this thought in mind, we are excited to announce an official partnership between the ICON Foundation and CertiK, a smart contract auditing firm with a patented technique to automate formal verification of smart contracts.

This partnership will lead to a more secure ICON Ecosystem, as dApp projects launching on ICON will soon have the ability to submit their SCOREs to CertiK for an almost entirely automated smart contract audit.

With the recent announcement of ICX Station, we expect dApp projects coming through the accelerator program to see significant benefits from this partnership. Ronghui Gu, Co-Founder of CertiK, is joining ICX Station as an advisor, and CertiK will be providing auditing services for everything from token sale contracts to more complex smart contracts that secure the back-end of a dApp.

Thank you,

Hyperconnect the World


About CertiK

CertiK is a blockchain and smart contract verification platform founded by top formal verification experts from Yale and Columbia University and former senior software engineers from Google and Facebook. Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystem and smart contracts are hacker-resistant and bug-free. CertiK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified dApp libraries, and smart labelling.


To request the audit/verification of your smart contracts, please send email to