Destacado del Investigador: @cmichelio Investigador Principal de Seguridad en Spearbit, Christoph ha ayudado a asegurar los sistemas DeFi más sofisticados hasta la fecha, aportando una mentalidad basada en pruebas que transforma la forma en que las organizaciones piensan sobre el riesgo. Su historia está disponible a continuación.

Estudió matemáticas e informática con un enfoque en criptografía. Ese camino académico lo llevó a Web3, donde la naturaleza de código abierto y la composabilidad de los contratos inteligentes destacaron de inmediato.

Antes de la seguridad, el camino de Christoph pasó por el desarrollo fullstack y de blockchain. El punto de inflexión llegó cuando los exploits en el mundo real y las recompensas de seis cifras mostraron cuánto impacto había en encontrar y corregir errores.

Cada revisión comienza con una pregunta central: ¿qué se necesitaría para robar fondos? A partir de ahí, modela el estado del sistema, define las rutas de ataque y busca una prueba. Si esa prueba falla, es posible un exploit. Si se mantiene, el protocolo es seguro.

Christoph ha trabajado en la mayoría de las principales plataformas DeFi. Sus colaboraciones a largo plazo incluyen la revisión de casi cada actualización del protocolo Sky, anteriormente MakerDAO, donde los sistemas de gobernanza y económicos evolucionan continuamente.

Para evitar aburrirse, busca novedad: protocolos que requieren modelado en papel y lápiz, nuevos paradigmas de cadena como Move, y equipos que construyen para primitivos nativos de cripto. Sigue siendo un creyente en las DAOs y quiere verlas tener éxito.

Aunque la mayor parte de su proceso es manual, está observando la evolución de la IA en la auditoría. Su interés no es una moda, es evidencia. Quiere comparar resultados, probar indicaciones y medir la ganancia de señal en diferentes clases de errores.

Para @cmichelio, los contratos inteligentes son sistemas de reglas. Define los riesgos, traza la lógica e identifica dónde fallan las suposiciones. No se trata solo de encontrar errores. Se trata de probar lo que debería o no debería ser posible.