Smart contract Security Assessment
A smart contract audit with dynamic testing of your smart contracts system to identify security vulnerabilities, business logic flaws, and adherence to smart contract security best practices.
​
1
Kick-Off & Environment Setup
The smart contract security assessment starts with a technical interview with your team to understand your smart contract technology stack and walkthrough the expected operations of the system. We will also collect any documentation of your smart contract system and setup a local environment for testing.
2
Manual Review
Once we have an understanding of the system, we begin a manual code review of your smart contracts. Our team of experts has experience in identifying vulnerabilities and business logic flaws. We will thoroughly review your smart contracts to identify any potential security risks, identify invariants, and attack surface for dynamic testing.
3
Dynamic Testing
After the manual review is complete, our team will begin performing dynamic testing of your smart contracts in the local environment. Our environment will be configured to match as close as possible to your production setup. In this way we can test various states of your system with property fuzzing and symbolic execution invariant testing techniques.
4
Reporting & Retest
Once the testing activities have concluded our team will evaluate the findings identified and develop proof of concepts showcasing the impact of our findings. After this has concluded we will compile the assessment report and work with your team to address any feedback. We will also verify the patches for fixed vulnerabilities identified during the engagement.
