Ricercatore in evidenza: @cmichelio Ricercatore principale in sicurezza presso Spearbit, Christoph ha contribuito a mettere in sicurezza i sistemi DeFi più sofisticati fino ad oggi, portando una mentalità basata su prove che rimodella il modo in cui le organizzazioni pensano al rischio. La sua storia è disponibile qui sotto.

Ha studiato matematica e informatica con un focus sulla crittografia. Quel percorso accademico lo ha portato a Web3, dove la natura open-source e la composabilità dei contratti intelligenti si sono subito distinte.

Prima della sicurezza, il percorso di Christoph è passato attraverso lo sviluppo fullstack e blockchain. Il punto di svolta è arrivato quando exploit nel mondo reale e ricompense a sei cifre hanno dimostrato quanto impatto ci fosse nel trovare e risolvere bug.

Ogni recensione inizia con una domanda fondamentale: cosa ci vorrebbe per rubare fondi? Da lì, modella lo stato del sistema, definisce i percorsi di attacco e cerca una prova. Se quella prova fallisce, è possibile un exploit. Se regge, il protocollo è sicuro.

Christoph ha lavorato su quasi tutte le principali piattaforme DeFi. Le sue collaborazioni a lungo termine includono la revisione di quasi ogni aggiornamento del protocollo Sky, precedentemente MakerDAO, dove i sistemi di governance ed economici evolvono continuamente.

Per evitare di annoiarsi, cerca novità: protocolli che richiedono modellazione su carta e penna, nuovi paradigmi di catena come Move e team che costruiscono per primitive native della crypto. È ancora un sostenitore delle DAO e vuole vederle avere successo.

Sebbene gran parte del suo processo sia manuale, sta osservando l'evoluzione dell'IA nell'auditing. Il suo interesse non è un'illusione, è evidenza. Vuole confrontare i risultati, testare i prompt e misurare il guadagno di segnale attraverso diverse classi di bug.

Per @cmichelio, i contratti intelligenti sono sistemi di regole. Definisce i rischi, traccia la logica e identifica dove le assunzioni falliscono. Non si tratta solo di trovare bug. Si tratta di dimostrare ciò che dovrebbe o non dovrebbe essere possibile.