Cryptocurrency & Blockchain Business
CCG

NEO announced partnership with Certik for bug-free and hacker-resistant smart contracts

Share on facebook
Share on twitter
Share on linkedin
Share on telegram
Share on whatsapp
Share on pocket
Share on vk
Share on reddit

As cryptocurrencies get more widely recognized as digital assets, Blockchain security becomes increasingly more essential. Having the largest developer community, NEO is paying extra attention to blockchain security.

This week, NEO announced partnership with Certik, formal verification platform for smart contracts and blockchain ecosystems, to enhance the security of its platform. Apart from smart contract verification, security auditor CertiK will also provide a tailored solution to verify NEO’s digital assets and digital identity. The collaboration between the two is in preparation for the smart economy revolution.

Formal Verification: When a logical language is used to describe a specification, Certik applies a rigorous mathematical deduction to check whether a given system code meets the requirements. This formal verification framework mathematically proves that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. Currently, most of the smart contracts and dApps on the NEO platform are developed by individuals. In this development system, formal verification is crucial to rule out potential loopholes.

CertiK’s team is based in New York and Silicon Valley. Co-founder Prof. Shao Zhong, Thomas L. Kempner Professor & Chair of Computer Science at Yale University, has more than 30 years of experience in the security field. The core technology of the team is formed by Prof. Shao Zhong and another co-founder, Prof. Gu Ronghui, from Columbia University. Their research on CertiKOS, the world’s first operating system that has theoretically proven to be resistant to hacker attacks, is now widely used in various fields including, government and military.

As NGD (NEO Global Development) manager Zhao Chen mentioned, “NEO is a high-speed autonomous public chain. With more developers building layers on top of it, this added security layer will expedite the prosperity of the ecosystem. I believe NEO and CertiK’s partnership is on track to changing the course of history.”

If you enjoyed this article please share it for others to read

Share on facebook
Facebook
Share on google
Google+
Share on twitter
Twitter
Share on linkedin
LinkedIn
Share on reddit
Reddit
Share on telegram
Telegram
Share on whatsapp
WhatsApp
Share on pocket
Pocket
Share on email
Email
Share on vk
VK

Leave a Reply

 

 

 

News by Month
Scroll to top