CertiK releases blockchain with real-time smart contract auditing

Published at: Oct. 26, 2020

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. The operators behind the oracles will then conduct the analysis and publish the results on-chain.

Finally, the company is also organizing an insurance mechanism to cover any loss of funds from 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 space, being recently selected as a partner for auditing Binance Smart Chain and projects building on that platform.

Tags
Technology
Defi
Cybersecurity
Related Posts
yEarn Creator Says Recent Audits Don't Necessarily Mean the Project Is 100% Safe
Andre Cronje, the creator of Yearn.Finance, has recently made security audits of his project publicly available. He explained to Cointelegraph that he had been previously withholding these audits, which were completed months ago, so as to not give users a false sense of security: I always refused to publish the audits because I don't want people to get a false sense of security because of them. Yesterday, Cronje published five audits on the project's GitHub repository. The audits were performed between February and July by leading auditors, such as Certik and Quantstamp. Some of the vulnerabilities that were discovered are …
Technology / Aug. 20, 2020
After A High-Profile Hack, bZx Announces Its Way Forward
The company that almost broke DeFi is asking for a new beginning. When the decentralized lending protocol bZx was hacked to the tune of some $1 million last month, some started questioning the future of decentralized finance, commonly referred to as DeFi. On March 9, bZx co-founder Kyle Kistner published a post on the company’s website titled “Mea Culpa: A New Beginning.” The post retraces all the steps that led to the hack, with Kistner taking full responsibility for the vulnerability. Users will not lose money Kistner states that the protocol users will not bear any losses. Instead he writes …
Technology / March 11, 2020
BREAKING: Curve Finance team warns users to avoid using site until further notice
On Aug 9, automated market maker Curve Finance took to Twitter to warn users of an ongoing exploit on its site. The team behind the protocol noted that the issue, which appears to be an attack from a malicious actor, is affecting the service’s nameserver and frontend. Don't use https://t.co/vOeMYOTq0l site - nameserver is compromised. Investigation is ongoing: likely the NS itself has a problem — Curve Finance (@CurveFinance) August 9, 2022 Curve stated via Twitter that its exchange — which is a separate product — appeared to be unaffected by the attack, as it uses a different DNS provider. …
Decentralization / Aug. 9, 2022
App-specific blockchains remain a promising solution for scalability
App-specific blockchains, or appchains, are specifically designed to support the creation and deployment of decentralized applications (DApps). In an appchain, each app runs on its separate blockchain, linked to the main chain. This allows for greater scalability and flexibility, as each app can be customized and optimized for its specific use case. Appchains are also an alternative solution for scalability to modular blockchains or layer-2 protocols. Appchains present similar characteristics to modular blockchains, as it is a type of blockchain architecture that separates the data, transaction processing and consensus processing elements into distinct modules that can be combined in various …
Adoption / Jan. 14, 2023
Top 7 cybersecurity jobs in high demand
In today’s digital age, cybersecurity has become a critical aspect of almost every business. Cyber threats are increasing daily, and businesses must take proactive measures to protect their networks and data. As a result, the demand for cybersecurity professionals has skyrocketed. Little Friday humour #meme #cybersecurity @hackurityio pic.twitter.com/MArEpCh03k — Harold De Vries (@devries_harold) February 17, 2023 In this article, we will discuss the top seven cybersecurity jobs that are in high demand. Cybersecurity analyst A cybersecurity analyst is responsible for identifying and mitigating cyber threats to an organization’s network and data. They examine system logs and network traffic to find …
Technology / Feb. 26, 2023