CIRCULA relie les résultats de recherche aux preuves, logiciels et méthodes qui les sous-tendent. Quatre artefacts prévus conduisent d’un atlas de preuves à une sémantique exécutable, un prototype et une évaluation contrôlée. Cette page rassemble ces artefacts, les publications, les versions publiques et les étapes du projet au fil du programme.
Du programme aux résultats
Chaque lot de travail produit un artefact distinct et relié aux autres. L’atlas cadre les questions ; la référence définit les règles ; le prototype implémente les conceptions retenues ; le Evaluation Bench fournit des comparaisons contrôlées. Ces résultats sont prévus ; les matériaux publics seront liés dès leur disponibilité.
Les preuves annotées cartographient les mécanismes de durée existants, leurs couches d’application et leurs hypothèses. L’atlas établit la taxonomie et les limites de comparaison utilisées par les lots de travail suivants.
Voir le lot de travailUn modèle formel et une référence exécutable décrivent la validité, l’expiration et le renouvellement, y compris les hypothèses sur les informations conservées et les possibilités de vérification ou de récupération. Des invariants et des scénarios de conformité permettent de comparer les implémentations selon des règles explicites.
Voir le lot de travailUn prototype de registre à portée limitée implémente les règles de durée et les placements retenus. Les tests de conformité et les interfaces d’audit et de récupération relient son comportement à la Semantic Reference.
Voir le lot de travailDes charges contrôlées comparent les conceptions à des références explicites et mesurent les coûts de persistance, de vérification et de récupération. Les configurations, jeux de données et analyses versionnés rendent les comparaisons reproductibles et leurs limites vérifiables.
Voir le lot de travailPublications et versions publiques
Les publications et versions publiques seront répertoriées dès leur disponibilité. Chaque entrée reliera un résultat ou une implémentation à l’artefact de recherche correspondant, afin de suivre à la fois le résultat et la méthode qui l’a produit.
Les notices préciseront la version, les questions de recherche, les hypothèses, les références et les limites d’interprétation. Des liens vers les dépôts, données archivées, configurations et licences permettront de retrouver et réutiliser les matériaux associés.
Étapes du projet
Les étapes publiques documentent l’avancement du programme, de l’approbation du financement et du lancement aux versions de recherche. Les annonces accompagnent les résultats qu’elles présentent, réunissant le contexte du projet et les preuves associées.
Accueilli à l’Université de Neuchâtel, CIRCULA étudiera l’expiration et le renouvellement dans le contexte programmable des systèmes blockchain à travers des sémantiques formelles, des prototypes et une évaluation contrôlée.
