On 1st August 2018, NEO, a blockchain platform, made an announcement about its partnership with CertiK, a security auditor, in order to intensify the protection and verification of smart contracts for the NEO’s platform.
NEO’s tweet || Source: Twitter
CertiK is a formal verification platform for smart contracts and blockchain ecosystems which was established by elites of Yale and Columbia University. It is the world’s first operating system which is resistant to hacker attacks and is being used in several fields including government and military systems.
The collaboration between NEO and CertiK will make the smart contracts and dApps on Neo platform completely bug-free and hacker resistant.
Zhao Chen, the Manager of Neo Global Development said:
“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.”
Recently, Lin Peter, the Director of R&D at NEO Global Development [NGD] stated that NEO blockchain experienced a network blockage, which resulted in a spam attack. The attack emerged in the form of negative invocations and led to multiple transactions taking place on their network without the transfer of any funds. However, the team was unable to detect the actual cause behind the attack; whether it occurred due to a bug in the contract’s code or if it was executed with an intention of hacking.
CertiK, on 17th July, partnered with Ontology [ONT] in order to detect security vulnerabilities of open-source code with the help of broad specification technology. The collaboration also aimed at eliminating the flaw of human detection while reducing the price of verification and providing high security to all the smart contracts.
The post NEO partners with CertiK to boost smart contract security appeared first on AMBCrypto.
Source: AMBcrypto
Original Post: NEO partners with CertiK to boost smart contract security
