Sans renouvellement
EXPIRÉTemps restant0unités de temps
Expiration à t = 10
Le droit garde son expiration initiale.
CIRCULA / PROGRAMME DE RECHERCHE SNSF
CONCEPTION DES BLOCKCHAINS INTÉGRANT L’EXPIRATION
Expiration et renouvellement dans les blockchains
CIRCULA étudie comment l’état partagé, les règles de validation et l’historique vérifiable des blockchains offrent un environnement programmable dans lequel formaliser et évaluer l’expiration et le renouvellement. Le programme de recherche relie un modèle formel, un prototype de registre exécutable et des expériences reproductibles pour étudier les effets, les coûts et les limites de ces mécanismes, ainsi que les informations qui, le cas échéant, restent utiles à la vérification ou à la récupération après expiration.
4Années de recherche
4Volets de recherche reliés
01.02.2027Début prévu
EXPLORER L’EXPIRATION
Que change l’expiration ?
Déplacez le temps pour suivre un droit numérique. Comparez son expiration initiale avec une demande de renouvellement à temps ou tardive.
Essayer un scénario
Avec demande de renouvellement
VALIDETemps restant4unités de temps
Expiration actuelle : t = 16
Acceptée à t = 8 · nouvelle expiration t = 16
Temps
Sans renouvellement
Avec demande de renouvellement
Validité écouléeValidité restanteProlongation prévue
Le renouvellement fait la différence
Le droit initial a expiré à t = 10. Le droit renouvelé reste utilisable jusqu’à t = 16.
Essayer vos propres durées
Choisissez l’expiration initiale, le moment de la demande et la nouvelle expiration proposée. Appliquez les valeurs pour actualiser la comparaison.
LES IDÉES À LA BASE DE CIRCULA
Concepts clés
Des systèmes distribués et de la programmabilité des blockchains à l’expiration, au renouvellement et aux questions sur ce qui subsiste ensuite.
Technologie des registres distribués (DLT)
Un registre partagé maintenu par plusieurs participants au réseau, qui appliquent des règles communes pour valider et synchroniser les mises à jour.
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.
Expiration
Une limite après laquelle une opération perd sa validité ; ses enregistrements peuvent subsister selon la conception du système.
Preuves
Informations pouvant aider à comprendre ou vérifier ce qui se passe après expiration. Leur disponibilité et leur utilité sont des questions de recherche.
Une distinction essentielle – L’expiration modifie la validité ; ce qui reste ensuite dépend de la conception du système.
LE PROGRAMME DE RECHERCHE
Les quatre volets de recherche
Quatre volets de travail reliés vont de l’étude des règles de durée existantes à la formalisation, à la construction et au test de registres intégrant l’expiration. Evidence Atlas, Semantic Reference, Proof of Concept et Evaluation Bench fournissent chacun un artefact pour l’étape suivante.
Les étapes se chevauchent : l’évaluation alimente en retour le modèle et le prototype, affinant les hypothèses, les choix d’implémentation et les références de comparaison.
Evidence Atlas
Cartographier les mécanismes de durée de vie existants, leurs couches d’application et les preuves nécessaires pour comparer les conceptions.
Semantic Reference
Formaliser les règles d’expiration et de renouvellement, y compris les hypothèses sur les informations restantes après expiration, à travers un modèle formel et une référence exécutable.
Proof of Concept
Construire un prototype de registre et vérifier son comportement par rapport à la sémantique retenue.
Evaluation Bench
Comparer les conceptions sous des charges contrôlées, en mesurant les coûts de stockage, de vérification et de récupération.
DIRECTION SCIENTIFIQUE ET COORDINATION
Direction du projet
L’équipe interne réunit un chercheur principal, un postdoctorant et deux doctorants, avec le soutien de partenaires externes et internationaux.
Responsable scientifique du projet
Valerio Schiavoni
Université de Neuchâtel · Suisse
Direction scientifique, coordination institutionnelle et responsabilité du projet.
Coordinateur scientifique
Vincenzo Di Perna
Université de Neuchâtel · Suisse
Coordonne la feuille de route scientifique, les travaux sur les systèmes et les expériences reproductibles sous la responsabilité du responsable scientifique. Poste postdoctoral prévu.
Des partenaires externes et internationaux complètent l’équipe avec une expertise en méthodes formelles, droit, institutions et adoption des technologies. Leurs contributions relient les modèles techniques et les expériences aux questions d’auditabilité, de récupération et aux conditions d’utilisation d’une conception.
Rejoindre le programme
POSTES OUVERTS
Deux postes de doctorat ouverts
Deux postes de doctorat ouverts à l’Université de Neuchâtel contribuent à des axes complémentaires : l’un porte sur les systèmes blockchain et la sémantique exécutable ; l’autre sur le déploiement, les cas d’usage et la validation quantitative. Les deux s’inscrivent dans le programme commun de CIRCULA.
Découvrir les doctoratsCOLLABORER AVEC CIRCULA
Collaborations de recherche
Universités, groupes de recherche, entreprises et institutions peuvent proposer une collaboration, discuter de cas d’usage ou manifester leur intérêt pour CIRCULA. Présentez-nous les liens possibles entre votre expertise et nos recherches.
Proposer une collaboration
UNIVERSITÉ, LIEU ET FINANCEMENT
La recherche ancrée à Neuchâtel
Basé à l’Université de Neuchâtel, en Suisse, CIRCULA réunit une équipe locale et des partenaires internationaux dans un programme de quatre ans financé par le Fonds national suisse.
Université hôte
Université de Neuchâtel
L’Université de Neuchâtel accueille CIRCULA et constitue le cadre institutionnel de son chercheur principal, de son postdoctorant et de ses doctorants. Ce cadre commun soutient un programme associant méthodes formelles, développement de systèmes et évaluation reproductible.
Basée à Neuchâtel, en Suisse, l’équipe travaille avec des partenaires de recherche externes et internationaux. Cet ancrage local soutient un programme ouvert aux collaborations académiques et aux échanges avec les entreprises et les institutions.
Financement de la recherche
SNSF
L’organisme national suisse de financement de la recherche, qui soutient la recherche dans toutes les disciplines académiques.
Fonds national suisse · Financement de projets · Subside 10010141.
Subside 10010141