IoTeX & CertiK Announce Partnership Focused on Blockchain and Smart Contract Security

IoTeX
IoTeX
Jun 14, 2018 · 3 min read

How does CertiK verify platforms and smart contracts?

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, Facebook and FreeWheel. 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.

What is the purpose of the partnership?

IoTeX’s engineering team consists of Ph.Ds in Cryptography and Distributed Systems — although they can be counted on to create bug-free smart contracts, IoTeX and any other project can benefit from CertiK’s verification sign-off to have even greater assurance that their blockchain and smart contracts are hacker-resistant and bug-free. CertiK has verified the IOTX token contract, and IoTeX will continue to work with CertiK and other global project contributors to ensure their blockchain and smart contracts are truly secure.

What can IoTeX and CertiK work on in the future?

One key challenge within the blockchain and security communities is achieving privacy-preserving computations in the form of smart contracts, which can be further formally verified autonomously. The partnership between IoTeX, an innovator in the lightweight privacy domain, and CertiK, a leader in formal verification and security of smart contracts, brings us one step closer on the long journey towards highly secure yet private smart contracts on public blockchains, including IoTeX blockchain.

About IoTeX

IoTeX is the auto-scalable and privacy-centric blockchain infrastructure for the Internet of Things (IoT). IoTeX’s global team is comprised of Ph.Ds in Cryptography, Distributed Systems, and Machine Learning, top tier engineers, and experienced ecosystem builders. IoTeX is developing innovations to push the frontier of blockchain 3.0, including the blockchains-in-blockchain architecture for heterogeneous computing, Roll-DPoS consensus with auto-scalability, and lightweight privacy-preserving techniques. IoTeX is bringing autonomous device coordination to the masses by “connecting the physical world, block by block.”

@iotex

IoTeX is the auto-scalable and privacy-centric blockchain infrastructure for the Internet of Things (IoT). IoTeX is bringing autonomous device coordination to the masses by "connecting the physical world, block by block".

IoTeX

Written by

IoTeX

The Privacy-Centric Blockchain Platform for IoT

@iotex

@iotex

IoTeX is the auto-scalable and privacy-centric blockchain infrastructure for the Internet of Things (IoT). IoTeX is bringing autonomous device coordination to the masses by "connecting the physical world, block by block".