Auditaré tus smart contracts en busca de vulnerabilidades de seguridad

Soy investigador de seguridad en smart contracts y cazador activo de bug bounty con hallazgos de vulnerabilidades reales y divulgadas en protocolos como Wormhole, Aurora y Near Protocol. No puedo publicar mi trabajo para estas empresas porque están bajo NDA. Analizo cómo piensan los atacantes, no solo cómo leen las checklists. Tus smart contracts contienen dinero real, y un bug pasado por alto puede drenarlo en minutos. Lo encontraré antes que un atacante.

Así trabajo:

- Comienzo modelando el sistema del protocolo para mapear máquinas de estado, activos y flujos de valor.

- Revisión manual profunda del código para identificar todas las invariantes que nunca deben romperse y otras vulnerabilidades sutiles.

- Fuzzing avanzado y pruebas de invariantes

- Secuenciación adversarial y condiciones de carrera

- Verificación diferencial y formal

- Prueba de concepto

Lo que obtienes:

- Un informe profesional: cada hallazgo con severidad, impacto y una solución concreta

- Exploits de prueba de concepto para todos los problemas (Estándar y Premium)

- Reverificación de tus correcciones (Estándar y Premium)

¿No estás seguro de qué paquete se ajusta? Envíame tu repo y confirmaré el alcance antes de que hagas tu pedido. Para protocolos grandes o complejos (préstamos, puentes, cross chain), envíame un mensaje para una cotización personalizada.