Explorar las categorías
Explora
Fiverr Pro
Español
$
USD
Revisaré y auditaré tus contratos inteligentes
Acerca de este Servicio
¿Estás lanzando un contrato inteligente y necesitas una auditoría enfocada en seguridad en la que puedas confiar? ¡Estoy aquí para ayudarte!
Soy un auditor de contratos inteligentes en Solidity con amplia experiencia, con un fuerte enfoque en pruebas automatizadas, verificación formal y análisis profundo de seguridad usando herramientas estándar de la industria.
Lo que ofrezco:
- Pruebas fuzz y pruebas de invariantes con Foundry
- Verificación formal usando Certora Prover
- Análisis estático usando Slither y Aderyn
- Revisión manual de lógica, matemáticas, modificadores, control de acceso y casos límite
- Optimización de gas y revisiones de mejores prácticas
- Revisión de seguridad de contratos upgradeables
- Informes de auditoría completos y claros
Herramientas y tecnologías:
- Foundry (forge, fuzzing, invariants, cheatcodes)
- Certora Prover (especificaciones formales y afirmaciones)
- Slither (análisis estático)
- Aderyn (diff semántico y revisiones de regresión)
- Solidity, EVM, bibliotecas de OpenZeppelin
- Proyectos basados en Foundry
Lo que obtienes:
- Una auditoría completa de seguridad de tus contratos inteligentes
- Informe en PDF con vulnerabilidades, severidad y recomendaciones
- Validación de correcciones y re-auditoría opcional (para paquetes Standard y Premium)
- Información sobre uso de gas y sugerencias de optimización
Envíame un mensaje para discutir tu proyecto y obtener una cotización personalizada adaptada a tus necesidades.
Herramientas:
MythX
•
Slither
•
Etherscan
Mantenga sus activos e información seguros
Los servicios de criptomonedas se centran de manera exclusiva en el desarrollo y la programación. No se debe compartir información confidencial ni claves privadas con otras personas.
Mi porfolio
Otros servicios de Desarrollo y soluciones de blockchain que ofrezco
FAQ
Traducción automática
¿Qué necesito presentar para la auditoría?
Repositorio en Github junto con un README adecuado. El código debe seguir los estándares de natspec.
¿Qué incluye el informe de auditoría?
El informe incluye vulnerabilidades identificadas, sus niveles de severidad (bajo/medio/alto/crítico), sugerencias para corregirlas, consejos de optimización de gas y evidencia de pruebas relevante (para resultados de fuzz/verificación formal).
¿Ofreces re-auditorías después de que aplique las correcciones?
¡Sí! Todos los paquetes Standard y Premium incluyen una ronda de re-auditoría gratuita después de aplicar las correcciones. Validaré los cambios y actualizaré el informe en consecuencia.
