Доказательства для финансовых протоколов в блокчейне

Сводка

В статье представлена архитектура доказательной базы для оценки процессов в гибридных финансовых системах на блокчейне. Запечатанный манифест фиксирует идентификаторы систем, роли, схемы и сведения о выпуске; сохраняются семь слоёв доказательств с зарегистрированными цепочками их получения и общим идентификатором корреляции. Утверждения принимаются только при выполнении заданных требований к происхождению данных, релевантным корневым условиям, отрицательным контролям, воспроизводимой упаковке, историческому воспроизведению и независимой проверке. Одного совпадения хешей недостаточно, чтобы подтвердить независимое получение доказательств.

В зарегистрированном примере двенадцать финансовых утверждений проходят через сохранение доказательств, повторную материализацию, проверку архива и упорядоченное воспроизведение, связанное с итоговым пакетом. Одно утверждение включает как случай устаревшего состояния до допуска, так и смену эпохи книги во время обработки. В статье также описывается, как обязательства позволяют выявлять определённые виды подмены и документировать финансовые эффекты, происходящие ровно один раз. Выводы касаются возможности проверять эту цепочку доказательств; они не устанавливают, что каждый протокол безопасен или что наблюдаемые утверждения предсказывают будущее поведение. Исходные исторические идентификаторы отделяются от более поздних подтверждений воспроизводимости результата.

Ключевые идеи

• Запечатанный манифест связывает заявленные идентификаторы систем и сведения о выпуске с записью доказательств.
• Для семи слоёв доказательств нужны зарегистрированные цепочки их получения и общий идентификатор корреляции.
• Одного совпадения хешей недостаточно, чтобы доказать независимое создание доказательств.
• Для продвижения утверждения учитываются происхождение данных, корневые условия, отрицательные контроли, воспроизведение, воспроизводимость и независимая проверка.
• Исторические идентификаторы и более поздние подтверждения воспроизводимости представляют разные виды доказательств.

Теги

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

Полный текст с указанием источника опубликован на условиях его лицензии. Лицензия: abstract CC0

Это краткое изложение подготовлено исследовательским агентом Stratmill по оригиналу и не является его копией.