Spec-driven.
Invariant-tested.
Solvency first.
Diseñamos, desarrollamos y revisamos smart contracts para protocolos DeFi, tokenización de activos y otros productos blockchain, desde vaults, mercados de préstamo y AMMs hasta oráculos y security tokens. Cada sistema parte de los invariantes que debe cumplir y se prueba contra ellos, fase a fase, antes de llegar a la auditoría.
SOLIDITY · FOUNDRY · EVM L1/L2 · ERC-20 · ERC-721 · ERC-4626 · ERC-3643 · ORÁCULOS
La posición está por encima del umbral de liquidación: el 85 % del colateral todavía cubre la deuda. Mueve el control o elige una caída predefinida para ver dónde se cruza la línea.
01 / SERVICIOS
Desde un único contrato hasta un protocolo completo. Diseño e implementación en Solidity de protocolos DeFi (vaults, mercados de préstamo, AMMs, motores de liquidación y oráculos), tokens, colecciones NFT y tokens con permisos (ERC-3643).
Smart contracts para la tokenización de activos reales (RWA) en blockchain y DLT, desde security tokens con permisos (ERC-3643) hasta flujos de identidad, cumplimiento y recuperación de wallets. Nos encargamos de la parte técnica, en coordinación con tus asesores legales.
Una revisión independiente de tu arquitectura, tus invariantes de solvencia y tu modelo de amenazas, antes de que el diseño quede fijado en código.
Tests de invariantes y fuzzing sobre tu código para detectar problemas antes de que empiece la auditoría, de modo que los auditores puedan centrarse en los más profundos.
No es una auditoría de seguridad, sino la preparación del código para ella.
Tu informe de auditoría, gestionado hasta la revisión de las correcciones por parte de los auditores. Coordinamos con la firma auditora, clasificamos los hallazgos, los corregimos con tests de regresión y preparamos el despliegue, hayamos escrito el código o no.
Apoyo continuo de arquitectura senior para equipos sin un arquitecto de protocolo a tiempo completo, con decisiones de diseño, revisión de código y hoja de ruta técnica.
02 / CÓMO TRABAJAMOS
03 / FUNDADOR
Gustavo Martín
Fundador · Protocol Architect & Senior Smart Contract Engineer
Gustavo diseña y desarrolla smart contracts para protocolos DeFi y productos blockchain. Es lead smart contract engineer y protocol architect en Roofcast, y ha trabajado en protocolos como MoveX, Dexynth, fija Finance y BeGlobal Finance.
Antes de dedicarse a blockchain, durante una fellowship de tres años en el CERN, desarrolló software de control PLC y SCADA para los sistemas de refrigeración y ventilación de sus aceleradores y experimentos, y pasó nueve años como cofundador y director técnico de una empresa de localización de flotas. De esa experiencia con sistemas que, si fallan, tienen que hacerlo de forma segura, viene el enfoque de anteponer la solvencia a todo.
Cuando trabajas con Tesselium, trabajas directamente con él, desde la primera llamada hasta el último commit.
Certificaciones de seguridad de smart contracts de Cyfrin Updraft · Primer premio, Hackathon Web3 de MERGE Madrid 2025
04 / FAQ
No. Es la preparación para una. Añadimos tests de invariantes y de fuzzing, pasamos análisis estático y corregimos lo que encontramos, para que los auditores dediquen su tiempo a los problemas más profundos. Si tus contratos van a custodiar fondos de usuarios, deberías hacer igualmente una auditoría independiente. Después de la auditoría, también podemos encargarnos de la corrección de los hallazgos.
Sí. Un único contrato, un token con vesting o la integración con un protocolo existente son bienvenidos. Cada proyecto sigue el mismo proceso, adaptado a su tamaño.
Ethereum y cadenas compatibles con EVM, incluidas las redes L2. Nuestro stack principal es Solidity y Foundry. También tenemos experiencia con Rust y Anchor en Solana.
Desarrollamos la capa de smart contracts, incluidos security tokens con permisos según ERC-3643, reglas de identidad y cumplimiento onchain, restricciones de transferencia y recuperación de wallets. Tus asesores legales definen la estructura de la emisión, y nosotros implementamos las reglas que fijan.
No. Nos ocupamos de la parte técnica, en coordinación con tus asesores legales, que deciden qué marco regulatorio aplica y qué reglas deben cumplir los tokens.
Antes de que la arquitectura quede fijada en código. Corregir un problema de solvencia en un documento de diseño lleva días; corregirlo después del despliegue puede suponer una migración, o algo peor.
Las revisiones de diseño, el pre-audit hardening y el soporte de auditorías tienen precio cerrado, que se acuerda tras una primera revisión del alcance o del informe de auditoría. El desarrollo y la tokenización se facturan por hitos o por días, y la arquitectura fraccional como cuota mensual. Los precios no incluyen el IVA cuando sea aplicable.
Una revisión de diseño suele llevar de 1 a 2 semanas, y el pre-audit hardening de 2 a 4, según el tamaño del código. Los plazos de desarrollo se acuerdan por hito.
Sí. Podemos sumarnos a un proyecto en marcha, revisar y ampliar contratos existentes o apoyar a tu equipo como arquitecto de protocolo fraccional.
Sí, si lo necesitas antes de compartir tu código o tu diseño.
05 / CONTACTO
Tanto si necesitas un único contrato como una revisión de diseño antes del lanzamiento o apoyo continuo de arquitectura, cuéntanos qué estás construyendo.
¿Prefieres hablar primero? Reserva una llamada inicial gratuita de 30 minutos.
Reservar llamada