У центрі уваги дослідника: @cmichelio Провідний дослідник безпеки в Spearbit, Крістоф допоміг захистити найскладніші системи DeFi на сьогоднішній день, привнісши мислення, засноване на доказах, яке змінює уявлення організацій про ризики. З його історією можна ознайомитися нижче.

Він вивчав математику та інформатику з акцентом на криптографію. Цей академічний шлях привів його до Web3, де відразу виокремився характер відкритого вихідного коду та компонування смарт-контрактів.

До безпеки шлях Крістофа пролягав через fullstack і розробку блокчейну. Переломний момент настав, коли реальні експлойти та шестизначні баунті показали, наскільки великий вплив має пошук та виправлення помилок.

Кожен відгук починається з ключового питання: що потрібно, щоб вкрасти кошти? Звідти він моделює стан системи, визначає шляхи атаки та шукає докази. Якщо цей доказ не спрацює, можливий експлойт. Якщо він витримує, протокол безпечний.

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

Щоб не нудьгувати, він шукає новинки: протоколи, які вимагають моделювання ручкою та папером, нові парадигми ланцюгів, такі як Move, і створення команд для крипто-нативних примітивів. Він все ще вірить у DAO і хоче бачити, як вони досягають успіху.

Хоча більша частина його процесів виконується вручну, він спостерігає за еволюцією штучного інтелекту в аудиті. Його інтерес – не хайп, а доказ. Він хоче порівнювати вихідні дані, тестувати підказки та вимірювати коефіцієнт посилення сигналу для різних класів помилок.

Для @cmichelio смарт-контракти – це системи правил. Він визначає ризики, простежує логіку та визначає, де припущення не спрацьовують. Мова йде не тільки про пошук багів. Йдеться про те, щоб довести, що має бути можливим, а що ні.