CertiK and Ontology Partnered Together Aiming a Reliable Blockchain Security

Jul 17, 2018 · 3 min read

Today Ontology, a new high-performance public multi-chain project and a distributed trust collaboration platform, announced its cooperation with CertiK, a well-known American formal verification company. Both parties will work together in formal verification and enhance the security and reliability of smart contract and blockchain systems.

What is formal verification? GU Ronghui, CertiK Co-Founder and Assistant Professor of Computer Science at Columbia University, explained: “Using logical language to describe standards and using strict mathematical deduction to examine whether the given system meets requirements”. CertiK adopts deep specification technology to transform sophisticated smart contracts into modularized mathematical models and verify them through logical deduction to prove the security of smart contracts.

At the present, smart contracts have some security issues: First, due to its irreversibility, once it is released onto the blockchain, its source code cannot be changed. Second, the code of most blockchain projects is open-source, so it is impossible for security vulnerabilities to hide. Third, traditional software security technology, such as testing and real time monitoring, cannot meet the extremely high security requirements of blockchain.

The strategic cooperation of Ontology and CertiK will timely detect security vulnerabilities of open-source code through deep specification technology and ensure the security and reliability of smart contracts before their release. Automatic formal verification can avoid the limitations of human detection, minimize the cost of smart contract verification, making it low cost while having high security.

CertiK is a team of elites from Yale University, Columbia University, and Silicon Valley. Its engineers are from Google, Facebook and other well-known enterprises. SHAO Zhong, CertiK’s Co-Founder is a lifetime professor and Chair of Computer Science at Yale University. Another Co-Founder, GU Ronghui is an assistant professor at Columbia University.

Speaking on CertiK’s partnership with Ontology, CertiK’s Principal GU Ronghui said:

“Trust and security are the most important consensus of the blockchain industry and the common cause for Ontology and CertiK. It is our honor to work with a forward-looking project like Ontology to build a secure and reliable blockchain ecosystem and ensure the security of the blockchain world”.

Founder of Ontology LI Jun said:

“CertiK’s vision is to realize a transparent, fair, and secure blockchain ecosystem around the world, the same vision as Ontology’s. We look forward to work with CertiK and bring more real cases of smart contract formal verification, solve blockchain security pain points, and create an ecosystem with high security”.

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/ontologynetwork/ontology-partners-with-certik-to-build-reliable-blockchain-security-5faf7e681801

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


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