Contact us
 
 

Smart Contract Audit

We ensure our clients have complete confidence in the security of their decentralized projects, regarding smart contracts' reliable performances. We are checking for all the different possible vulnerabilities and attack vectors, performing static and dynamic analysis. We are also employing security audit best practices, including our unique techniques.

Our background

>10 years
We have more than 10 years' worth of experience within the team of leading companies and ensuring the security of high-loaded software systems.
>$50M
The smart contracts audited by us collected more than $50m through various ICOs, confirming their immense security and invulnerability.
>
Our experience allows us to analyze smart contracts, including complex analysis of interaction with front-end and back-end, as well as with the analysis of cryptography and protocol design.

What we offer

Unbiased system review
Our unique technique, which has proved to be a highly effective approach, allows us to find and uncover the most sophisticated flaws in system design. These include inconsistencies and false assumptions, which are at their most dangerous in practice.
Manual review
Each audit is conducted by at least two auditors for each part of the contract. Typical smart contract errors we encounter are logic errors, missing thresholds, permissions checks, unbounded gas usage and inconsistencies.
Static analysis
The code is inspected by a number of automated tools, including our closed-source solution. Tens of preconfigured dangerous patterns are searched in automatic mode, with each detected warning manually categorized as either a confirmed flaw or false positive.
Dynamic analysis
In some cases, inspecting static code structure is not enough, and runtime context and runtime reasoning are required to assert proper behaviour of a particular code fragment. That's why we also use dynamic analysis tools e.g. symbolic execution.
Auditing report
This is about identifying all identified vulnerabilities, indicating their priority and the degree of impact on the security of the smart contract. Each vulnerability indicates how to fix it. It also suggests ways of improving the code and its maintainability, allowing it to proactively prevent future problems and vulnerabilities.
Support and consulting
At the request of the client, the report will be published on GitHub, with the fixing of all the identified issues and bugs being consulted upon. It will also bring the initial contract to the optimal form.
Unbiased system review
Our unique technique, which has proved to be a highly effective approach, allows us to find and uncover the most sophisticated flaws in system design. These include inconsistencies and false assumptions, which are at their most dangerous in practice.
Manual review
Each audit is conducted by at least two auditors for each part of the contract. Typical smart contract errors we encounter are logic errors, missing thresholds, permissions checks, unbounded gas usage and inconsistencies.
Static analysis
The code is inspected by a number of automated tools, including our closed-source solution. Tens of preconfigured dangerous patterns are searched in automatic mode, with each detected warning manually categorized as either a confirmed flaw or false positive.
Dynamic analysis
In some cases, inspecting static code structure is not enough, and runtime context and runtime reasoning are required to assert proper behaviour of a particular code fragment. That's why we also use dynamic analysis tools e.g. symbolic execution.
Auditing report
This is about identifying all identified vulnerabilities, indicating their priority and the degree of impact on the security of the smart contract. Each vulnerability indicates how to fix it. It also suggests ways of improving the code and its maintainability, allowing it to proactively prevent future problems and vulnerabilities.
Support and consulting
At the request of the client, the report will be published on GitHub, with the fixing of all the identified issues and bugs being consulted upon. It will also bring the initial contract to the optimal form.

Examples of the reports

Blog