Services

We identify security vulnerabilities and verify the functional correctness of smart contracts and blockchain projects. We have extensive experience with complex projects, for example in the decentralized finance (DeFi) space and in high-value enterprise systems.

"*" indicates required fields

Request Audit

Please answer the questions below and click the Submit button.
DD slash MM slash YYYY
When will your code be 100% finished and ready for audit?
Audit Your Contracts Now

We identify security vulnerabilities and verify the functional correctness of smart contracts and blockchain projects. We have extensive experience with complex projects, for example in the decentralized finance (DeFi) space and in high-value enterprise systems.

MakerDAO-Liquidations 2.0 Security Audit

The Maker protocol – Liquidations 2.0 smart contracts have been audited by ChainSecurity. Liquidations 2.0 for multi collateral DAI has been developed to mitigate uncovered shortcomings in the previous liquidation system. The most notable change from the previous version is the move from English to Dutch style auctions. The resulting single block composability allows anyone…

Read Report
Our Process
  • 1. Precise specification

    We specify the intended behavior of your contracts by identifying key requirements, security properties, and trust assumptions based on your code and documentation.

  • 2. Verification of contracts

    We assess whether your contracts satisfy the identified specifications.

  • 3. Verification of fixes

    We notify you about possible issues to be fixed and re-audit your code changes to verify that your contracts are secure.

  • 4. Audit report

    We document the results in a detailed audit report on your contracts.

FAQ

Who will audit my project?

All audits involve multiple auditors from the ChainSecurity team. Our teams is led by PhD and Master graduates from ETH Zurich, Switzerland, the top technical university in Europe, and have extensive experience in system security and program verification. All our experts are trained in-house.

How much does an audit cost and how long does it take?

The price and timeline of an audit are calculated based on the size and complexity of the smart contracts and the number and complexity of the specifications to be verified. Contact our team and we will provide you with a quote and timeline for your project.

Send us an email