Что такое аудит смарт-контрактов?

Аудит безопасности смарт-контрактов является неотъемлемой частью обеспечения безопасного и удобного для пользователя опыта использования web3.