The security company wants to build a formally secure blockchain for DeFi
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.