Investigador destacado: @cmichelio Christoph, investigador principal de seguridad en Spearbit, ha ayudado a proteger los sistemas DeFi más sofisticados hasta la fecha, aportando una mentalidad basada en pruebas que remodela la forma en que las organizaciones piensan sobre el riesgo. Su historia está disponible a continuación.

Estudió matemáticas y ciencias de la computación con un enfoque en criptografía. Ese camino académico lo llevó a la Web3, donde la naturaleza de código abierto y la componibilidad de los contratos inteligentes se destacaron de inmediato.

Antes de la seguridad, el camino de Christoph pasaba por el desarrollo de fullstack y blockchain. El punto de inflexión llegó cuando los exploits del mundo real y las recompensas de seis cifras mostraron cuánto impacto había en la búsqueda y corrección de 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 que se produzca 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 todas las actualizaciones del protocolo Sky, anteriormente MakerDAO, donde los sistemas de gobernanza y economía evolucionan continuamente.

Para evitar aburrirse, busca novedades: protocolos que requieran modelado de lápiz y papel, nuevos paradigmas de cadena como Move y equipos que construyan primitivas criptonativas. Sigue creyendo en las DAO y quiere verlas triunfar.

Si bien 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 exageración, es evidencia. Quiere comparar las salidas, probar las indicaciones y medir la ganancia de señal en diferentes clases de errores.

Por @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 demostrar lo que debería o no debería ser posible.