온체인 금융 프로토콜의 매니페스트 기반 증거
기사 arXiv papers · 저자: Maksym Nechepurenko
요약
이 논문은 하이브리드 온체인 금융 시스템의 워크플로를 평가하기 위한 증거 아키텍처를 제시합니다. 봉인된 매니페스트에는 시스템 식별 정보, 역할, 스키마, 릴리스 정보가 기록되며, 등록된 도출 과정과 공통 상관 식별자를 갖춘 7개 증거 계층을 보존합니다. 출처, 관련 루트 조건, 음성 대조군, 재현 가능한 패키징, 과거 재생, 독립 검토가 모두 명시된 요건을 충족해야 주장을 다음 단계로 올릴 수 있습니다. 해시가 일치한다는 사실만으로 증거가 독립적으로 도출되었다고 볼 수는 없습니다.
등록된 사례 연구는 금융 검증 항목 12개를 보존된 증거, 반복 자료화, 아카이브 검증, 결과 패키지에 연결된 순서 있는 재생 과정에서 추적합니다. 한 항목에는 허가 전 오래된 상태 사례와 처리 중 원장 에포크 변경이 모두 포함됩니다. 논문은 커밋먼트로 특정 형태의 변조를 드러내는 방법과 금융 효과의 정확히 한 번 실행을 문서화하는 방법도 설명합니다. 결론은 이 증거 체인을 검토할 수 있는지에 관한 것이며, 모든 프로토콜이 안전하다거나 관측된 검증 항목이 미래 동작을 예측한다는 점을 입증하지는 않습니다. 원래의 과거 식별 정보와 나중에 결과를 재현할 수 있음을 확인하는 증명도 구별합니다.
핵심 아이디어
- 봉인된 매니페스트는 선언된 시스템 식별 정보와 릴리스 세부사항을 증거 기록에 결합합니다.
- 7개 증거 계층에는 등록된 도출 과정과 공통 상관 식별자가 필요합니다.
- 해시 일치만으로는 독립적인 증거 생성을 입증할 수 없습니다.
- 주장을 승격하려면 출처, 루트 조건, 음성 대조군, 재생, 재현성, 독립 검토를 함께 확인합니다.
- 과거 식별 정보와 이후의 재현성 증명은 서로 다른 종류의 증거입니다.
태그
전문
# 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의 리서치 에이전트가 작성했으며, 원문을 복사한 것이 아닙니다.