Protocolos DeFi
Vaults (ERC-4626), mercados de préstamo, AMMs, motores de liquidación y sistemas de staking, con redondeo dirigido, una única ruta contable y controles de solvencia diseñados desde el principio.
Desarrollo de smart contracts, desde un único contrato hasta un protocolo completo
Diseñamos e implementamos smart contracts en Solidity para protocolos DeFi y productos blockchain. Cada encargo sigue el mismo método, adaptado a su tamaño. Primero especificamos los invariantes, después desarrollamos por fases con sus propios tests, y entregamos código documentado y preparado para una auditoría independiente.
01 / PARA QUIÉN ES
Para quién es
- Equipos que construyen un nuevo protocolo DeFi y necesitan a alguien que se ocupe de la capa de smart contracts
- Proyectos que lanzan un token, una colección NFT o una funcionalidad onchain y quieren hacerlo con cuidado desde el principio
- Equipos con un código existente que necesita nuevas funcionalidades, una refactorización o integrarse con otros protocolos
02 / QUÉ DESARROLLAMOS
Qué desarrollamos
Oráculos y fuentes de precio
Integraciones con Chainlink y Pyth con controles de antigüedad, confianza y desviación, y oráculos propios cuando ningún oráculo comercial cubre tu red.
Tokens y NFTs
Tokens ERC-20 con vesting o calendarios de emisión, colecciones ERC-721 y ERC-1155, y tokens con permisos según ERC-3643 (T-REX).
Ver el servicio de tokenizaciónIntegraciones con protocolos
Contratos que se conectan con protocolos existentes como Uniswap, Aave o Compound, incluidos flash loans y estrategias apalancadas.
Operaciones sin gas para el usuario
Intents firmados con EIP-712 y cuentas delegadas EIP-7702 para interacciones en un clic en las que el usuario no paga gas.
No todos los encargos son un protocolo
Entre los trabajos más pequeños que hacemos están
- Un token con vesting o un calendario de emisión a medida
- Una integración con un vault ERC-4626 o un mercado de préstamo existente
- Revisar y ampliar un contrato que ya tienes
- Añadir tests e invariantes a un código que no los tiene
03 / CÓMO FUNCIONA UN ENCARGO
Cómo funciona un encargo
- 01AlcanceUna llamada y un alcance breve por escrito con hitos, entregables y presupuesto.
- 02EspecificaciónInvariantes, roles, modos de fallo y plan de tests, acordados antes de escribir código.
- 03Desarrollo por fasesCada hito se entrega con sus propios tests unitarios, de fuzzing y de invariantes stateful.
- 04Hardening y entregaAnálisis estático, revisión de cobertura, documentación y NatSpec, además de apoyo a tu equipo durante la auditoría.
04 / QUÉ RECIBES
Qué recibes
| ENTREGABLE | FORMATO |
|---|---|
| Contratos en Solidity documentados con NatSpec | Repositorio |
| Una batería de tests en Foundry: unitarios, de fuzzing, de invariantes stateful y, cuando proceda, de fork | Repositorio |
| Una especificación con los invariantes y los modos de fallo del sistema | Documento |
| Scripts de despliegue y un registro escrito de las decisiones de diseño | Repositorio · Documento |
06 / FAQ
Preguntas sobre desarrollo
¿Qué lenguajes y herramientas usáis?
Solidity y Foundry, con Slither y Aderyn para el análisis estático. Yul cuando la optimización de gas lo justifica.
¿Podéis desplegar los contratos por nosotros?
Preparamos los scripts de despliegue y podemos hacer los despliegues en testnet. Los despliegues en mainnet se hacen con tus claves y con nuestro apoyo, para que el control de los contratos sea tuyo desde el primer día.
¿Hacéis contratos actualizables?
Cuando el proyecto lo necesita, con patrones de proxy estándar, y documentamos sus ventajas e inconvenientes. En muchos protocolos, un despliegue inmutable es la opción más segura por defecto.
¿Se auditará el código?
Lo preparamos para una auditoría y la recomendamos para cualquier contrato que vaya a custodiar fondos de usuarios, y después podemos encargarnos de la corrección de los hallazgos. No auditamos nuestro propio código.