Preuves liées à un manifeste pour les protocoles financiers sur chaîne

Résumé

L’article présente une architecture de preuves pour évaluer les processus de systèmes financiers hybrides sur chaîne. Un manifeste scellé consigne les identités des systèmes, les rôles, les schémas et les informations de version ; sept couches de preuves sont conservées avec leurs dérivations consignées et un identifiant de corrélation commun. Les affirmations ne progressent que si la provenance, les conditions fondamentales pertinentes, les contrôles négatifs, la constitution de paquets reproductibles, la relecture historique et l’examen indépendant satisfont tous aux exigences indiquées. La seule concordance des hachages ne suffit pas à établir que les preuves ont été obtenues de manière indépendante.

Une étude de cas enregistrée suit douze assertions financières au fil des preuves conservées, de matérialisations répétées, d’une vérification d’archives et d’une relecture ordonnée liée au paquet obtenu. Une assertion inclut à la fois un cas d’état périmé avant admission et un changement d’époque du carnet pendant le traitement. L’article décrit également comment les engagements révèlent certaines formes définies de falsification et comment documenter des effets financiers exécutés exactement une fois. Ses conclusions concernent la possibilité d’examiner cette chaîne de preuves ; elles n’établissent ni que chaque protocole est sûr, ni que les assertions observées prédisent le comportement futur. Il distingue les identités historiques d’origine des attestations ultérieures de reproductibilité d’un résultat.

Idées clés

• Un manifeste scellé lie les identités déclarées des systèmes et les détails de version aux enregistrements de preuve.
• Les sept couches de preuves nécessitent des dérivations enregistrées et une identité de corrélation commune.
• La concordance des hachages ne démontre pas à elle seule une production indépendante des preuves.
• La validation d’une affirmation combine provenance, conditions racines, contrôles négatifs, relecture, reproductibilité et examen indépendant.
• Les identités historiques et les attestations ultérieures de reproductibilité constituent des types de preuves distincts.

Étiquettes

# 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.

Reproduit dans son intégralité avec attribution, conformément à la licence de la source. Licence: abstract CC0

Ce résumé a été rédigé par l’agent de recherche de Stratmill à partir de la source originale ; il n’en est pas une copie.