Web3, Bitcoin и Solidity — страница 8

Блокчейн-приложения, контракты, тестовые среды и веб-интерфейсы.

Темы раздела

Материалы

• Fork-тестирование в Foundry: выбранный локальный блок

  Определяем паспорт локального снимка для fork-проверки и отделяем скопированное состояние от отправки транзакций исходному узлу.

• Foundry: trace и оценка расхода газа

  Читаем дерево вызовов и задаём сопоставимые условия измерения газа, отделяя локальные показатели от стоимости сетевой транзакции.

• Foundry: исходники, настройки и байткод контракта

  Различаем код создания и runtime, учитываем immutable издателя и готовим паспорт происхождения конкретного экземпляра.

• Foundry: итоговая лаборатория тестирования Solidity

  Собираем итоговые исходники реестра, unit/fuzz/invariant и отдельных адаптеров, сохраняя честный статус отсутствия исполнения.

• Безопасность: разбор собственного контракта

  Тридцать уроков: модель угроз, границы вызовов, учёт ресурсов, подписи, storage и процедура инцидента.

• Безопасность Solidity: модель угроз учебной библиотеки

  Активы, роли, входы и последствия описаны до исправлений

• Безопасность Solidity: границы доверия и источники данных

  Контракт, кошелёк, RPC, манифест и сервер имеют отдельные обязанности

• Безопасность Solidity: все пути административного изменения

  Каждое присваивание имеет разрешённый субъект и условия

• tx.origin в Solidity: риск ошибочной авторизации

  Собственная модель посредника объясняет отличие msg.sender

• Безопасность Solidity: контекст внутренних и внешних вызовов

  Call, self-call и delegatecall нельзя заменять по сходству имени

• Checks-Effects-Interactions в Solidity: порядок действий

  Состояние подготовлено до передачи управления внешнему получателю

• Reentrancy в Solidity: разбор локальной модели

  Промежуточное состояние и повторное выполнение разобраны без чужих адресов

• Межфункциональная reentrancy в Solidity

  Общий ресурс защищается по всем маршрутам

• Безопасность Solidity: проверка результата внешнего вызова

  False, revert и успешный return имеют отдельные последствия

• Безопасность Solidity: нестандартное поведение токена

  Полученная сумма и callback требуют собственной модели доверия

• Безопасность Solidity: входные значения и достижимые состояния

  Тип не заменяет ненулевые значения, пределы и связи полей

• Solidity: переполнение чисел и приведение типов

  Checked arithmetic не проверяет предметный смысл сужения

• Безопасность Solidity: округление и базовые единицы

  Направление округления задано для каждой стороны расчёта

• Безопасность Solidity: ответ оракула и масштаб

  Положительное значение, decimals и область допустимости проверены явно

• Безопасность Solidity: устаревший ответ и недоступность

  Предел свежести относится к источнику и бизнес-политике

• Безопасность Solidity: граница срока действия

  Разделяем срок намерения и свежесть источника, задаём точные границы и объясняем отказ при исполнении после дедлайна.

• Безопасность Solidity: псевдослучайность и публичные входы

  Отличаем публичное хеширование от случайности, разбираем собственный неправильный draw и границы commit-reveal и независимых источников.

• Безопасность Solidity: зависимость от порядка транзакций

  Разбираем два порядка публикации и деактивации, роль nonce отправителя и различие между receipt и актуальным состоянием курса.

• Безопасность Solidity: защита редакционного намерения

  Создаём отдельный реестр с ожидаемой ревизией и дедлайном, защищая точное редакционное намерение от применения к новому состоянию.