Identify and eliminate security vulnerabilities using the most rigorous and thorough cybersecurity techniques.
Crowdsale / Token Contracts
Custom Smart Contracts
Our team of experts can audit even the most complex smart contracts, from gambling contracts to consensus mechanisms.
Wallets and DApps
Don't stop hacks, prevent them. Make sure that all funds are secure by performing the most robust audits available.
Our team has conducted over 150 audits across all major protocols and is trusted as the recommended auditor of top exchanges, including Binance, OKEx, and Huobi.
Expertise in Formal Verification
48 Hour Turnaround
Unique Patented Technologies
Accepted Across Exchanges
Free Unlimited Re-Audits
Working together is a simple 5-step process
Share source code
Begin vulnerability inspection
Our security audit platform evaluates smart contracts for vulnerabilities and certifies their behavior with respect to a custom function specification:
Our audit reports are custom, thorough, and transparent. You’ll see a classification of identified vulnerabilities by severity (Critical, Medium, Low) along with suggested remediations. We also include your entire source code, with annotations and CertiK’s Formal Verification labels in-line, to show our work and explain the mathematical proofs conducted.
With every successful audit, we’ll also provide you with a uniquely hashed CertiK Verified badge that we encourage you to share with pride! This badge contains a QR code for anybody to scan as proof of the authenticity of your successful audit. Try it out for yourself!
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 do your audits include?
At CertiK, our audits include rigorous Formal Verification, static analysis, and manual review. We expand upon traditional testing methods to provide the most advanced security audits in the space.
Why doesn’t everybody perform Formal Verification?
Formal Verification is extremely rigorous and difficult to perform, since it requires precise, unambiguous specifications. Historically, Formal Verification has been more common for mission-critical hardware systems, like NASA’s Mars Rover, but because smart contracts are self-executing and often open-sourced, blockchain software has seen the need for these higher standards of security. Very few smart contract auditors are capable of performing Formal Verification, but our team of experts, which is led by Computer Science professors of Yale and Columbia, have several decades of experience in this space.
Do cryptocurrency exchanges accept your audit report?
Absolutely. Because our audit reports are comprehensive, transparent, and objective, we’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.
How long does it take to complete an audit?
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.
How much does an audit cost?
The cost of an audit is customized for each project. We offer affordable pricing because we know that security is important, and you shouldn’t ever have to settle for a lower level of security. Because every project is different, you can request a free quote to find out the cost of your audit.