Systèmes distribués
Des ordinateurs indépendants se coordonnent via un réseau où les messages peuvent être retardés et des nœuds peuvent tomber en panne.
CIRCULA : conception de systèmes blockchain intégrant l’expiration
CIRCULA étudie l’expiration et le renouvellement dans l’environnement programmable offert par l’état partagé, les règles de validation et l’historique vérifiable des blockchains. Le programme de recherche développe des sémantiques formelles, un prototype minimal et des expériences reproductibles pour en évaluer les effets et les coûts, y compris l’éventuelle disponibilité d’informations utiles à la vérification ou à la récupération après expiration. Inspiré de la circulation et de la racine latine circulus (« cercle »), le nom évoque le cycle de vie des droits et créances numériques : validité, expiration et renouvellement éventuel. [1]
L’OBJECTIF SCIENTIFIQUE
Les règles de durée de vie comme choix de conception
Les blockchains conservent souvent des enregistrements et un état de vérification après l’achèvement d’une opération ou l’inactivité d’un droit. Les règles de durée existent déjà sous forme de délais, de timelocks et de politiques de conservation, mais leurs hypothèses, couches d’application et exigences de récupération sont souvent étudiées séparément.
CIRCULA relie ces questions dans un contexte technique fixé : des opérations natives du registre avec validité conditionnée par l’expiration et possibilité de renouvellement. Il étudie quelles conceptions préservent correction et auditabilité, jusqu’où limiter la persistance et quels nouveaux coûts de vérification, récupération ou exploitation apparaissent.
UNE PERSPECTIVE ÉLARGIE
Auditabilité et récupération
L’expiration modifie la validité. La recherche examinera quelles informations sont conservées, supprimées ou deviennent indisponibles, et dans quelles conditions la vérification, la contestation ou la récupération restent possibles.
CIRCULA étudie la disponibilité et l’utilité des informations susceptibles de subsister après expiration.
LE CADRE CONCEPTUEL
Concepts clés
Les fondements expliquent comment les nœuds maintiennent un registre partagé. Les concepts de validité décrivent ce que CIRCULA modélisera, mettra en œuvre et évaluera.
Fondements
Blockchain
Un registre partagé qui regroupe les transactions en blocs liés par des empreintes cryptographiques, ce qui permet aux participants d’en vérifier l’ordre et l’historique.
Consensus
Un protocole qui permet aux nœuds de s’accorder sur un résultat commun, par exemple sur les transactions à inscrire au registre et leur ordre.
Programmabilité
Les règles codées dans le protocole ou dans les contrats intelligents déterminent la validation et l’exécution des opérations du registre. C’est le contexte programmable dans lequel CIRCULA étudie l’expiration.
Validité et preuves
Intervalle de validité
La période pendant laquelle une opération du registre respecte ses conditions temporelles. Son début, sa fin et sa notion de temps doivent être précisés.
Transition d'expiration
Le passage de la validité à l’expiration à une limite définie. La conception du système détermine le traitement de l’historique.
Règle de renouvellement
Une opération autorisée qui modifie ou prolonge un intervalle de validité. Délais, permissions et renouvellement tardif exigent une sémantique explicite.
Preuves après expiration
Enregistrements ou preuves pouvant subsister après la fin de la validité. CIRCULA évaluera ce qui reste disponible et si cela permet la vérification ou la récupération.
Couche d'application des règles
La partie du système qui vérifie les conditions de durée. CIRCULA étudie leur application native au registre, ses coûts et ses garanties.
Audit et récupération
La capacité d’examiner des états antérieurs, d’expliquer les décisions d’expiration et de permettre la récupération tout en préservant un historique transparent.
Persistance, croissance et circulation
Les instantanés Coin Metrics comparent la croissance de l’infrastructure et les profils de détention de Bitcoin, Ethereum et USDC sur Ethereum à fin 2018 et fin 2025. Ils montrent comment l’accumulation des données du registre coexiste avec concentration et dormance, motivant des règles de durée explicites, une conservation limitée et un archivage compatible avec la récupération. [2]
Croissance de l’infrastructure
Lisez chaque ligne de 2018 à 2025 ; la dernière colonne indique la croissance relative. La taille du registre est un indicateur de données cumulées en Go ; adresses et transactions sont des comptes cumulés en millions ; les contrats sont un stock de fin de période. Une personne peut utiliser plusieurs adresses et une adresse peut représenter plusieurs personnes. Les taux sont calculés avant arrondi : un petit montant initial affiché peut donc donner un pourcentage élevé.
| Actif | Métrique | Fin 2018 | Fin 2025 | Variation (%) |
|---|---|---|---|---|
| BTC | Proxy de taille du registre (Go, cumulé) | 198.11 | 710.27 | +258.5% |
| Nouvelles adresses (millions, cumulées) | 470.36 | 1,499.19 | +218.7% | |
| Transactions (millions, cumulées) | 368.69 | 1,290.96 | +250.1% | |
| ETH | Proxy de taille du registre (Go, cumulé) | 69.02 | 1,411.29 | +1944.8% |
| Nouvelles adresses (millions, cumulées) | 73.44 | 388.79 | +429.4% | |
| Contrats intelligents (millions, fin de période) | 9.05 | 63.36 | +600.0% | |
| Transactions (millions, cumulées) | 368.81 | 3,163.55 | +757.8% | |
| USDC sur ETH | Nouvelles adresses (millions, cumulées) | 0.02 | 25.80 | +116545.5% |
| Transactions (millions, cumulées) | 0.05 | 146.39 | +295302.2% |
Détention et circulation
Le groupe de gauche indique les parts de l’offre ; celui de droite la valeur implicite de ces avoirs en milliards USD. Les colonnes « Variation » expriment des variations relatives en pourcentage ; les points de pourcentage mesurent la différence absolue entre les parts. La part détenue par les principales adresses Ethereum passe ainsi de 99,82 % à 69,37 % : −30,45 points de pourcentage, soit −30,5 % par rapport à 2018.
| Actif | Indicateur | Part de l’offre (%) | Valeur implicite (milliards USD) | ||||
|---|---|---|---|---|---|---|---|
| 2018 | 2025 | Variation (%) | 2018 | 2025 | Variation (%) | ||
| BTC | 10 % des adresses les plus riches | 98.94% | 98.83% | -0.1% | 63.68 | 1,727.28 | +2612.4% |
| Sur les plateformes d’échange | 8.79% | 12.46% | +41.7% | 5.66 | 217.71 | +3746.9% | |
| Dormance de l’actif | 98.57% | 97,93 % | -0.6% | 63.44 | 1,711.45 | +2597.7% | |
| ETH | 10 % des adresses les plus riches | 99.82% | 69.37% | -30.5% | 13.59 | 249.85 | +1737.9% |
| Sur les plateformes d’échange | 16.95% | 11.78% | -30.5% | 2.31 | 42.44 | +1738.5% | |
| Dormance de l’actif | 91.45% | 90.19% | -1.4% | 12.45 | 324.82 | +2508.3% | |
| USDC sur ETH | 10 % des adresses les plus riches | 99.99% | 99.85% | -0.1% | 0.25 | 51.63 | +20491.1% |
| Sur les plateformes d’échange | 45.17% | 20.61% | -54.4% | 0.11 | 10.66 | +9308.7% | |
| Dormance de l’actif | 68.96% | 68.70% | -0.4% | 0.17 | 35.52 | +20442.9% | |
Ce que révèle la comparaison
Les données du registre augmentent
L’indicateur de taille du registre Ethereum passe de 69,02 à 1 411,29 Go, soit environ 20,4 fois son niveau de 2018. Cette empreinte historique croissante motive l’étude d’une conservation limitée avec des exigences d’audit et de récupération.
La dormance reste élevée
L’indicateur de dormance de Bitcoin atteint encore 97,93 % en 2025, contre 98,57 % en 2018. La croissance de l’infrastructure peut coexister avec une inactivité persistante et invite à approfondir son lien avec la circulation.
Parts et valeurs évoluent différemment
La part d’Ethereum détenue sur les plateformes baisse de 16,95 % à 11,78 %, alors que sa valeur implicite passe de 2,31 à 42,44 milliards USD. Une part plus faible peut donc représenter une valeur en dollars plus élevée : les deux groupes répondent à des questions différentes.
Ces instantanés décrivent des tendances. Établir un éventuel effet économique causé par l’expiration demanderait des recherches supplémentaires. Concentration, avoirs sur les plateformes et dormance dépendent de la garde, de la réutilisation des adresses et de la comptabilisation. Les métriques manquantes sont inapplicables ou indisponibles comme séries comparables ; les comptes cumulés et les stocks de fin de période restent distincts.
Questions de recherche
Quatre questions relient sémantique de la durée, couche d’application, gains et coûts mesurables et validation ultérieure délimitée. RQ1–RQ3 forment le noyau technique ; RQ4 ne considère que les conceptions qui passent ses contrôles de correction, d’auditabilité et de récupération.
Sémantique
Que signifie une règle de durée de vie ?
Spécifier validité, expiration, renouvellement, auditabilité et récupération sous des hypothèses explicites de temps, déclenchement, finalité et persistance limitée. L’objectif est de donner à chaque événement du cycle de vie un sens non ambigu que les modèles formels et exécutables peuvent vérifier.
Positionnement
Où appliquer la règle ?
Comparer l’application au niveau du système, du contrat, du portefeuille ou du service. Une couche n’est retenue que si elle préserve les invariants déclarés et passe les tests de conformité aux frontières temporelles ; une couche supérieure reste possible lorsque l’application native n’est pas techniquement viable.
Évaluation
Quels sont les gains et les coûts ?
Sous des charges contrôlées sensibles à l’expiration, comparer les gains de persistance limitée aux coûts supplémentaires de vérification, de récupération et d’exploitation. Utiliser des références explicites sans expiration ou à des couches supérieures, puis juger les résultats selon les enveloppes de coût propres au scénario et l’incertitude des mesures.
Déployabilité
Quelles conceptions peuvent être déployées ?
Pour les conceptions passant les contrôles techniques, examiner quelles couches restent admissibles sous des contraintes de transparence, d’auditabilité, de récupération et de garanties procédurales. La validation demeure dans le contexte fixé du projet ; les références aux paiements réglementés définissent les limites de la comparaison.
De la question aux preuves
Méthode de recherche et lots de travail
Le projet suit un parcours de la sémantique aux preuves. Une carte des connaissances fixe hypothèses et références ; la sémantique formelle et exécutable définit les contrôles ; un prototype délimité démontre les couches retenues ; des expériences contrôlées comparent leur comportement, leurs coûts et leurs limites.
Contexte technique fixé
Opérations natives du registre avec validité conditionnée par l’expiration et renouvellement
RQ1 · RQ2 · RQ3Axe technique central
RQ4Validation ultérieure
WP1Evidence Atlas
RQ1–RQ4 : cadrage
WP2Semantic Reference
RQ1 + modélisation pour RQ3
WP3Proof of Concept
RQ1–RQ2
WP4Evaluation Bench
RQ3–RQ4 + comparaison des couches pour RQ2
WP3 · Composants du prototypeConsensusTokenomicsRegistre avec expiration
L’évaluation affine sémantique et références
Suivez le contexte technique fixé, puis les questions de recherche et les quatre résultats reliés. Chaque lot de travail indique les RQ couvertes ; l’évaluation affine la sémantique et les références de comparaison. Le prototype relie consensus, tokenomics et registre intégrant l’expiration.
WP1 / TRAVAIL PRÉVU
Durée de vie et couches d’application
Documenter les règles de durée de vie existantes : ce qui expire, la couche qui applique la règle et les hypothèses nécessaires. L’atlas fournit les preuves et les limites de comparaison pour la suite du travail.
Toute l’équipe de recherche commence par ce cadrage commun.
RÉSULTAT PRÉVU
CIRCULA Evidence Atlas
Preuves annotées · Taxonomie des règles de durée de vie · Limites de comparaison
WP2 / TRAVAIL PRÉVU
Sémantique de l’expiration, du renouvellement et de la récupération
Formaliser l’émission, le transfert, l’expiration, le renouvellement, la contestation, le règlement et la récupération. Modéliser les informations conservées ou supprimées et les hypothèses permettant la vérification ou la récupération. Développer une référence exécutable déterministe et des scénarios de conformité.
Le modèle explicite ses hypothèses sur le temps et la finalité.
RÉSULTAT PRÉVU
CIRCULA Semantic Reference
Sémantique formelle · Référence exécutable · Scénarios de conformité
WP3 / TRAVAIL PRÉVU
Un prototype de registre délimité
Implémenter la sémantique retenue dans un nœud minimal ou un petit banc d’essai. Examiner les primitives intégrant l’expiration et la persistance bornée, et tester les interfaces de vérification ou de récupération possibles après expiration.
Les tests de conformité déterminent quelles conceptions passent à l’évaluation.
RÉSULTAT PRÉVU
CIRCULA Proof of Concept
Prototype délimité · Tests de conformité · Interfaces d’audit et de récupération
WP4 / TRAVAIL PRÉVU
Comparaisons contrôlées avec des références
Comparer les conceptions sélectionnées à des références explicites sous des charges de travail contrôlées. Mesurer les coûts de persistance, de vérification et de récupération ; examiner les contraintes institutionnelles et d’adoption dans les contextes choisis.
Présenter les incertitudes, les limites et les résultats négatifs.
RÉSULTAT PRÉVU
CIRCULA Evaluation Bench
Comparaisons contrôlées · Configurations reproductibles · Instantanés des preuves
Comment l’évaluation affine la conception
L’évaluation fait partie d’un cycle interne de révision scientifique. Les échecs de conformité conduisent à revoir sémantique ou choix d’implémentation ; les expériences peuvent affiner références, observables et limites de déploiement. Seules les conceptions respectant correction, auditabilité et récupération progressent. Des artefacts de recherche versionnés documentent ces décisions.
Découvrir les résultats