Auditoría de contratos inteligentes, revisados a mano
Revisamos a mano la lógica y seguridad de tu contrato inteligente antes de que mueva dinero real. Un informe detallado con cada hallazgo, ubicación exacta en el código y verificación de los arreglos posteriores.
Primera llamada técnica sin compromiso. Autorización y confidencialidad firmadas antes de ver el código.
Qué revisamos en cada contrato
Control de acceso y permisos
Comprobamos quién puede ejecutar funciones críticas, actualizar parámetros o pausar el contrato, evitando puertas traseras y privilegios indebidos.
Flujo y custodia de fondos
Seguimos el recorrido de depósitos, retiradas y transferencias, y buscamos dónde podría quedarse dinero bloqueado o salir por donde no debe.
Matemáticas y casos límite
Redondeos, desbordamientos, precios de oráculos que se pueden manipular y qué pasa en condiciones extremas de mercado o de gas.
Lenguajes y quién revisa el código
Solidity (EVM) y Rust (Solana)
Contratos en Solidity para Ethereum y las redes compatibles con EVM, y programas en Rust para Solana.
Daniel Brosed
Desarrollador de contratos inteligentes en Barcelona, formado en seguridad de contratos inteligentes con Cyfrin. Revisa el código y te atiende de la primera llamada a la revisión de los arreglos.
Cómo trabajamos la auditoría
- 1. Llamada técnica (30 min) Evaluamos alcance, repositorios y arquitectura para estimar esfuerzo.
- 2. Propuesta cerrada y NDA Presupuesto por escrito, plazo cerrado y confidencialidad firmada digitalmente.
- 3. Revisión manual sobre entorno de pruebas En local o en una red de pruebas; nunca lanzamos transacciones en la red principal (mainnet).
- 4. Informe y revisión de arreglos Entrega de informe con severidades y validación posterior de las correcciones del equipo.
Preguntas frecuentes sobre auditoría
¿Qué es una auditoría de contratos inteligentes?
Es una revisión del código de un contrato inteligente (smart contract) antes de que mueva dinero real, para encontrar fallos de lógica y de seguridad: quién puede hacer qué, por dónde entra y sale el dinero, si los cálculos aguantan y qué pasa en los casos límite. Recibes un informe con cada hallazgo, dónde está en el código y cómo arreglarlo, y revisamos los arreglos.
¿Es una auditoría certificada?
No. El informe no es una certificación: dice qué se revisó, con qué alcance y en qué fecha, y cada hallazgo lleva su sitio en el código. Ninguna auditoría asegura que un contrato no tenga fallos.
¿En qué lenguajes y redes auditáis?
Contratos en Solidity, para Ethereum y las redes compatibles con EVM, y en Rust, para Solana.
¿Auditáis contratos ya desplegados en red principal?
Sí, pero siempre sobre una copia en entorno local o red de pruebas (testnet). En la red principal no ejecutamos transacciones ni modificamos estado.
¿Firmáis acuerdo de confidencialidad?
Sí. Antes de recibir o examinar el código firmamos la autorización de revisión y el acuerdo de confidencialidad (NDA), que se aceptan online junto al presupuesto.
¿Cuánto cuesta una auditoría?
Depende del tamaño del código, de las integraciones y del plazo. Tras una primera llamada técnica de 30 minutos te mandamos una propuesta cerrada, con alcance, plazo y precio por escrito.