Registre d'engagements signés : conception, état actuel et limites

Le registre d'engagements sur les enregistrements MemChain est une chaîne de blocs signés qui consigne l'ordre d'engagements opaques portant sur des enregistrements de mémoire chiffrés. Il est actuellement gelé. Il n'a produit aucun bloc depuis le 2026-07-13, car son unique coordinateur autorisé a été mis hors service et la conception ne permet pas de transférer l'autorité à un autre nœud sans la signature de ce coordinateur. Il n'a jamais fourni de consensus global.

État actuel

Les agrégats en direct sont publiés à l'adresse GET https://api.aeronyx.network/api/privacy_network/vpn/public/network-stats/ sous data.protocol_status.memory_chain. Les champs qui reflètent l'état actuel sont coordinator_nodes, follower_nodes, verified_nodes, max_verified_tip_height et block_confirmation_state. Certains champs de texte descriptif de cette réponse décrivent encore la conception prévue avec témoins plutôt que l'état actuel : fiez-vous donc aux champs numériques.

Ce que consigne le registre

Chaque bloc contient un en-tête (version du protocole, identifiant de chaîne, hauteur, horodatage, hachage du bloc précédent, racine de Merkle, nombre d'enregistrements et clé du proposant), une liste d'identifiants d'enregistrements, ainsi que la signature Ed25519 du proposant sur l'en-tête.

Un identifiant d'enregistrement est un hachage SHA-256 calculé sur un enregistrement de mémoire chiffré : la clé du propriétaire, l'horodatage, la couche, les étiquettes, la source et le texte chiffré. Le registre ne contient jamais de contenu de mémoire, de clés de déchiffrement ni de texte en clair. Il peut montrer qu'un enregistrement opaque existait, et dans quel ordre, à une hauteur donnée. Il ne peut pas montrer ce que dit un enregistrement, et il ne stocke pas l'enregistrement.

Les enregistrements de mémoire eux-mêmes sont décrits dans MemChain et Blind Vault.

Fonctionnement de la conception

1. Un seul coordinateur ajoute les blocs. Un seul nœud configuré peut ajouter des blocs. Il signe chaque bloc et conserve une marque de niveau maximal (high-water mark) signée à côté de sa base de données, de sorte qu'une copie plus ancienne du fichier de base de données soit détectée au démarrage.
2. Les suiveurs répliquent et auditent. Chaque suiveur récupère des pages uniquement auprès du coordinateur épinglé. Il vérifie les signatures, la continuité des hauteurs et les liens de hachage, et s'arrête en cas de retour en arrière, de fork ou d'erreur de signature. Il ne fusionne jamais des historiques contradictoires.
3. Les témoins vérifient l'absence de retour en arrière. Des nœuds témoins épinglés par l'opérateur renvoient des points de contrôle signés. Au démarrage, un point de contrôle montrant qu'un témoin détient un historique plus récent ou divergent arrête le coordinateur avant qu'il n'ouvre ses écouteurs.
4. Un bail facultatif limite les écrivains en double. Si cette option est activée, le coordinateur ne peut produire des blocs que tant que chaque témoin épinglé lui accorde un bail court de 60 à 300 secondes. À l'expiration du bail, la production est suspendue.
5. La passation repose sur une preuve à double signature. L'autorité ne passe à un nouveau coordinateur qu'au moyen d'une preuve RecordCoordinatorHandoverV1 signée à la fois par le coordinateur sortant et par le coordinateur entrant. Les blocs historiques ne sont jamais réécrits.

L'exigence de témoins et le bail sont tous deux désactivés par défaut dans le logiciel de nœud.

Pourquoi il est gelé

La conception dépend d'un coordinateur unique. Ce coordinateur a été mis hors service le 2026-10-03. Une passation nécessite sa signature, et aucun chemin du code de production ne crée de preuve de passation. Les suiveurs ne peuvent donc pas accepter de nouveau proposant, et aucun nouveau bloc ne peut être ajouté. Un coordinateur unique est un point de défaillance unique, et c'est précisément cette défaillance qui s'est produite.

La mémoire n'est pas affectée. Le registre ne contient que des engagements. Vos souvenirs chiffrés sont stockés sur votre appareil, et de manière facultative sur le nœud auquel vous vous connectez, indépendamment du registre.

Vérifier les blocs historiques

Les 33 blocs historiques restent vérifiables :

• Chaque nœud qui en détient une copie l'audite au démarrage. Il décode chaque bloc stocké, vérifie la signature du proposant, la continuité des hauteurs, les liens vers le hachage précédent et l'index des enregistrements, et refuse de démarrer si une vérification échoue. Les résultats apparaissent sous forme d'agrégats (verified_nodes, max_verified_tip_height) sur le point de terminaison public de statistiques.
• aeronyx-server memchain verify-aof effectue une vérification distincte. Elle vérifie l'ancien fichier MemChain en ajout seul du nœud (tramage, identifiants de contenu, racines de Merkle et ascendance des blocs) et n'affiche que des décomptes agrégés. Elle ne lit pas le registre d'engagements, qui est stocké dans la base de données SQLite du nœud.

sudo aeronyx-server memchain verify-aof --config /etc/aeronyx/server.toml

Limites

• Un coordinateur unique signifie un point de défaillance unique. Lorsqu'il est indisponible, aucun nouvel engagement n'est consigné.
• Il n'y a ni consensus, ni règle de choix de fork, ni finalité. Un ordre signé n'est pas un accord entre des parties indépendantes.
• Les témoins sont épinglés par l'opérateur. Tous les nœuds de production sont aujourd'hui exploités par AeroNyx : les vérifications des témoins ne prouvent donc pas l'indépendance.
• Ce n'est ni un registre de jetons, ni une plateforme de contrats intelligents, ni un système de preuve d'enjeu.
• Un engagement prouve qu'un enregistrement opaque a existé. Il ne prouve pas que l'enregistrement est encore stocké quelque part.

Ce qui est prévu

La conception de remplacement abandonne le coordinateur unique. Chaque nœud conservera son propre journal signé, d'autres nœuds le dupliqueront, et les pairs témoigneront mutuellement des journaux. C'est le modèle que la Directory Chain utilise déjà aujourd'hui pour les descripteurs de nœuds. Aucune date de publication n'a été fixée. Les 33 blocs historiques restent auditables comme décrit ci-dessus.

Questions fréquentes

Le registre d'engagements AeroNyx est-il en fonctionnement ?

Non. Il n'a produit aucun bloc depuis le 2026-07-13. Son unique coordinateur a été mis hors service le 2026-10-03, et le code de production ne dispose d'aucun chemin pour transférer l'autorité à un nouveau coordinateur : le registre est donc gelé.

AeroNyx est-il une blockchain ?

Non. Le registre d'engagements utilisait des blocs signés par un seul coordinateur, sans consensus, sans règle de choix de fork et sans jeton. Il est désormais gelé, et AeroNyx ne le présente ni comme une blockchain publique ni comme un réseau à consensus global.

Ai-je perdu mes souvenirs parce que le registre est gelé ?

Non. Le registre ne stocke que des engagements opaques, jamais de contenu de mémoire. Vos souvenirs chiffrés sont conservés sur votre appareil, et de manière facultative sur le nœud auquel vous vous connectez, indépendamment du registre.

Les blocs existants peuvent-ils encore être vérifiés ?

Oui. Chaque nœud qui détient les 33 blocs réaudite les signatures et les liens de hachage à chaque démarrage et refuse de démarrer en cas d'échec. Le résultat agrégé est visible sur le point de terminaison public des statistiques du réseau.

Qu'est-ce qui remplacera le registre à coordinateur unique ?

La conception prévue utilise des journaux signés par nœud, dupliqués et témoignés mutuellement par d'autres nœuds. C'est le même modèle que la Directory Chain, qui fonctionne déjà pour les descripteurs de nœuds. Aucune date de publication n'a été fixée.