Security Audits

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.

  • Request Audit

    Please answer the questions below and click the Submit button.
  • DD slash MM slash YYYY
    Please be aware that our lead time is generally around 3 months
  • Drop files here or
    Max. file size: 50 MB.
    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.

    Maker Protocol – 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.

    For more questions: contact@chainsecurity.com