CertiK completed a security audit of Blockcloud project, a new service-centric blockchain architecture to systematically address the mobility, scalability, trust, security, fairness and incentive problems faced in daily life. Blockcloud is also the first project being launched on OK Jumpstart, the official token sale platform of OKEx. The token sale date will be on April 10, 2019.
CertiK, as Blockcloud’s designated security partner and the official auditor of $BLOC token, is delighted to congratulate the Blockcloud team for passing the rigorous Formal Verification process with a remarkable score.
Blockcloud system is built on the ERC20 standard and strictly followed common practices, meanwhile it utilized a time lock mechanism built which controls the vesting process for beneficiaries, where it truly indicates the client put transparency on top of the missions.
The CertiK team analyzed Blockcloud smart contracts by pairing cybersecurity experts with the advanced Formal Verification engine. Rather than merely identifying bugs and vulnerabilities, Formal Verification ensures that the code is constructed in a manner that is immune to these vulnerabilities and fulfill the functional correctness. Formal Verification leverages mathematical theorems to determine that the source code of a program meets its intended specifications, computing all possible scenarios and providing empirical proof that it is impossible for the checked vulnerabilities to exist.
Some of the Highlights:
After the verification and review process, CertiK provided a comprehensive Audit Report. The report detailed source code remediations to improve security. Blockcloud immediately leveraged CertiK’s audit reports and technical insights to enhance the overall security of their systems.
Overall, the experts from the CertiK team indicated that the code was well maintained, fully documented, and thoughtfully designed. The full audit report provided by CertiK can be accessed here.
Blockcloud is a blockchain-based advanced TCP/IP that improves and upgrades the existing internet. Combining the advantages of blockchain and future internet technology, it reconstructs the technology layers below where current blockchain networks and internet application operate.
Blockcloud serves as the “building block” to provide constant connectivity for dynamic networks, aiming to provide better mobility, credit credibility, inventives, security, fairness and scalability to upper-layer applications. Blockcloud’s current application scenarios include:
CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. Incubated by Binance Labs, Certik has strategic partnerships with the world’s leading crypto exchanges such as Binance, OKEx, and Huobi, as well as protocols such as NEO, ICON, and QuarkChain.
CertiK’s formal verification method works differently than traditional testing approaches: rather than working manually, CertiK mathematically proves blockchain ecosystem and smart contracts are hacker-resistant and bug-free at scale. CertiK has secured over $4B in asset value, auditing several projects across all major protocols, including BNB, Terra, Crypto.com, and TUSD.