Resumen Ejecutivo
Estado General: Fase activa de R&D → Engineering transition
Fase Actual: Objetivo 1 (CIP) completándose + Objetivo 2 (Especificación Técnica) iniciado
Timeline: En track según roadmap publicado
Transparencia: Excelente - tracker 24/7 público desde fines 2024
Estado por Objetivos del Roadmap
Objetivo 1: Improvement Proposal (CIP) - ~80% Completado
CIP-0164 publicado en Agosto 2024
Logros:
- CIP formal publicado y en revisión comunitaria
- Simulaciones Rust y Haskell funcionando
- Cost analysis completado (Technical Report 1)
- Threat modeling en progreso
- Feedback comunitario activo (TxPipe, Blink Labs, Serokell)
Especificaciones Clave del CIP-0164:
- Throughput: 30-50x aumento (de ~4.5 TxkB/s a ~140-300 TxkB/s)
- Latency: 45-60 segundos (vs 20s actual) - balance estratégico
- Deployment timeline: 1-1.5 años
Decisión Estratégica Importante: El CIP-0164 deliberadamente eligió un balance conservador vs el paper de investigación:
- Paper: Mayor throughput pero requiere 2-3 min confirmación + cambios masivos ecosistema
- CIP: 30-50x throughput, latencia modesta, compatible con infraestructura actual
En Revisión:
- Incorporando feedback de editores y comunidad
- Clarificaciones en detalles de especificación
- Análisis de costos refinándose
Objetivo 2: Technical Specification - ~40% Completado
Actividad Intensa Actual
Logros:
- Especificación formal en Agda iniciada (repo separado)
- Simplified Leios y Short Leios formalizados
- Executable spec para Short Leios
- Impact Analysis documento (primer iteración)
- Conformance testing framework diseñado
- Integración CI para type checking
Componentes en Desarrollo:
- Formal spec:
ouroboros-leios-formal-spec(Agda) - Haskell simulation: Mini-protocols tipo mainnet
- Rust simulation: Network completo, más realista
- Delta QSD models: Análisis rápido de carga de red
Conformance Testing:
Agda Spec → Executable Spec → Test Suites
↓ ↓
Haskell Impl Rust Impl
Prototipos Emergentes (Blink Labs):
- Nuevos tipos de certificado para EBs
- Cambio de transaction body hash a full TX hash
- Block shapes iniciales para EBs y RBs
- Primeros pasos en Leios notify mini-protocol
- Integración en Dingo (data node en Go)
Objetivo 3: Showcase 1k TPS - ~20% Iniciado
Fase Muy Temprana
Planificado:
- Network prototype en ambiente controlado
- Target: 200 TxkB/s demostrable
- Validación de asunciones del diseño
- Test adversarial scenarios
- ΔQ modeling para selección de parámetros
- Crypto primitives integration
Notas:
- Esperado para mediados-fines 2025
- Crítico para validar claims de throughput
- Permitirá identificar blind spots
Objetivo 4: Leios Testnet - No Iniciado
Planificado para 2025-2026
Scope:
- Public network dedicado a Leios
- Múltiples implementaciones de nodos
- Continuous load testing
- SPO y developer integration
- Large-scale experiments
Objetivo 5: Hard Fork - No Iniciado
Planificado para 2026
Fases:
- Release candidate cardano-node
- Preview testnet
- Preprod testnet
- Mainnet hard fork (governance vote)
Avances Técnicos Recientes
Septiembre 2024: Transición IOR → IOE
CRÍTICO: Leios pasó oficialmente de Input Output Research a Input Output Engineering.
Esto marca el cambio de “research” a “implementation engineering”.
Tracker 24/7 Público
Lanzado en Token2049 y RareEvo 2024
Acceso: Leios roadmap & activity · GitHub
Features:
- Visibilidad completa de desarrollo
- Issues y sub-issues linkados a objetivos
- Labels y milestones claros
- Follow-the-sun model (equipos globales)
Technical Report 1 (Febrero 2025)
Hallazgos Clave:
“Leios puede lograr throughput cost-effective a 10+ input blocks por segundo usando hardware commodity o cloud asequible”
Pendientes:
- Transaction sharding design final
- Memory pool management
- Fee schedules
- Estimación efectiva de TPS
Infraestructura de Desarrollo
Repositorios Activos
Principal:
input-output-hk/ouroboros-leios(21 stars, 6 forks)- Open source, contribuciones bienvenidas
Formal Spec:
input-output-hk/ouroboros-leios-formal-spec(Agda)
Simulaciones Funcionando
Rust Simulation:
- Network completo
- JSONL traces → web UI visualizer
- Docker disponible
- Configuración vía YAML
Haskell Simulation:
- Mini-protocols tipo mainnet
- Built-in visualization
- Topología configurable
- Docker disponible
Herramientas Públicas
- Simulator (Insight Maker)
- Cost Estimator
- Traffic Estimator
- Visualizer
Todas disponibles en leios.cardano-scaling.org
Participación Comunitaria
Contribuciones Activas
Blink Labs:
- Early prototyping
- Dingo (Go data node) integration
TxPipe:
- Reviews de CIP-0164
- dolos integration planning
Serokell:
- Technical analysis y feedback
Comunicación
Mensual:
- Review and demo sessions (grabadas)
- Progress updates públicos
- GitHub Discussions activo
Semanal:
- Weekly updates en repo
- Logbook diario actualizado
Canales:
- GitHub Discussions
- Monthly video reviews
- CIP process formal
Métricas de Progreso
Código y Specs
- Simulaciones operacionales (Rust + Haskell)
- Formal spec en Agda progresando
- CI/CD con type checking
- Conformance tests en desarrollo
- Impact analysis en iteración
Documentación
- CIP-0164 publicado
- Technical Report 1 disponible
- Roadmap público detallado
- Logbook actualizado regularmente
- Impact Analysis documento
Transparencia
- Tracker 24/7 público
- Monthly reviews grabados
- Repos open source
- Community engagement activo
Desafíos Identificados
Del Logbook (Enero 2025)
Criterios de Terminación Definidos:
"Leios podría necesitar reconceptualización si:
- Costos de transacción son inaceptablemente altos
- Throughput máximo práctico no cumple expectativas stakeholders"
Esto muestra honestidad brutal - están dispuestos a abandonar si no funciona.
Pendientes Críticos
- Transaction Sharding: Diseño final no decidido
- Fee Schedules: Mecanismo de colateralización vs sharding
- Memory Pool Management: Optimizaciones necesarias
- TPS Efectivo: Aún estimando números finales
Riesgos
Técnicos:
- Validación de asunciones en prototype real
- Adversarial scenarios aún por testear extensivamente
- Crypto primitives pending audit
Governance:
- Community acceptance no garantizada
- DReps deben votar informadamente
- Trade-offs deben ser bien comunicados
Timeline Actualizado
Q1 2025 (AHORA)
- CIP-0164 en revisión activa
- Technical Report 1 publicado
- Formal spec Agda progresando
- Prototipos iniciales (Blink Labs)
Q2-Q3 2025
- CIP-0164 finalizado
- Showcase 1k TPS prototype
- Conformance test suites
- Crypto primitives audit
Q4 2025
- Leios testnet público
- Load testing extensivo
- SPO integration tools
2026
- Preview/preprod deployment
- Governance vote
- Mainnet hard fork
Evaluación Personal
Positivo
- Transparencia Excepcional
- Tracker 24/7 es único en crypto
- Monthly reviews públicos
- Logbook honesto sobre desafíos
- Progreso Tangible
- Simulaciones funcionando
- CIP publicado y en revisión
- Community contributors activos
- Transición research → engineering completada
- Rigor Técnico
- Formal methods (Agda)
- Conformance testing planificado
- Impact analysis detallado
- Multiple implementations target
- Realismo
- Admiten termination criteria
- Balance conservador en CIP vs paper
- Timeline honesto (1-1.5 años)
Áreas de Atención
- Decisiones Pendientes
- Sharding vs colateralización no decidido
- Fee mechanisms aún en diseño
- TPS efectivo aún estimando
- Fase Temprana de Implementación
- Showcase 1k TPS apenas iniciando
- Testnet público meses away
- Mainnet 1+ año mínimo
- Riesgo de Governance
- Community debe entender trade-offs
- DReps necesitan educación técnica
- Posible controversia en votación
Conclusión
Estado: EN TRACK pero fase temprana de engineering
Confianza Técnica: Alta
- Simulaciones validando design
- Formal methods en progreso
- Community contributors engaged
Timeline Realista: 1-1.5 años a mainnet
- Q2-Q3 2025: Showcase prototype
- Q4 2025: Testnet público
- 2026: Governance + hard fork
Riesgo Mayor: No es técnico - es governance y community acceptance
Recomendación:
- Seguir desarrollo activamente
- Participar en monthly reviews
- Prepararse para debate de trade-offs
- Educar delegadores sobre implicaciones
El proyecto está más avanzado y transparente que la mayoría en crypto, pero aún hay camino significativo por recorrer.