Pesquisador em destaque: @cmichelio Pesquisador líder de segurança da Spearbit, Christoph ajudou a proteger os sistemas DeFi mais sofisticados até o momento, trazendo uma mentalidade baseada em provas que remodela a forma como as organizações pensam sobre o risco. Sua história está disponível abaixo.

Ele estudou matemática e ciência da computação com foco em criptografia. Esse caminho acadêmico o levou à Web3, onde a natureza de código aberto e a capacidade de composição dos contratos inteligentes se destacaram imediatamente.

Antes da segurança, o caminho de Christoph passou pelo desenvolvimento fullstack e blockchain. O ponto de virada veio quando exploits do mundo real e recompensas de seis dígitos mostraram quanto impacto havia em encontrar e corrigir bugs.

Cada revisão começa com uma pergunta central: o que seria necessário para roubar fundos? A partir daí, ele modela o estado do sistema, define caminhos de ataque e procura uma prova. Se essa prova falhar, uma exploração é possível. Se for válido, o protocolo é seguro.

Christoph trabalhou na maioria das principais plataformas DeFi. Suas colaborações de longo prazo incluem a revisão de quase todas as atualizações do protocolo Sky, anteriormente MakerDAO, onde os sistemas econômicos e de governança evoluem continuamente.

Para evitar ficar entediado, ele busca novidades: protocolos que exigem modelagem de caneta e papel, novos paradigmas de cadeia como Move e equipes construindo para primitivos cripto-nativos. Ele ainda acredita em DAOs e quer vê-los ter sucesso.

Embora a maior parte de seu processo seja manual, ele está observando a evolução da IA na auditoria. Seu interesse não é exagero, é evidência. Ele quer comparar saídas, testar prompts e medir o ganho de sinal em diferentes classes de bugs.

Para @cmichelio, os contratos inteligentes são sistemas de regras. Ele define os riscos, traça a lógica e identifica onde as suposições falham. Não se trata apenas de encontrar bugs. Trata-se de provar o que deve ou não ser possível.