Менторы по Solidity

Solidity: проследите изменение состояния и границы доверия контракта

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

Опишите инварианты до написания функций

Сформулируйте условия, которые должны сохраняться после любой разрешённой операции. Например, изменение записи доступно только соответствующей роли, а завершённый этап нельзя повторить. Далее проверьте, какие функции способны нарушить эти условия.

Не ограничивайте проверку интерфейсом приложения. Пользователь может обратиться к публичному контракту иным способом. Поэтому права и существенные ограничения должны проверяться там, где выполняется операция.

Разберите внешний вызов как отдельный риск

Внешний контракт находится за границей вашего контроля. На консультации можно обсудить порядок проверок, изменения состояния и внешнего взаимодействия, а также повторный вход в контракт. Конкретная защита зависит от устройства операции и используемых библиотек.

Полезный учебный материал включает исходный код, версию компилятора и тест с последовательностью вызовов. Сначала воспроизведите нежелательное поведение в изолированной среде. Испытания с реальными средствами не нужны для понимания механизма.

Проверьте отказ и повторение сценария

Что произойдёт, если внешний вызов завершится ошибкой? Может ли пользователь повторить действие? Какие изменения должны отмениться или сохраниться? Эти вопросы помогают рассматривать контракт как систему переходов состояния.

Опыт наставника стоит сопоставлять с назначением вашего проекта и используемыми инструментами тестирования. Учебный разбор не равен независимому аудиту безопасности. До реального применения потребуется проверка всего контекста, включая взаимодействующие контракты и модель полномочий.