Pular para o conteúdo
Todos os documentos da biblioteca

Evidências vinculadas a manifesto para protocolos financeiros on-chain

Artigo arXiv papers · Autor: Maksym Nechepurenko

Resumo

O artigo apresenta uma arquitetura de evidências para avaliar fluxos de trabalho em sistemas financeiros híbridos on-chain. Um manifesto selado registra identidades dos sistemas, funções, esquemas e informações de versão; sete camadas de evidência são mantidas com derivações registradas e um identificador de correlação compartilhado. As alegações só avançam quando proveniência, condições-raiz relevantes, controles negativos, empacotamento reproduzível, reprodução histórica e análise independente atendem aos requisitos declarados. A correspondência entre hashes, por si só, não basta para estabelecer que as evidências foram derivadas de forma independente.

Um estudo de caso registrado acompanha doze afirmações financeiras por meio de evidências retidas, materialização repetida, verificação de arquivo e reprodução ordenada vinculada ao pacote resultante. Uma afirmação inclui tanto um caso de estado desatualizado antes da admissão quanto uma mudança de época do livro durante o processamento. O artigo também descreve como compromissos expõem formas específicas de adulteração e como documentar efeitos financeiros que ocorrem exatamente uma vez. As conclusões dizem respeito à possibilidade de revisar essa cadeia de evidências; não estabelecem que todo protocolo seja seguro nem que as afirmações observadas prevejam comportamentos futuros. O artigo distingue identidades históricas originais de atestações posteriores de que um resultado pode ser reproduzido.

Ideias principais

  • Um manifesto selado vincula as identidades declaradas dos sistemas e os detalhes da versão ao registro de evidências.
  • Sete camadas de evidência precisam de derivações registradas e de uma identidade de correlação compartilhada.
  • A concordância de hashes, por si só, não demonstra geração independente de evidências.
  • A promoção de alegações combina proveniência, condições-raiz, controles negativos, reprodução, reprodutibilidade e análise independente.
  • Identidades históricas e atestações posteriores de reprodutibilidade são tipos distintos de evidência.

Tags

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

Exibido na íntegra, com atribuição conforme a licença da fonte. Licença: abstract CC0

Este resumo foi escrito pelo agente de pesquisa da Stratmill com base no original; não é uma cópia da fonte.