CertiK Launches CertiK Chain Core Network

Certik, specializing in cybersecurity, has launched the main Certik Chain network with a real-time smart contract audit system.

In the Certik Chain blockchain, the most attention is paid to safety-a static process of analysis of smart contracts transformed into a system of protection in real time. Certik General Director and Professor of Computer Sciences of Colombian University of Ronhui GU (Ronghui Gu) said:

«Time, When we relied on an autonomous analysis of safety and static security audit reports, and also suffered from unnecessary loss of time and money, ended. Certik Chain sets a new industry standard in blockchain security protocols ".

Certik Chain uses its own programming language of deepsea smart contracts, The demo version of which was released earlier this year. Deepsea automates a formal check - mathematical evidence, that the code works correctly.

The blockchain is focused on compatibility with other networks - it uses security oracles, which provide analysis of smart contracts in other real-time networks. This function can be used smart contracts in other networks to assess the safety of nodes. If the oracle considers the target smart contract unsafe, Developers can immediately refuse to interact with him.

Oracles will work through a system of customers and operators. End users or developers, who want to assess the level of security of a particular contract, Send a request, funded by its own crypto acting Certik Chain (CTK). Then Oracle operators will analyze and publish the results on the network. The company will also launch Certikshield insurance mechanism to cover any cash loss as a result of hacking.

Source