CertiK Has Conducted Successful Audit of Crypto.com Smart Contract

CertiK
CertiK
Mar 11, 2019 · 3 min read

Crypto.com, the pioneering payments and cryptocurrency platform seeking to accelerate the world’s transition to cryptocurrency, chose to perform its smart contract audit with CertiK, the leading formal verification platform for smart contract and blockchain audits, to ensure that its token is secure against some of the most critical vulnerabilities. The company recently announced the Crypto.com Chain, a high-performing blockchain solution that enables instant cryptocurrency payments, which is intended to help drive cryptocurrency adoption globally. With a platform that will be used across the world, Crypto.com placed an extra emphasis on security, making the choice to work with CertiK a clear one.

CertiK conducts its audits with the rigor of Formal Verification, which stands at the apex of source code validation. Rather than merely checking for bugs and vulnerabilities, Formal Verification leverages rigorous mathematical theorems to check whether the source code of a program meets its specification, computing all possible scenarios and proving that it is impossible for certain checked vulnerabilities to exist. CertiK has conducted audit reports for over 150 tokens, including CRO, and confirms that it has passed the audit requirements.

Malicious hackers have plagued the blockchain space and stifled the growth of many promising projects. By conducting Formal Verification audits on projects like Crypto.com Chain, CertiK aims to guard against some of the most frequent and critical vulnerabilities that have been the source of these attacks. Together, both organizations envision a safer blockchain ecosystem with higher security standards that would prevent against many of the hacks of the past.

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. Trusted by the security industry, CertiK has reached strategic partnerships with world’s top Exchanges such as Binance, OKEx, and Huobi, as well as Public Chains such as NEO, ICON, and QuarkChain. CertiK is incubated and invested by Binance Labs, along with other world’s leading investors such as DHVC, FBG Capital, Bitmain, and Lightspeed.

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

Telegram: https://t.me/certikorg

Twitter: https://twitter.com/certikorg

Email: info@certik.org

Reddit: https://www.reddit.com/r/CertiKOrg

About Crypto.com
Crypto.com was founded in 2016 to accelerate the world’s transition to cryptocurrency. Key products include: Crypto.com Wallet & Card App, the best place to buy, sell, and pay with crypto; the MCO Visa card, a metal card with no annual fees; and the Crypto.com Chain, which enables users to pay and be paid in any crypto, anywhere, for free. Crypto.com is headquartered in Hong Kong with a 120+ strong team.

For more information, please visit: www.crypto.com.

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