Blockchain cybersecurity company CertiK, which had received an investment from Binance Labs in 2018, has launched its native CertiK Chain blockchain. The CertiK Foundation announced its new release in an official blog post on July 22.

In January of this year, CertiK and major crypto exchange Binance had also announced a partnership that would allow the cybersecurity company to audit Binance’s smart contracts to ensure there are no critical vulnerabilities.

Smart contracts on CertiK Chain can be developed in the functional programming language DeepSEA, which reportedly guarantees security by means of the code. Additionally, any on-chain smart contracts will reportedly have cryptographic certificates that serve as proof of verified security; however, smart contracts without such certificates could reportedly be run with additional fees.

As previously reported by Cointelegraph, the Ethereum Foundation provided the DeepSEA project with funding in March. Open source blockchain project Qtum also provided DeepSEA with $400,000 in funding back in December.

The DeepSEA project was led by Professor Ronghui Gu at Columbia, who is also the co-founder of CertiK.

The full nodes of the blockchain will reportedly run on CertiKOS, which they say is a “fully verified hypervisor / concurrent OS kernel” that provides purportedly military-grade security against hacking attempts. Additionally, the announcement states that the blockchain is underpinned by the CertiK Virtual Machine, which uses the company’s Formal Verification platform to make sure it is implemented correctly.

According to its website, CertiK currently offers blockchain-focused cybersecurity services through security auditing, penetration testing and platform customization.