Forsker i søkelyset: @cmichelio Christoph er ledende sikkerhetsforsker hos Spearbit, og har bidratt til å sikre de mest sofistikerte DeFi-systemene til dags dato, og bringer en bevisdrevet tankegang som omformer hvordan organisasjoner tenker på risiko. Historien hans er tilgjengelig nedenfor.

Han studerte matematikk og informatikk med fokus på kryptografi. Den akademiske veien førte ham til Web3, hvor åpen kildekode-naturen og komponerbarheten til smarte kontrakter umiddelbart skilte seg ut.

Før sikkerhet gikk Christophs vei gjennom fullstack og blokkjedeutvikling. Vendepunktet kom da virkelige bedrifter og sekssifrede dusører viste hvor stor innvirkning det var å finne og fikse feil.

Hver anmeldelse begynner med et kjernespørsmål: hva skal til for å stjele penger? Derfra modellerer han systemtilstand, definerer angrepsbaner og ser etter et bevis. Hvis dette beviset mislykkes, er en utnyttelse mulig. Hvis den holder, er protokollen trygg.

Christoph har jobbet på tvers av de fleste store DeFi-plattformer. Hans langsiktige samarbeid inkluderer gjennomgang av nesten hver oppgradering av Sky-protokollen, tidligere MakerDAO, der styring og økonomiske systemer utvikler seg kontinuerlig.

For å unngå å kjede seg, søker han nyheter: protokoller som krever penn-og-papir-modellering, nye kjedeparadigmer som Move og team som bygger for krypto-native primitiver. Han tror fortsatt på DAO-er og ønsker å se dem lykkes.

Selv om det meste av prosessen hans er manuell, følger han med på utviklingen av AI i revisjon. Interessen hans er ikke hype, det er bevis. Han ønsker å måle utganger, teste meldinger og måle signalforsterkning på tvers av forskjellige klasser av feil.

For @cmichelio er smarte kontrakter regelsystemer. Han definerer risikoene, sporer logikken og identifiserer hvor antagelser svikter. Det handler ikke bare om å finne feil. Det handler om å bevise hva som bør eller ikke bør være mulig.