Le problème auquel nous répondons
De nombreuses machines virtuelles de blockchain se concentrent sur des mises à jour d’état courtes et ordonnées. ALUX étend ce modèle aux workflows qui doivent attendre, reprendre leur exécution, se coordonner ou franchir les limites d’un bloc.
- Les blockchains sont fondamentalement des machines à transitions d’état.
- De nombreuses machines virtuelles de blockchain actuelles se concentrent sur une catégorie plus restreinte de transitions courtes et ordonnées.
À retenir : de nombreuses chaînes se concentrent sur les mises à jour d’état courtes ; ALUX y ajoute les transactions longues rejouables.
ALUX, un environnement d’exécution distribué pour les transactions longues
ALUX modélise des transitions parallèles, concurrentes et composites, au-delà des mises à jour d’état ponctuelles.
Au lieu de traiter chaque transaction comme une mise à jour d’état courte et isolée, ALUX modélise l’exécution sous la forme d’un environnement capable de coordonner des transitions parallèles, concurrentes et composites.
À retenir : le parallélisme fait avancer des tâches indépendantes, la concurrence permet d’attendre puis de reprendre l’exécution, et la composition définit comment les effets liés doivent être finalisés ensemble.
Modèle d’exécution
Exécution parallèle
Des instances EVM isolées peuvent déjà s’exécuter en parallèle. WASM relève de l’orientation prévue vers des machines virtuelles hétérogènes.
Exécution concurrente
ALUX permet aux TX de s’exécuter sous forme de coroutines, qui peuvent être suspendues, réveillées et entrelacées. Leur exécution est non déterministe, mais leur rejeu est déterministe.
Transitions composites
Les TX peuvent s’étendre sur plusieurs hauteurs de bloc et coordonner les tâches sur la chaîne avec des effets HTTPS rejouables, tout en préservant l’isolation et la finalisation atomique au sein du périmètre transactionnel d’ALUX. La composition entre shards reste inscrite dans l’architecture et la feuille de route.
Transitions composites et compatibilité
Les TX peuvent s’étendre sur plusieurs hauteurs de bloc et coordonner les tâches sur la chaîne avec des effets HTTPS rejouables, tout en préservant l’isolation et la finalisation atomique au sein du périmètre transactionnel d’ALUX. La composition entre shards reste inscrite dans l’architecture et la feuille de route.
ALUX propose dès aujourd’hui une voie d’exécution EVM via son bac à sable et l’interface JSON-RPC Ethereum. WASM et, plus largement, la composition entre machines virtuelles hétérogènes sont prévus ; la version de référence actuelle ne les intègre pas.
À retenir : ALUX prend déjà en charge l’exécution sur plusieurs blocs et les entrées-sorties Web 2 rejouables ; la composition entre shards reste prévue.
En bref, ALUX ne contraint pas tous les workflows à tenir dans une transaction courte. Dès aujourd’hui, il permet de rejouer des transactions longues qui traversent plusieurs blocs et se connectent au Web 2, tandis que la composition entre shards et, plus largement, entre environnements d’exécution reste inscrite dans l’architecture et la feuille de route.