“Una de las empresas pioneras en soluciones web3, activos digitales y tokenización, reconocida por su innovación y sólida reputación en España y América Latina.”
Jorge CorredorAbogado, Rincón Cuéllar & Asociados
Auditoría de smart contracts. Cada hallazgo, hasta su cierre.
Revisamos el código, los permisos y la lógica económica de tus contratos, con pruebas propias, un informe por severidad y la verificación de cada corrección.
Confían en Metlabs para su proyecto blockchain
Auditoría
¿Qué revisa una auditoría de smart contracts?
Revisa el código, los permisos y la lógica económica de tus contratos antes de que custodien valor. Combina lectura manual línea a línea, fuzzing y análisis estático, y termina en un informe con cada hallazgo clasificado por severidad. Una auditoría reduce el riesgo pero no lo elimina, por eso verificamos también cada corrección.
905 M$
perdidos por fallos en contratos en 2025
OWASP · 2026
122
incidentes en smart contracts en 2025
OWASP · 2026
+953 M$
perdidos por fallos de permisos en 2024
OWASP · 2025
Qué incluye
Qué incluye nuestra auditoría de smart contracts.
Cada pieza deja una evidencia que tu equipo, un inversor o un supervisor puede revisar después, con lo que se miró, lo que se encontró y cómo quedó resuelto.
Alcance congelado
Fijamos contratos, commit y supuestos antes de empezar, para que el informe sea reproducible.
Revisión manual
Lectura línea a línea de la lógica, los permisos y cada flujo que mueve valor en tus contratos.
Fuzzing e invariantes
Propiedades que deben cumplirse siempre, probadas con Foundry contra miles de entradas aleatorias.
Análisis estático
Slither sobre patrones de vulnerabilidad conocidos, con cada aviso revisado a mano antes de reportarlo.
Informe de hallazgos
Cada hallazgo con su severidad, su impacto, una prueba de concepto y la corrección que proponemos.
Verificación de correcciones
Revisamos cada cambio y actualizamos el informe con el estado final de todos los hallazgos.
Decisión de método
¿Revisión manual, herramientas o verificación formal?
Los tres métodos se combinan. La revisión manual encuentra los errores de lógica y de diseño, las herramientas cubren lo repetible en cada cambio y la verificación formal demuestra propiedades concretas cuando el valor en riesgo lo justifica.
| Criterio | Revisión manual | Herramientas automáticas | Verificación formal |
|---|---|---|---|
| Qué detecta | Errores de lógica, de permisos y de diseño económico. | Patrones conocidos y casos límite que genera el fuzzing. | Cualquier violación de las propiedades especificadas. |
| Límite principal | Depende de la experiencia y del tiempo del revisor. | Falsos positivos y ninguna noción de la regla de negocio. | Solo prueba lo especificado. Una mala especificación pasa. |
| Coste relativo | Medio o alto. Crece con el código y su complejidad. | Bajo. Se ejecuta en cada cambio, en integración continua. | El más alto. Exige formalizar cada propiedad. |
| Encaje típico | Todo contrato que vaya a custodiar fondos de terceros. | La base continua de cualquier proyecto, antes y después. | Núcleos críticos como bóvedas, puentes o stablecoins. |
Una auditoría describe lo que se revisó en un commit concreto. Si el código cambia después, el cambio necesita su propia revisión.
Metodología
Cómo auditamos tus smart contracts.
Cuatro fases con su entregable. El alcance se cierra antes de leer una línea y el informe no se da por terminado hasta comprobar las correcciones.
Fijamos el commit, los contratos y los actores, y escribimos qué podría salir mal en cada flujo.
Leemos cada función contra la especificación y documentamos los hallazgos con su prueba de concepto.
Fuzzing e invariantes con Foundry y análisis estático con Slither para cubrir lo que la lectura no alcanza.
Entregamos el informe por severidad, verificamos cada corrección y preparamos el código para una auditoría externa si hace falta.
Herramientas para revisar lo que mueve valor.
Los mismos lenguajes y marcos de pruebas con los que se escriben los contratos, para reproducir cada hallazgo sobre el código real.
- Solidity
Lenguaje de contratos inteligentes con reglas verificables para redes EVM.
- Vyper
Alternativa minimalista a Solidity centrada en auditabilidad.
- Foundry
Pruebas en Solidity, fuzzing de invariantes y herramientas de línea de comandos EVM.
- Hardhat
Entorno para compilar, probar y desplegar contratos en redes EVM desde Node.
- OpenZeppelin
Contratos Solidity auditados para tokens, control de permisos y actualizaciones.
- Ethereum
Contratos EVM, tokens y liquidación final en una red Proof of Stake abierta.
Casos de uso
Cuándo auditamos smart contracts.
Una auditoría tiene sentido antes de que un contrato custodie fondos de terceros y cada vez que cambia su lógica.
Emisiones de deuda tokenizada
Contratos de emisión, cupones y amortización revisados antes de que entre el primer inversor.
Blockchain para Banca y finanzas
Inversión inmobiliaria
Restricciones de transferencia y listas de inversores verificados comprobadas antes de emitir.
Blockchain para Inmobiliario
Economías de juego
Tokens y NFT revisados para que nadie acuñe ni retire más de lo que permite la lógica del juego.
Blockchain para Gaming y entretenimiento
Créditos de carbono
Retirada de créditos sin doble cómputo, con cada operación de quema trazable on-chain.
Blockchain para Energía y sostenibilidad
Opiniones
¿Qué opinan de Metlabs nuestros clientes?
“Estructuramos con ellos la tokenización de proyectos inmobiliarios y destaco la capacidad del equipo para entender nuestras necesidades corporativas y resolverlas.”
Joan MejíaGerente, GLOBYNE
“Nos asesoraron en la viabilidad de tokenizar activos inmobiliarios en Uruguay con un trato cordial y directo. Un equipo profesional, inmediato y siempre disponible.”
Álvaro Silva SantamaríaCEO, Sp Inmuebles
“Grandes profesionales en la estructuración de proyectos tokenizados, con un dominio técnico y una atención al detalle que dan plena confianza en cada fase del trabajo.”
Francisco BetancourtReseña verificada en Google
“Como abogada de blockchain, valoro su experiencia y profesionalismo en la consultoría y ejecución de proyectos de tokenización. Aliados tecnológicos de plena confianza.”
Vanessa RivasAbogada especialista en blockchain, El Salvador
“Grandes profesionales, muy atentos con sus clientes y siempre pendientes de cada detalle. Trabajar con su equipo ha sido un verdadero placer de principio a fin.”
CriptorentReseña verificada en Google
“Una empresa muy profesional y a la vez accesible, que empatiza con tus dudas y necesidades. Muy recomendable para emprendedores con un proyecto de tokenización.”
Javier EspasaEmprendedor en tokenización
“Excepcionales en todo sentido. Desde el soporte legal valoro su rigor y transparencia: trabajar con Metlabs es sinónimo de profesionalismo, innovación y seguridad.”
Pedro A. Agúndez MéndezLocal Guide en Google
“Excelente servicio en desarrollo blockchain, tokenización de activos y consultoría. Un equipo muy profesional al que recomiendo plenamente y sin ninguna reserva.”
José Luis DíazReseña verificada en Google
“He trabajado con ellos en varios proyectos y son muy profesionales. Una garantía para que todo salga de diez. Sin ninguna duda, son 100% recomendables.”
Ignacio Fernández JiménezReseña verificada en Google
“Una de las empresas pioneras en soluciones web3, activos digitales y tokenización, reconocida por su innovación y sólida reputación en España y América Latina.”
Jorge CorredorAbogado, Rincón Cuéllar & Asociados
“Grandes profesionales en la estructuración de proyectos tokenizados, con un dominio técnico y una atención al detalle que dan plena confianza en cada fase del trabajo.”
Francisco BetancourtReseña verificada en Google
“Una empresa muy profesional y a la vez accesible, que empatiza con tus dudas y necesidades. Muy recomendable para emprendedores con un proyecto de tokenización.”
Javier EspasaEmprendedor en tokenización
“He trabajado con ellos en varios proyectos y son muy profesionales. Una garantía para que todo salga de diez. Sin ninguna duda, son 100% recomendables.”
Ignacio Fernández JiménezReseña verificada en Google
“Estructuramos con ellos la tokenización de proyectos inmobiliarios y destaco la capacidad del equipo para entender nuestras necesidades corporativas y resolverlas.”
Joan MejíaGerente, GLOBYNE
“Como abogada de blockchain, valoro su experiencia y profesionalismo en la consultoría y ejecución de proyectos de tokenización. Aliados tecnológicos de plena confianza.”
Vanessa RivasAbogada especialista en blockchain, El Salvador
“Excepcionales en todo sentido. Desde el soporte legal valoro su rigor y transparencia: trabajar con Metlabs es sinónimo de profesionalismo, innovación y seguridad.”
Pedro A. Agúndez MéndezLocal Guide en Google
“Nos asesoraron en la viabilidad de tokenizar activos inmobiliarios en Uruguay con un trato cordial y directo. Un equipo profesional, inmediato y siempre disponible.”
Álvaro Silva SantamaríaCEO, Sp Inmuebles
“Grandes profesionales, muy atentos con sus clientes y siempre pendientes de cada detalle. Trabajar con su equipo ha sido un verdadero placer de principio a fin.”
CriptorentReseña verificada en Google
“Excelente servicio en desarrollo blockchain, tokenización de activos y consultoría. Un equipo muy profesional al que recomiendo plenamente y sin ninguna reserva.”
José Luis DíazReseña verificada en Google
Equipo
Equipo de desarrollo blockchain in-house
Metlabs es una empresa de desarrollo blockchain con sede en A Coruña. Un equipo propio cubre cada parte del proyecto, del producto y la ingeniería a la infraestructura y el encaje legal. Quien diseña tu arquitectura es quien escribe, prueba y despliega el código.
Conoce al equipo- Proyectos en producción
- +30
- En activos tokenizados
- +$40M
- Desarrollo in‑house
- 100%
Isaac González
Head of Innovation
Carlos Peña
Full Stack Engineer
Pablo Castro
DevOps Engineer
Helena Ramos
Product Designer
Javier Yáñez
Legal
Seguridad
Qué comprobamos antes de auditar un smart contract
Cada entrega pasa la misma lista de verificación antes de llegar a mainnet. Lo que cambia entre proyectos es la profundidad de cada control, porque un MVP no asume el mismo riesgo que un contrato que custodia fondos de terceros.
Antes de mainnet
- Roles y permisos definidos para cada función crítica
- Pruebas unitarias y de invariantes, y fuzzing en la lógica que mueve valor
- Análisis estático y revisión cruzada de cada cambio
- Multifirma y timelock en la administración cuando el riesgo lo justifica
- Custodia y rotación de las claves de despliegue acordadas
- Auditoría externa cuando el valor en riesgo lo exige
Trabajamos con auditoras de primer nivel
Desarrollo blockchain
Otros servicios de desarrollo blockchain.
Construir el producto
Conectar la operativa
Representar activos y derechos
Blog
Artículos relacionados
Certificación de smart contracts: qué demuestra una auditoría
Qué debe incluir una auditoría de smart contracts, cómo comprobar su alcance y por qué un informe no garantiza seguridad ni cumplimiento legal.
Hardhat vs Foundry: cuál elegir para tu proyecto en 2026
Pruebas en Solidity y TypeScript, fuzzing, plugins y despliegues: criterios para comparar Hardhat 3 y Foundry sin benchmarks fuera de contexto.
OpenZeppelin y ERC-3643: cómo se construye un security token
Qué aportan las bibliotecas de OpenZeppelin y los controles de ERC-3643, y qué exige además una emisión de valores: derechos, permisos, operación y revisión.
Construyamos los raíles de tu producto.
Envíanos el repositorio y el commit que quieres revisar. Te devolvemos el alcance, el método y el calendario de la auditoría.
