Smart contract audit service

22 Dec 2019

We continue to develop smart contract audit services. This year, we have completed several successful projects in this area. We can successfully find the following problems in smart contracts:

  • Inconsistencies between the specification and the implementation
  • Flawed design, logic, or access control
  • Arithmetic overflow operations (integer overflow and underflow)
  • Reentrancy attacks, code injection attacks, and Denial of Service attacks
  • Exceeded limits on bytecode and gas usage
  • Miner attacks on timestamp and ordering, transaction-ordering dependence (TOD)
  • Race conditions and other known attacks and access control violations

Other news

14/05/2022
Our work is your success in Web3
10/04/2022
Spring4Shell critical vulnerability