CertiK, a software security company active in the blockchain sector, has announced the exit from the mainnet of its own custom blockchain, the CertiK Chain.
The new blockchain places a strong emphasis on security, transforming the previously static process of analyzing smart contracts into a real-time backup system.
Professor Ronghui Gu, CEO of CertiK, said, “Gone are the days of relying on off-chain security scans, static security audit reports, and unnecessary waste of time and money. ” The CertiK chain “sets a new industry standard in blockchain security protocols,” he added.
The blockchain has a custom programming language called DeepSEA, which is designed to perform formal verification – a mathematical demonstration that code does what it’s supposed to do – in a largely automated process.
Blockchain also emphasizes interoperability through the concept of Security Oracles, which provide real-time analysis of smart contracts on other blockchains. The company claims the feature can be used by smart contracts on other blockchains to assess the security of their peers. If the Oracle judges the target smart contract to be insecure, developers can choose to avoid interacting with it on the fly.
The oracles will operate through a system of clients and operators. End users or developers who wish to understand the level of security of a particular contract will submit a request, funded with blockchain’s CTK tokens. The operators behind the oracles will then perform the analysis and publish the results on chain.
Finally, the company also organizes an insurance mechanism to cover any loss of funds due to hacks, called CertiKShield.
The mainnet launch comes after a testnet released in March 2020. Earlier in February, the project released a demo of the DeepSEA language. CertiK is among the most active security auditors in the industry, having recently been selected as a partner for the audit of Binance Smart Chain and projects based on this platform.