Небольшая лекция на тему подготовки протокола к аудиту?

Давно хотел попробовать для себя формат стрим-лекций на тему безопасности и аудита смарт контрактов: делать подборки современных багов и уязвимостей, разбирать нюансы передачи сообщений через мост, правильно подключать сторонние оракулы и протоколы и т.д. Но все как-то не доходили руки и не было свободного времени...

На днях меня смотивировали вернуться к этой идее, и я хотел бы попробовать провести первый стрим-лекцию для участников канала.

Для начала выбрал тему "Подготовка протокола к аудиту", где постараюсь рассказать, как разработчики могут помочь аудитору провести максимально эффективную проверку безопасности проекта: на что обратить внимание, как писать комментарии, зачем нужен АИ и статические анализаторы, как выбрать аудитора и т.д.

Уже около двух лет я периодически захожу на конкурсные аудиты, провел несколько соло-аудитов и просмотрел несколько десятков протоколов и документации, поэтому с уверенностью смогу подсказать, как сделать все в лучшем виде.

P.S. Точно знаю, что не будет лекций о том, как именно проводить аудит и участвовать в конкурсах. Я хоть уже долго занимаюсь этой темой, но не считаю себя топовым аудитором, да и большие призовые пока не получал. Лучше будет пригласить кого-нибудь более опытного аудитора для участия в лекции.

Для меня самого это будет скорее проверкой идеи: как все будет проходить с технической стороны, насколько мне будет комфортен видео формат, много ли сил и времени займет подготовка. Если все пройдет как надо, мы могли бы устраивать такие стримы раз-два в месяц.

В общем, это пока просто "идея на пробу", а там как пойдет.

Первый стрим хочу провести на следующей неделе, скорее всего, в конце.

А так, какие темы в области безопасности и аудита вам были бы интересны?

#video