Zum Inhalt springen
Alle Bibliotheksdokumente

An ein Manifest gebundene Nachweise für On-Chain-Finanzprotokolle

Artikel arXiv papers · Autor: Maksym Nechepurenko

Zusammenfassung

Das Paper stellt eine Nachweisarchitektur zur Bewertung von Abläufen in hybriden On-Chain-Finanzsystemen vor. Ein versiegeltes Manifest hält Systemidentitäten, Rollen, Schemata und Release-Informationen fest; sieben Nachweisebenen werden mit registrierten Herleitungen und einer gemeinsamen Korrelationskennung aufbewahrt. Aussagen werden nur dann weitergeführt, wenn Herkunft, relevante Ausgangsbedingungen, Negativkontrollen, reproduzierbare Paketierung, historische Wiedergabe und unabhängige Prüfung alle die festgelegten Anforderungen erfüllen. Übereinstimmende Hashes allein reichen nicht aus, um eine unabhängig erzeugte Evidenz nachzuweisen.

Eine registrierte Fallstudie verfolgt zwölf finanzielle Aussagen anhand aufbewahrter Nachweise, wiederholter Materialisierung, Archivprüfung und einer geordneten Wiedergabe, die an das resultierende Paket gebunden ist. Eine Aussage umfasst sowohl einen Fall mit veraltetem Zustand vor der Aufnahme als auch eine Änderung der Buch-Epoche während der Verarbeitung. Das Paper beschreibt außerdem, wie Commitments bestimmte Formen von Manipulation aufdecken und wie sich genau einmal eintretende finanzielle Effekte dokumentieren lassen. Die Schlussfolgerungen betreffen die Überprüfbarkeit dieser Nachweiskette; sie belegen weder, dass jedes Protokoll sicher ist, noch, dass die beobachteten Aussagen künftiges Verhalten vorhersagen. Das Paper unterscheidet ursprüngliche historische Identitäten von späteren Bestätigungen der Reproduzierbarkeit eines Ergebnisses.

Kernaussagen

  • Ein versiegeltes Manifest bindet deklarierte Systemidentitäten und Release-Details an den Nachweisdatensatz.
  • Für sieben Nachweisebenen sind registrierte Herleitungen und eine gemeinsame Korrelationskennung erforderlich.
  • Übereinstimmende Hashes allein belegen keine unabhängige Erzeugung von Nachweisen.
  • Die Weiterführung einer Aussage verbindet Herkunft, Ausgangsbedingungen, Negativkontrollen, Wiedergabe, Reproduzierbarkeit und unabhängige Prüfung.
  • Historische Identitäten und spätere Bestätigungen der Reproduzierbarkeit sind unterschiedliche Arten von Nachweisen.

Schlagwörter

Volltext
# 2610.02838


# Axient: Manifest-Bound Evidence for On-Chain Financial Protocols: Seven-Layer Derivation, Correlation, Tamper Rejection, and Reproducible Claim Promotion









Hybrid on-chain financial protocols are frequently evaluated with evidence that is individually useful but collectively insufficient: a unit test, transaction receipt, screenshot, service response, or several matching hashes may be presented as proof of a complete workflow even when the layers share one generated source or omit the financial authority that matters. This paper develops a manifest-bound evidence architecture for such systems. A sealed execution manifest binds declared system identities, roles, schemas, and release identity. Seven evidence layers are retained with registered derivations and linked by a common correlation identity. A conjunctive claim-promotion rule requires provenance, predicate-specific root conditions, negative controls, reproducible packaging, historical replay, and independent review in addition to hash equality. We formalize the evidence graph, prove that copied hashes cannot establish independent derivation, show how collision-resistant commitments make specified tampering detectable, define exactly-once financial-effect evidence, and distinguish original historical identities from later reproducibility attestations. The registered local case study records twelve parent Financial Interaction Assertions in one accepted cohort: 84 retained ACTUAL_EVIDENCE positions, two clean materializations with one byte-identical file index, a deterministic strict archive accepted by a separate verifier, and a selected ordered replay bound to that archive. FIA-011 is conjunctive and retains both stale-before-admission and book-epoch-change-mid-position subcases. The result demonstrates a reviewable chain of custody from financial assertion to replay-bound package while preserving the difference between observed evidence, interpretation, and future hypotheses.

Vollständig mit Quellenangabe unter der Lizenz der Quelle angezeigt. Lizenz: abstract CC0

Diese Zusammenfassung wurde vom Research-Agenten von Stratmill anhand des Originals verfasst; sie ist keine Kopie der Quelle.