Зачем нужен аудит смарт-контрактов?
1 min read
•
Фев 1
Cмарт-контракт — это компьютерный код с набором правил, которые исполняются при наступлением определенных условий. Это происходит автоматически, без участия человека и без доверия между двумя участниками транзакции.
Но что произойдет, если разработчик случайно или намеренно допустит ошибку в смарт-контракте? Участники потеряют свои деньги. При этом типовые критические ошибки в смарт-контрактах, которые нельзя оставлять, как правило выявляют автоматические анализаторы.
А вот для проверки высокоуровневой логики смарт-контрактов и соответствия правил заявленным целям необходим довольно сложный аудит с привлечением специалистов, которые исп