Evidence Atlas
Annotierte Nachweise erfassen bestehende Lebensdauermechanismen, ihre Durchsetzungsebenen und Annahmen. Der Atlas legt die Taxonomie und Vergleichsgrenzen für die folgenden Arbeitspakete fest.
Arbeitspaket ansehenERGEBNISSE
CIRCULA verbindet Forschungsergebnisse mit den zugrunde liegenden Nachweisen, der Software und den Methoden. Vier geplante Artefakte führen vom Evidence Atlas über ausführbare Semantik und einen Prototyp zur kontrollierten Evaluation. Diese Seite bündelt im Verlauf des Programms Artefakte, Publikationen, öffentliche Releases und Projektmeilensteine.
Vom Programm zu Ergebnissen
Forschungsartefakte
Jedes Arbeitspaket liefert ein eigenes, mit den anderen verbundenes Artefakt. Der Atlas rahmt die Fragen ein; die Referenz definiert die Regeln; der Prototyp implementiert ausgewählte Entwürfe; die Evaluation Bench liefert kontrollierte Vergleiche. Dies sind geplante Ergebnisse; öffentliche Materialien werden bei Verfügbarkeit verlinkt.
Semantic Reference
Ein formales Modell und eine ausführbare Referenz beschreiben Gültigkeit, Ablauf und Verlängerung einschließlich der Annahmen zu aufbewahrten Informationen und möglicher Überprüfung oder Wiederherstellung. Invarianten und Konformitätsszenarien machen Implementierungen anhand expliziter Regeln vergleichbar.
Arbeitspaket ansehen
Proof of Concept
Ein Ledger-Prototyp mit begrenztem Umfang implementiert ausgewählte Lebensdauerregeln und Durchsetzungsplatzierungen. Konformitätsprüfungen sowie Audit- und Wiederherstellungsschnittstellen verbinden sein Verhalten mit der semantischen Referenz.
Arbeitspaket ansehen
Evaluation Bench
Kontrollierte Workloads vergleichen Entwürfe mit expliziten Baselines und messen Persistenz-, Verifikations- und Wiederherstellungskosten. Versionierte Konfigurationen, Datensätze und Analysematerialien machen die Vergleiche reproduzierbar und ihre Grenzen überprüfbar.
Arbeitspaket ansehenPublikationen und Releases
Publikationen und Software-Releases
Projektpublikationen und öffentliche Releases werden aufgeführt, sobald sie verfügbar sind. Jeder Eintrag verbindet ein Ergebnis oder eine Implementierung mit dem zugehörigen Forschungsartefakt, damit Leser Ergebnis und Entstehungsmethode nachvollziehen können.
Release-Einträge benennen Version, Forschungsfragen, Annahmen, Baselines und Interpretationsgrenzen. Links zu Repositories, archivierten Datensätzen, Konfigurationen und Lizenzen erleichtern das Auffinden und Wiederverwenden der Materialien.
- Version und Kennung
- Forschungsfragen
- Annahmen und Baselines
- Reproduktionsmaterialien
- Lizenz und Archiv
Projektmeilensteine
Projektaktualisierungen
Öffentliche Meilensteine dokumentieren den Fortschritt des Programms, von der Förderbewilligung und dem Start bis zu Forschungs-Releases. Ankündigungen stehen neben den vorgestellten Ergebnissen und verbinden Projektkontext und unterstützende Nachweise.
PROJEKTANKÜNDIGUNG
CIRCULA erhält SNSF-Projektförderung.
An der Université de Neuchâtel wird CIRCULA Ablauf und Verlängerung im programmierbaren Kontext von Blockchain-Systemen anhand formaler Semantiken, Prototypen und kontrollierter Evaluation untersuchen.
