Zaměřeno na výzkumníka: @cmichelio Christoph, vedoucí bezpečnostní výzkumník ve společnosti Spearbit, pomohl zajistit dosud nejsofistikovanější systémy DeFi a přinesl myšlení založené na důkazech, které mění způsob, jakým organizace přemýšlejí o rizicích. Jeho příběh je k dispozici níže.

Vystudoval matematiku a informatiku se zaměřením na kryptografii. Tato akademická cesta ho přivedla k Web3, kde okamžitě vynikla open-source povaha a skládatelnost chytrých kontraktů.

Před bezpečností vedla Christophova cesta přes fullstack a vývoj blockchainu. Zlom nastal, když exploity v reálném světě a šestimístné odměny ukázaly, jak velký vliv má hledání a oprava chyb.

Každá recenze začíná základní otázkou: co by bylo potřeba ke krádeži finančních prostředků? Odtud modeluje stav systému, definuje cesty útoku a hledá důkaz. Pokud tento důkaz selže, je možné jej zneužít. Pokud platí, protokol je bezpečný.

Christoph pracoval na většině hlavních platforem DeFi. Jeho dlouhodobá spolupráce zahrnuje revizi téměř každého upgradu protokolu Sky, dříve MakerDAO, kde se systémy správy a ekonomiky neustále vyvíjejí.

Aby se nenudil, hledá novinky: protokoly, které vyžadují modelování tužkou a papírem, nová paradigmata řetězců jako Move a vytváření týmů pro kryptonativní primitiva. Stále věří v DAO a chce, aby uspěly.

I když je většina jeho procesu manuální, sleduje vývoj umělé inteligence v auditu. Jeho zájem není humbuk, je to důkaz. Chce srovnávat výstupy, testovat výzvy a měřit zisk signálu napříč různými třídami chyb.

Pro @cmichelio jsou chytré kontrakty systémy pravidel. Definuje rizika, sleduje logiku a identifikuje, kde předpoklady selhávají. Nejde jen o hledání chyb. Jde o to dokázat, co by mělo nebo nemělo být možné.