Feuille de route | ALUX Network

Année 2027

2027

2027 T1

Prévu

Preuves formelles dans Lean des propriétés clés du système (Prévu)
Lancement du testnet (Prévu)

Année 2026

2026

2026 T4

Prévu

Mise en œuvre de l’horloge logique et des mécanismes d’application des niveaux d’isolation (Travaux en cours)
Outil de débogage et d’observabilité TVM de type « GDB » (Travaux en cours)
Achèvement du modèle de comptabilisation des coûts (Travaux en cours)
Intégration à la chaîne d’outils Ethereum (Travaux en cours)
Mise en œuvre et test du contrat de preuve d’enjeu (PoS) (Prévu)
Mise en œuvre des mécanismes de synchronisation et de reprise après panne (Prévu)
Mise en œuvre du ramasse-miettes (Prévu)
Livraison d’exemples Solidity illustrant l’orchestration de contrats intelligents et d’agents (async/await, join, select) (Prévu)

2026 T3

Terminé

Prise en charge des fonctions synchrones en complément des fonctions asynchrones existantes, avec fermetures et application partielle (Terminé)
Premiers contrats de registre système, d’abstraction de compte, de revendication et de délégation de capacités (Terminé)
Simplification de l’ordonnanceur de tâches TVM et facilitation des tests d’exécution concurrente (Terminé)
Suivi des contextes d’exécution fondé sur un registre pour une annulation fiable entre contextes imbriqués (Terminé)
Interpréteur de référence Tolang pour vérifier la sortie du compilateur (Terminé)
Outil de formatage de code Tolang, macro Rust tolang! et fonctions d’accès à la définition et de renommage dans l’IDE (Terminé)
Client API TypeScript avec liaisons typées générées à partir de l’interface RPC du nœud (Terminé)
Nouvel interpréteur TVM avec collections imbriquées, boucles, fermetures et première mesure du gas (En cours d’examen)
Nouveau bac à sable EVM fondé sur des traps (En cours)

2026 T2

Terminé

Analyseur syntaxique natif de Tolang (Terminé)
Prise en charge de const à la compilation dans Tolang (Terminé)
Serveur de langage Tolang et extension Tolang pour VS Code (Terminé)
Refonte du framework de test (Terminé)
Tests d’intégration complets du système de bout en bout, y compris de la couche de consensus (Terminé)
Achèvement de la mise en œuvre de l’API (Terminé)
Développement de l’interface en ligne de commande du nœud (Terminé)
Personnalisation de l’explorateur blockchain pour visualiser l’exécution sur plusieurs blocs et la finalisation atomique (Terminé)
Nouveau bac à sable EVM fondé sur des traps (En cours)
Intégration à la chaîne d’outils Ethereum (En cours)

2026 T1

Terminé

Simplification du mécanisme de rejeu pour l’exécution sur plusieurs blocs (Terminé)
Introduction d’un nouveau bac à sable EVM pour plus d’efficacité et de simplicité (Terminé)
Refonte du consensus, de la base de données et du framework TVM pour une meilleure modularité (Terminé)
Mise en œuvre de tests d’exécution sur plusieurs blocs et de rejeu par des validateurs paresseux (Terminé)
Développement de TupleSpace Explorer pour visualiser l’état et l’avancement de l’exécution (Terminé)

Année 2025

2025

2025 T4

Terminé

Test de l’exécution sur plusieurs blocs sans consensus (Terminé)
Refonte du framework TVM pour une meilleure modularisation (En cours)
Spécification et mise en œuvre des points de terminaison de l’API (En cours)
Conception de l’horloge logique et du mécanisme d’application des niveaux d’isolation (Terminé)

2025 T3

Terminé

Mise en œuvre d’un mécanisme pour exécuter, réveiller, regrouper et rejouer des transactions longues s’étendant sur plusieurs blocs et franges de finalisation (Terminé)
Refonte du module de base de données pour améliorer les performances et l’efficacité (En cours)
Refonte du framework TVM pour une meilleure modularisation (En cours)

2025 T2

Terminé

Mise en œuvre et test de Weaklink dans le protocole BlockGit (Terminé)
Introduction de types comportementaux simples pour les canaux afin de simplifier l’architecture TVM et d’améliorer la fiabilité (Terminé)
Introduction d’un framework de test pour du code Tolang généré aléatoirement et intégration à la CI (Terminé)
Refonte de la logique de rejeu (Terminé)

2025 T1

Terminé

Refonte de l’ensemble du système autour d’un framework événementiel pour permettre l’exécution concurrente des transactions, le rejeu des blocs et la proposition de blocs avec une concurrence maximale (Terminé)
Mise en œuvre des points de terminaison RPC et mise à jour de BlockGit pour gérer les blocs manquants (Terminé)
Correction des fuites de mémoire de BlockGit et amélioration de ses performances (Terminé)
Introduction de Weaklink dans le protocole BlockGit et mise en œuvre partielle (Terminé)

Année 2024

2024

2024 T4

Terminé

Intégration de BlockGit à la plateforme du nœud (Terminé)
Test du protocole de consensus sur un réseau Docker (Terminé)
Mise en œuvre de l’algorithme de résolution des conflits dans la fusion de blocs (Terminé)
Refonte du module de stockage pour prendre en charge les requêtes et les engagements d’état (Terminé)

2024 T3

Terminé

Contexte d’exécution permettant d’annuler une partie de l’exécution (Terminé)
Conception et première mise en œuvre de BlockGit, un nouveau protocole de consensus (Terminé)
Simulateur à événements discrets pour tester la mise en œuvre du protocole de consensus (Terminé)
Module P2P avec première intégration de BlockGit (Terminé)

2024 T2

Terminé

Refonte et unification de la logique d’exécution et de rejeu de l’espace de tuples (Terminé)
Mise en œuvre de l’exécution et du rejeu d’un appel HTTPS externe pour démontrer la capacité à collaborer activement avec des systèmes Web 2.0 sans oracles ni relais (Terminé)
Première mise en œuvre du protocole de consensus Blocklace (Terminé)
Refonte de la gestion de l’état pour réduire l’utilisation de mémoire (Terminé)
Conception de la structure de données et de l’algorithme d’horloge logique utilisés pour appliquer les niveaux d’isolation (Terminé)

2024 T1

Terminé

Mise en œuvre et test du registre global (Terminé)
Prise en charge de la programmation fonctionnelle dans Tolang et TVM (Terminé)
Prise en charge du calcul séquentiel avec sûreté multithread dans la TVM concurrente (Terminé)
Premiers tests de compatibilité EVM (Terminé)
Mise en œuvre du stockage de l’état EVM pour prendre en charge le niveau d’isolation « lecture des données validées » (Terminé)
Refonte du code et tests complets du bon fonctionnement et de la rejouabilité dans TVM (Terminé)

Année 2023

2023

2023 T4

Terminé

Mise en œuvre d’un nouveau gestionnaire de tâches pour une meilleure gestion des erreurs et la prise en charge de la localité des threads (Terminé)
Amélioration des performances par l’introduction de la prise en charge du calcul séquentiel (Terminé)
Test des types de canaux spéciaux (Terminé)
Utilisation des types de canaux spéciaux pour simplifier le journal de rejeu (Terminé)

2023 T3

Terminé

Test de la couche de stockage (Terminé)
Test de l’exécution et du rejeu déterministe de la machine virtuelle concurrente (Terminé)
Spécification et mise en œuvre des types de canaux spéciaux (Terminé)

2023 T2

Terminé

Mise en œuvre de l’exécution et du rejeu de la machine virtuelle concurrente (Terminé)
Spécification et mise en œuvre de la couche de stockage (Terminé)

2023 T1

Terminé

Mise en œuvre et test des opcodes de la machine virtuelle concurrente (Terminé)
Structure de données pour le rejeu déterministe des transactions concurrentes (Terminé)