Evidence Atlas
Annotated evidence maps existing lifetime mechanisms, their enforcement layers and assumptions. The atlas establishes the taxonomy and comparison boundaries used by subsequent work packages.
View work packageRESULTS
CIRCULA connects research findings with the evidence, software and methods behind them. Four planned artefacts carry the work from an evidence atlas to executable semantics, a prototype and controlled evaluation. This page brings together those artefacts, publications, public releases and project milestones as the programme progresses.
From programme to results
Research artefacts
Each work package produces a distinct, connected artefact. The atlas frames the questions; the reference defines the rules; the prototype implements retained designs; the evaluation bench supplies controlled comparisons. These are planned outputs, with public materials linked when available.
Semantic Reference
A formal model and executable reference describe validity, expiry and renewal, including assumptions about retained information and possible verification or recovery. Invariants and conformance scenarios make implementations comparable against explicit rules.
View work package
Proof of Concept
A bounded ledger prototype implements selected lifetime rules and enforcement placements. Conformance checks and audit and recovery interfaces connect its behaviour to the semantic reference.
View work package
Evaluation Bench
Controlled workloads compare designs with explicit baselines, measuring persistence, verification and recovery costs. Versioned configurations, datasets and analysis materials make the comparisons reproducible and their limits inspectable.
View work packagePublications & releases
Publications and software releases
Project publications and public releases will be listed as they become available. Each entry will connect a finding or implementation to its supporting research artefact, so readers can follow both the result and how it was obtained.
Release records will identify the version, research questions, assumptions, baselines and interpretation limits. Links to repositories, archived datasets, configurations and licences will make the supporting materials easy to find and reuse.
- Version & identifier
- Research questions
- Assumptions & baselines
- Reproduction materials
- Licence & archive
Project milestones
Project updates
Public milestones document the programme’s progress, from funding approval and launch to research releases. Announcements appear alongside the results they introduce, keeping the project’s context and supporting evidence together.
PROJECT ANNOUNCEMENT
CIRCULA receives SNSF Project Funding approval.
Hosted at Université de Neuchâtel, CIRCULA will study expiry and renewal in the programmable context of blockchain systems through formal semantics, prototypes and controlled evaluation.
