Свет на исследователя: @cmichelio Ведущий исследователь безопасности в Spearbit, Кристоф помог обеспечить безопасность самых сложных DeFi-систем на сегодняшний день, привнося ориентированный на доказательства подход, который меняет представление организаций о рисках. Его история доступна ниже.

Он изучал математику и информатику с акцентом на криптографию. Этот академический путь привел его в Web3, где открытая природа и композируемость смарт-контрактов сразу же выделялись.

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

Каждый обзор начинается с основного вопроса: что нужно, чтобы украсть средства? Отсюда он моделирует состояние системы, определяет пути атаки и ищет доказательства. Если это доказательство не проходит, возможна эксплуатация. Если оно подтверждается, протокол безопасен.

Кристоф работал на большинстве крупных DeFi платформ. Его долгосрочные сотрудничества включают в себя обзор почти каждого обновления протокола Sky, ранее известного как MakerDAO, где системы управления и экономики постоянно развиваются.

Чтобы избежать скуки, он ищет новизну: протоколы, требующие моделирования на бумаге, новые парадигмы цепочек, такие как Move, и команды, создающие крипто-нативные примитивы. Он все еще верит в DAO и хочет видеть их успех.

Хотя большая часть его процесса ручная, он следит за развитием ИИ в аудите. Его интерес не является хайпом, это доказательство. Он хочет оценить результаты, протестировать подсказки и измерить прирост сигнала по различным классам ошибок.

Для @cmichelio смарт-контракты — это системы правил. Он определяет риски, прослеживает логику и выявляет, где допускаются ошибки. Дело не только в поиске багов. Речь идет о доказательстве того, что должно или не должно быть возможным.