TRABAJOS / TODOS LOS PROYECTOS

Trabajos en smart contracts y protocolos

Proyectos que hemos diseñado, desarrollado o en los que hemos trabajado, desde protocolos de clientes hasta implementaciones open source.

PROYECTOS PARA CLIENTES Y EQUIPOS

04 ENTRADAS · SELECCIONA UNA PARA ABRIR SU FICHA

C-01 · feb. 2026 - actualidad

Roofcast

Lead Smart Contract Engineer & Protocol Architect

Protocolo de prediction markets inmobiliarios, en una testnet pública abierta a usuarios de Florida.

591+ TESTS · EIP-7702 · GNOSIS CTF

C-02 · dic. 2025 - oct. 2026

MoveX

Protocol Architect & Lead Engineer

DEX de derivados de volatilidad, en el que los traders toman posiciones sobre la volatilidad y no sobre la dirección del precio. La colaboración terminó cuando el proyecto migró a Solana.

MATCHING HÍBRIDO · INTENTS EIP-712

C-03 · mar. 2025 - oct. 2025

fija Finance

Customer Integration Engineer

Plataforma de DeFi institucional basada en estrategias de vaults ERC-4626.

ERC-4626 · NODE.JS · NESTJS

C-04 · jul. 2022 - oct. 2024

Dexynth & BeGlobal Finance

Lead Blockchain Developer · Blockchain Developer

Dos empresas hermanas con el mismo CEO y CTO: Dexynth, un protocolo multichain de trading de sintéticos (Lead Blockchain Developer, ene. 2023 - oct. 2024), y BeGlobal Finance, un protocolo de préstamo (Blockchain Developer, jul. 2022 - dic. 2022).

ORÁCULOS PROPIOS · L2 EVM · FORK DE COMPOUND

IMPLEMENTACIONES OPEN SOURCE

06 ENTRADAS

Implementaciones independientes escritas para explorar cada diseño en profundidad. Ninguna está desplegada en producción.

O-01 · OPEN SOURCE

Money market

Mercado de préstamo de un solo activo base (USDC) inspirado en Compound III, con colateral inerte, contabilidad de principal con signo, un ERC-20 rebasing, un modelo jump-rate con supply rate derivado y liquidaciones por absorb con la deuda incobrable reconocida como reservas negativas.

350 TESTS · 17 INVARIANTES · COBERTURA 95 %+

O-02 · OPEN SOURCE

Vaults ERC-4626

Vault y estrategia desacoplados, con un bucle apalancado atómico de WETH (flash loan de Uniswap V4, E-Mode de Aave V3, LTV del 93 %), que se deshace a prorrata para que las retiradas nunca aumenten el apalancamiento.

365 TESTS · 27 INVARIANTES · BATERÍAS DE FORK

O-03 · OPEN SOURCE

Protocolo de trading sintético

Implementación independiente basada en nuestro trabajo en Dexynth y en el modelo de gTrade, con un único vault ERC-4626 en USDC como contraparte de cada operación, valorado a un NAV conservador, precios de Pyth anclados a Chainlink y tres capas de solvencia.

818 TESTS · 32 INVARIANTES · COBERTURA 100 %

O-04 · OPEN SOURCE

Rediseño del staking real-yield

Rediseño posterior e independiente del contrato de staking multinivel escrito en Dexynth, con un acumulador de recompensa por participación que hace que stake, unstake y harvest tengan un coste constante.

92 %+ MENOS GAS · 132 TESTS · COBERTURA 100 %

O-05 · OPEN SOURCE

Security token RWA (ERC-3643)

Subconjunto de ERC-3643 escrito desde cero, con atestaciones de identidad EIP-712, un motor de cumplimiento modular, anclaje de documentos ERC-1643 y recuperación de wallets controlada por un custodio.

421 TESTS · 12 INVARIANTES · 100 % DE RAMAS

O-06 · OPEN SOURCE

Prediction market

Desarrollada como investigación antes de nuestro trabajo en Roofcast.

CPMM · GNOSIS CTF · CREATE2

¿Tienes un proyecto parecido?

Reservar una llamada de 30 minEnviar un mensaje
FICHA DEL PROYECTO · C-01

Roofcast

ROL
Lead Smart Contract Engineer & Protocol Architect
FECHAS
feb. 2026 - actualidad

Protocolo de prediction markets inmobiliarios, en una testnet pública abierta a usuarios de Florida.

  • Arquitectura orientada a eventos con una factory sin estado y cuentas delegadas EIP-7702 para operar en un clic sin pagar gas
  • Desarrollador principal en Solidity del CPMM, el settlement con Gnosis CTF y la lógica atómica de LP y swaps, con más de 591 tests
  • Solvencia contabilizada por pool con comprobación de invariantes tras cada cambio de estado, además de la hoja de ruta técnica y la documentación de arquitectura

591+ TESTS · EIP-7702 · GNOSIS CTF

LinkedInWeb
FICHA DEL PROYECTO · C-02

MoveX

ROL
Protocol Architect & Lead Engineer
FECHAS
dic. 2025 - oct. 2026

DEX de derivados de volatilidad, en el que los traders toman posiciones sobre la volatilidad y no sobre la dirección del precio. La colaboración terminó cuando el proyecto migró a Solana.

  • Modelo híbrido con matching off-chain para una ejecución en menos de un segundo y settlement onchain sin custodia
  • Intents sin gas firmados con EIP-712, de modo que el gas solo se paga en el settlement de cada operación
  • Motor de settlement con transiciones de estado estrictamente tipadas y settlement automático del PnL, diseñado para mantener la solvencia del protocolo

MATCHING HÍBRIDO · INTENTS EIP-712

Web
FICHA DEL PROYECTO · C-03

fija Finance

ROL
Customer Integration Engineer
FECHAS
mar. 2025 - oct. 2025

Plataforma de DeFi institucional basada en estrategias de vaults ERC-4626.

  • Integración de las estrategias de vaults de fija en los sistemas de clientes institucionales (exchanges, bancos y fondos de capital riesgo) mediante servicios en Node.js y NestJS
  • Un bot de market making que mantenía financiadas las wallets de un exchange centralizado desde vaults ERC-4626, minteando, quemando y moviendo tokens onchain, y publicaba órdenes para ofrecer esa liquidez a los traders

ERC-4626 · NODE.JS · NESTJS

FICHA DEL PROYECTO · C-04

Dexynth & BeGlobal Finance

ROL
Lead Blockchain Developer · Blockchain Developer
FECHAS
jul. 2022 - oct. 2024

Dos empresas hermanas con el mismo CEO y CTO: Dexynth, un protocolo multichain de trading de sintéticos (Lead Blockchain Developer, ene. 2023 - oct. 2024), y BeGlobal Finance, un protocolo de préstamo (Blockchain Developer, jul. 2022 - dic. 2022).

  • Dexynth. Oráculos propios diseñados y desarrollados desde cero, para que el protocolo pudiera lanzarse en L2 emergentes que ningún oráculo comercial cubría, incluso en testnet
  • Dexynth. Contratos del protocolo en varias redes L2 EVM, incluido su sistema de staking multinivel de real yield, además de la API, el WebSocket y los microservicios, y la dirección del equipo técnico y de diseño de producto
  • BeGlobal Finance. Despliegue, revisión y pruebas de los mercados de préstamo basados en un fork de Compound, con oráculos Chainlink a medida en nodos propios con external adapters
  • BeGlobal Finance. Contratos de liquidación con lógica checkUpkeep y performUpkeep, ejecutada automáticamente mediante Chainlink Keepers (ahora Chainlink Automation)
  • Dexynth cerró en 2024, cuando el bear market lo dejó sin financiación

ORÁCULOS PROPIOS · L2 EVM · FORK DE COMPOUND

FICHA DEL PROYECTO · O-01

Money market

ROL
Implementación independiente
FECHAS
Open source

Mercado de préstamo de un solo activo base (USDC) inspirado en Compound III, con colateral inerte, contabilidad de principal con signo, un ERC-20 rebasing, un modelo jump-rate con supply rate derivado y liquidaciones por absorb con la deuda incobrable reconocida como reservas negativas.

  • Redondeo dirigido, una única ruta contable y un oráculo Pyth que tiene en cuenta el intervalo de confianza, anclado a Chainlink
  • 350 tests, 17 invariantes stateful y 49.000 ejecuciones de fuzzing, con más de un 95 % de cobertura en cada contrato

350 TESTS · 17 INVARIANTES · COBERTURA 95 %+

RepositorioApp
FICHA DEL PROYECTO · O-02

Vaults ERC-4626

ROL
Implementación independiente
FECHAS
Open source

Vault y estrategia desacoplados, con un bucle apalancado atómico de WETH (flash loan de Uniswap V4, E-Mode de Aave V3, LTV del 93 %), que se deshace a prorrata para que las retiradas nunca aumenten el apalancamiento.

  • Health check que cualquiera puede ejecutar y que deshace la posición antes de la liquidación, dead shares y comisión con high-water mark
  • 365 tests, 27 invariantes stateful y baterías de fork, con 18 problemas de revisión corregidos mediante tests de regresión

365 TESTS · 27 INVARIANTES · BATERÍAS DE FORK

RepositorioApp
FICHA DEL PROYECTO · O-03

Protocolo de trading sintético

ROL
Implementación independiente
FECHAS
Open source

Implementación independiente basada en nuestro trabajo en Dexynth y en el modelo de gTrade, con un único vault ERC-4626 en USDC como contraparte de cada operación, valorado a un NAV conservador, precios de Pyth anclados a Chainlink y tres capas de solvencia.

  • 818 tests, 32 propiedades de invariantes y una batería de fork de Arbitrum One, con un 100 % de cobertura de líneas y ramas
  • 28 hallazgos de revisión corregidos o documentados

818 TESTS · 32 INVARIANTES · COBERTURA 100 %

RepositorioApp
FICHA DEL PROYECTO · O-04

Rediseño del staking real-yield

ROL
Implementación independiente
FECHAS
Open source

Rediseño posterior e independiente del contrato de staking multinivel escrito en Dexynth, con un acumulador de recompensa por participación que hace que stake, unstake y harvest tengan un coste constante.

  • Más de un 92 % menos de gas en unstake y harvest tras 10 épocas
  • 132 tests y 5 invariantes, con un 100 % de cobertura de líneas y ramas

92 %+ MENOS GAS · 132 TESTS · COBERTURA 100 %

RepositorioApp
FICHA DEL PROYECTO · O-05

Security token RWA (ERC-3643)

ROL
Implementación independiente
FECHAS
Open source

Subconjunto de ERC-3643 escrito desde cero, con atestaciones de identidad EIP-712, un motor de cumplimiento modular, anclaje de documentos ERC-1643 y recuperación de wallets controlada por un custodio.

  • 421 tests y 12 invariantes stateful, con un 100 % de cobertura de ramas
  • 13 bugs de revisión corregidos, cada uno con su test de regresión

421 TESTS · 12 INVARIANTES · 100 % DE RAMAS

RepositorioApp
FICHA DEL PROYECTO · O-06

Prediction market

ROL
Prueba de concepto de investigación inicial
FECHAS
Open source

Desarrollada como investigación antes de nuestro trabajo en Roofcast.

  • CPMM con liquidez virtual, modelo de comisión de entrada, custodia con Gnosis CTF y una factory de mercados con CREATE2

CPMM · GNOSIS CTF · CREATE2

Repositorio