CertiK-ICON Strategic Partnership

CertiK
CertiK
Aug 25, 2018 · 2 min read

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 the wonderful words from ICON. Enjoy reading CertiK families :)

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

ICON Team

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.

Source: https://medium.com/helloiconworld/icon-certik-strategic-partnership-577c131ea36

To request the audit/verification of your smart contracts, please send email to audit@certik.org.

Telegram: https://t.me/certikorg
Twitter: https://twitter.com/certikorg
Email: info@certik.org

CertiK

Secure the Crypto World

Medium is an open platform where 170 million readers come to find insightful and dynamic thinking. Here, expert and undiscovered voices alike dive into the heart of any topic and bring new ideas to the surface. Learn more

Follow the writers, publications, and topics that matter to you, and you’ll see them on your homepage and in your inbox. Explore

If you have a story to tell, knowledge to share, or a perspective to offer — welcome home. It’s easy and free to post your thinking on any topic. Write on Medium

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store