CertiK releases blockchain with real-time smart contract auditing

CertiK, a software security company active in the blockchain sector, announced the mainnet release of its own custom blockchain, the CertiK Chain.

The new blockchain places a heavy focus on security, turning the previously static process of analyzing smart contracts into a real-time safeguarding system.

Professor Ronghui Gu, the CEO of CertiK, said, "Gone are the days of reliance on off-chain security analysis, static security audit reports, and unnecessary loss of time and money." The CertiK Chain is "Setting a new industry standard in blockchain security protocols," he added.

The blockchain features a custom programming language called DeepSEA, which is engineered to make formal verification - a mathematical demonstration that the code does what it's supposed to - into a largely automated process.

The blockchain also carries an interoperability focus through the concept of Security Oracles, which provide real-time analysis of smart contracts on other blockchains.

The company says that the feature can be used by smart contracts on other blockchains to assess the security of their peers.

If the oracle deems the target smart contract to be unsafe, developers may choose to avoid interacting with it on the fly.

The oracles will work through a system of customers and operators.

End users or developers who wish to understand the level of security of a particular contract will submit a request, funded with the blockchain's CTK tokens.

CertiK is among the most active security auditors in the space, being recently selected as a partner for auditing Binance Smart Chain and projects building on that platform.