The process of auditing smart contracts is laborious and complex.
- Familiarity with the core business logic and Specifications.
- General understanding of contract architecture starting from inheritance and Functions.
- Using interactive tools such as ALGO Token Playground, Remix or Truffle develop to become familiar with contract flow.
- Run and expand unit and integration tests.
- Use as many available analysis tools to create deeper understanding of contracts and reveal possible vulnerabilities.