Web5 CodeDive
4 subscribers
2 links
Разбираемся в коде и смарт-контрактах. Анонсы курсов Web5.
Download Telegram
Channel created
Channel photo updated
Здесь будем анализировать ошибки из контестов Code4rena/Cantina/Sherlock/Immunefi.
Channel name was changed to «Web5pro.ru»
Channel name was changed to «Web5 CodeDive»
Одна из типичных ошибок при анализе кода:

Ошибка восприятия кода (perceptual error).

Что это?
Неверная интерпретация кода из-за невнимательности или усталости, например, чтение if not condition как if condition.

Такие ошибки могут привести к неправильным выводам о логике программы.

Как избежать?
1.Читайте код медленно и вслух, особенно логические выражения и условия.
2. Делайте заметки и сверяйте их с реальным кодом.
Для курса "Введение в безопасность кода на C" закончен модуль "Целочисленные уязвимости".

Осталось сделать модуль "Уязвимости работы с памятью".

Готовность курса 70%
Статья об использовании GPT-5 в математике. Стоит прочитать раздел 5 (reflections). Ссылка https://arxiv.org/pdf/2509.03065v1
Из текущих контестов стоит обратить внимание на Ethereum Fusaka (sherlock), Brevis Pico ZKVM (sherlock) и Monad (code4rena),
Аудит проекта Monad - не часто встретишь такую неудачную организацию, code4rena превзошли сами себя. Они опубликовали репорты в самом конце контеста.
💯2
В работе курс по фаззингу. Акцент будет на afl++.