Hoja de ruta | ALUX Network

Año 2027

2027

2027 Q1

Previsto

Pruebas formales de propiedades clave del sistema en Lean (Previsto)
Lanzamiento de testnet (Previsto)

Año 2026

2026

2026 Q4

Previsto

Implementar reloj lógico y mecanismos de cumplimiento de niveles de aislamiento (En curso)
Herramienta de depuración y observabilidad TVM similar a «GDB» (En curso)
Completar el modelo de contabilidad de costes (En curso)
Integración con la cadena de herramientas de Ethereum (En curso)
Implementar y probar contrato proof-of-stake (PoS) (Previsto)
Implementar mecanismos de sincronización y recuperación ante fallos (Previsto)
Implementar recolección de basura (Previsto)
Entregar ejemplos Solidity que demuestren la orquestación de contratos inteligentes y agentes (async/await, join, select) (Previsto)

2026 Q3

Hecho

Compatibilidad con funciones síncronas junto a las asíncronas existentes, con cierres y aplicación parcial (Completado)
Registro de sistema inicial, abstracción de cuentas y contratos de reclamación y delegación de capacidades (Completado)
Simplificación del planificador de tareas de TVM para facilitar las pruebas de ejecución concurrente (Completado)
Seguimiento del contexto de ejecución basado en libro mayor para revertir de forma fiable contextos anidados (Completado)
Intérprete de referencia de Tolang para verificar la salida del compilador (Completado)
Formateador de código Tolang, macro Rust tolang! y funciones del IDE para ir a definición y renombrar (Completado)
Cliente API de TypeScript con bindings tipados generados desde la interfaz RPC del nodo (Completado)
Nuevo intérprete TVM con colecciones anidadas, bucles, cierres y medición inicial de gas (En revisión)
Nuevo sandbox EVM basado en trampas (En curso)

2026 Q2

Hecho

Parser nativo de Tolang (Completado)
Soporte de constantes en tiempo de compilación de Tolang (Completado)
Servidor de lenguaje de Tolang y extensión Tolang para VS Code (Completado)
Refactorización del framework de pruebas (Completado)
Pruebas integrales de extremo a extremo del sistema, incluida la capa de consenso (Completado)
Implementación completa de la API (Completado)
Desarrollo de CLI de nodo (Completado)
Explorador blockchain personalizado para visualizar la ejecución entre bloques y la finalización atómica (Completado)
Nuevo sandbox EVM basado en trampas (En curso)
Integración con la cadena de herramientas de Ethereum (En curso)

2026 Q1

Hecho

Mecanismo de reproducción simplificado para la ejecución entre bloques (Completado)
Incorporación de un nuevo sandbox EVM para mejorar la eficiencia y la simplicidad (Completado)
Refactorización del consenso, la base de datos y el framework de TVM para mejorar la modularidad (Completado)
Pruebas de ejecución entre bloques y reproducción por validadores perezosos (Completado)
Desarrollo de TupleSpace Explorer para visualizar el estado y el progreso de ejecución (Completado)

Año 2025

2025

2025 Q4

Hecho

Prueba de ejecución entre bloques sin consenso (Completado)
Refactorización del framework TVM para mejorar la modularidad (En curso)
Especificación e implementación de endpoints API (En curso)
Diseño del reloj lógico y del mecanismo de cumplimiento de niveles de aislamiento (Completado)

2025 Q3

Hecho

Implementación de un mecanismo para ejecutar, reactivar, empaquetar y reproducir transacciones de larga duración que abarcan varios bloques y fringes de finalización (Completado)
Refactorización del módulo de base de datos para mejorar el rendimiento y la eficiencia (En curso)
Refactorización del framework TVM para mejorar la modularidad (En curso)

2025 Q2

Hecho

Implementación y pruebas de Weaklink en el protocolo BlockGit (Completado)
Incorporación de tipos de comportamiento sencillos para canales, a fin de simplificar la arquitectura TVM y mejorar la fiabilidad (Completado)
Incorporación de un framework de pruebas para código Tolang generado aleatoriamente e integración con CI (Completado)
Refactorización de la lógica de reproducción (Completado)

2025 Q1

Hecho

Refactorización de todo el sistema con un framework dirigido por eventos para habilitar ejecución de transacciones concurrentes, reproducción de bloques y propuesta de bloques con máxima concurrencia (Completado)
Implementación de endpoints RPC y actualización de BlockGit para gestionar bloques ausentes (Completado)
Corrección de fugas de memoria en BlockGit y mejora de su rendimiento (Completado)
Incorporación de Weaklink al protocolo BlockGit y su implementación parcial (Completado)

Año 2024

2024

2024 Q4

Terminado

Integración de BlockGit en la plataforma de nodos (Completado)
Prueba del protocolo de consenso en una red Docker (Completado)
Implementación del algoritmo de resolución de conflictos en Block Merge (Completado)
Refactorización del módulo de almacenamiento para admitir consultas y compromisos de estado (Completado)

2024 Q3

Hecho

Contexto de ejecución para permitir revertir una parte de la ejecución (Completado)
Diseño e implementación inicial de BlockGit, un nuevo protocolo de consenso (Completado)
Simulador de eventos discretos para probar la implementación del protocolo de consenso (Completado)
Módulo P2P con integración inicial para BlockGit (Completado)

2024 Q2

Hecho

Refactorización y unificación de la lógica de reproducción y ejecución de tuple space (Completado)
Implementación de ejecución y reproducción de llamadas HTTPS externas para demostrar la colaboración activa con sistemas Web 2.0 sin oráculos ni relayers (Completado)
Implementación inicial del protocolo de consenso Blocklace (Completado)
Rediseño de la gestión de estado para reducir el uso de memoria (Completado)
Diseño de la estructura de datos y el algoritmo del reloj lógico para aplicar los niveles de aislamiento (Completado)

2024 Q1

Hecho

Implementación y pruebas del registro global (Completado)
Compatibilidad con programación funcional en Tolang y TVM (Completado)
Compatibilidad con computación secuencial segura para hilos en TVM concurrente (Completado)
Prueba preliminar de compatibilidad con EVM (Completado)
Implementación del almacenamiento de estado EVM para admitir el nivel de aislamiento read-committed (Completado)
Refactorización del código y pruebas exhaustivas de corrección y reproducibilidad en TVM (Completado)

Año 2023

2023

2023 Q4

Hecho

Nuevo gestor de tareas para mejorar el tratamiento de errores y admitir la localidad de hilos (Completado)
Mejora del rendimiento mediante la incorporación de soporte para computación secuencial (Completado)
Pruebas de tipos de canal especiales (Completado)
Uso de tipos de canal especiales para simplificar el registro de reproducción (Completado)

2023 Q3

Hecho

Pruebas de la capa de almacenamiento (Completado)
Prueba de ejecución de la máquina virtual concurrente y reproducción determinista (Completado)
Especificación e implementación de tipos de canal especiales (Completado)

2023 Q2

Hecho

Implementación de ejecución y reproducción de la máquina virtual concurrente (Completado)
Especificación e implementación de la capa de almacenamiento (Completado)

2023 Q1

Hecho

Implementación y pruebas de opcodes de la máquina virtual concurrente (Completado)
Estructura de datos para la reproducción determinista de transacciones concurrentes (Completado)