EverETH and CertiK Partnership
Rigorous Smart Contracts Audit
It was recently announced that Binance Smart Chain project EverETH has begun the process of having it’s smart contracts rigorously audited by blockchain security firm, CertiK.
Perhaps, like me, you are wondering — Why the need for an additional audit when EverETH was previously audited by Techrate?
Well the answer is simple. As EverETH is a collaborative project, a poll was put to the community of investors, to determine the appetite for an additional audit before such a costly expenditure. Simply put…CertiK audits are not cheap! The results yielded an overwhelming sense that additional smart contract scrutiny would only serve to increase future investor confidence.
Founded in 2018, CertiK is a pioneer in blockchain security, utilizing best-in-class AI technology to secure and monitor blockchain protocols and smart contracts. CertiK’s mission is to enable mission-critical applications to be built with security and correctness.
CertiK has conducted in excess of 250 audits across all major protocols and is trusted as the recommended blockchain and smart contract audit provider by top exchanges like Binance, OKEx, and Huobi. CertiK partners with some of the most recognizable DeFi projects:
CertiK audits include rigorous, automated Formal Verification, static analysis, and manual review. The smart contract audit expands upon traditional testing methods to provide the most advanced security audits in the space.
The Auditing process involves 5 key phases:
What is Formal Verification, and why is it important?
Formal Verification mathematically proves that code will work as intended, computing all possible scenarios. With an estimated $1B of assets stolen in 2018, this level of rigor is the only way to objectively show immunity against some of the most critical and frequent vulnerabilities.
What is in the audit report?
Audit report will contain:
Identified vulnerabilities (Critical, Major, Medium, Low, and Informational),
Suggested remediation.
Visual diagrams to help you determine the source of identified vulnerabilities.
Frequently Asked Questions (influenced by CertiK website)
How long does a CertiK Audit take?
The length of an audit depends on many factors, including the complexity and the length of the source code. We use patented and proven technology to complete our audits as quickly, and thoroughly, as possible, which has allowed us to complete most of our audits in a manner of days, not weeks. Some of our audits have been able to be completed within 48 hours.
Will cryptocurrency exchanges accept CertiK’s audit report?
Absolutely. Because audit reports are comprehensive, transparent, and objective, they’re actually recommended by the top exchanges, including Binance, Huobi, OKEx, and Bitmart. In fact, we haven’t met any exchanges that did not accept our audit report, given our analysis is fundamentally driven by math and can be checked by anybody.
What is CertiK’s Leaderboard?
After review every successful audit is then listed on the CertiK Security Leaderboard that is shared publicly with the entire blockchain community!
The Leaderboard contains the details of projects alongside their audit reports, as well as the community’s security sentiment of the project. Each project’s security score is listed as well.
What is Skynet Service?
Skynet is an add-on service above and beyond the smart contract audit. It is a post-audit 24/7 security intelligence monitoring service also provided by CertiK. Skynet provides a unified set of security tool chains that leverages automated technologies to check deployed smart contracts against a wide range of known vulnerabilities at scale. It produces accurate smart contract security scores, which indicate the risk potential for hacks and code malfunctions.
The smart contracts are continuously scanned against 5 thorough security categories and assigned a security score between 0–100%.
Blockchain projects can reference those scores and enhance their security, while end-users can interact with projects with more confidence and trust based on security scores.
It is clear the team at EverETH is taking security seriously and going the extra mile to ensure that community investors enjoy a safe and prosperous interaction with their protocol.
Please stay tuned for the final audit report. The security analysts are quite thorough and we do not want to rush them. An announcement will come via the official EverETH social media outlets as soon as the results are available.
Join Telegram HERE and follow on Twitter for further updates!!
