Auditing smart contracts is very important for cryptocurrencies, because everything always comes down to security and performance. I also recently began to study the topic and technology of audit and now I want to recommend an article about optimism audit to you, you can read it here.