В Solidity существует несколько инструкций для выполнения функций смарт-контракта. Говоря проще, они проверяют какое-то условие и, если оно не выполнено, то транзакция откачивается, т.е. отменяется.

Существует три параметра Require, Revert, Assert.

Require - принимает два параметра: условие и сообщение об ошибке.

Revert - практически тоже самое, что и require, за исключением того, что принимается только сообщение об ошибке, а условие нужно писать самому.

Assert - используется реже, чем два предыдущих параметра, и принимает только один аргумент - условие.

#require #revert #assert

Используйте assert() и require() правильно

Assert() следует использовать только в тестах внутренних (internal) ошибок или для проверки инвариантов.

Require() используют для проверки условий.

#assert #require #hint