رفتن به محتوا
همه اسناد کتابخانه

شواهد مقید به مانیفست برای پروتکل‌های مالی درون‌زنجیره‌ای

مقاله arXiv papers · نویسنده: Maksym Nechepurenko

خلاصه

این مقاله معماری شواهدی را برای ارزیابی گردش‌کارها در سامانه‌های مالی ترکیبی درون‌زنجیره‌ای ارائه می‌کند. مانیفستی مهروموم‌شده، هویت‌های سامانه، نقش‌ها، شِماها و اطلاعات انتشار را ثبت می‌کند؛ هفت لایه شواهد همراه با اشتقاق‌های ثبت‌شده و یک شناسه همبستگی مشترک نگهداری می‌شوند. ادعاها فقط زمانی پیش می‌روند که منشأ، شرایط ریشه‌ای مرتبط، کنترل‌های منفی، بسته‌بندی بازتولیدپذیر، بازپخش تاریخی و بازبینی مستقل همگی الزامات اعلام‌شده را برآورده کنند. تطبیق هش‌ها به‌تنهایی برای اثبات اشتقاق مستقل شواهد کافی نیست.

یک مطالعه موردی ثبت‌شده، دوازده گزاره مالی را از میان شواهد نگهداری‌شده، مادی‌سازی تکرارشده، راستی‌آزمایی بایگانی و بازپخش مرتب‌شده‌ای که به بسته حاصل پیوند دارد دنبال می‌کند. یکی از گزاره‌ها هم حالت وضعیت کهنه پیش از پذیرش و هم تغییر دوره دفترکل هنگام پردازش را در بر می‌گیرد. مقاله همچنین شرح می‌دهد که تعهدها چگونه شکل‌های مشخصی از دست‌کاری را آشکار می‌کنند و چگونه می‌توان اثرهای مالی دقیقاً یک‌باره را مستند کرد. نتیجه‌گیری‌های آن به امکان بازبینی این زنجیره شواهد مربوط‌اند؛ این نتیجه‌گیری‌ها ثابت نمی‌کنند که هر پروتکلی امن است یا گزاره‌های مشاهده‌شده رفتار آینده را پیش‌بینی می‌کنند. مقاله میان هویت‌های تاریخی اولیه و گواهی‌های بعدیِ امکان بازتولید نتیجه تمایز می‌گذارد.

ایده‌های کلیدی

  • مانیفست مهروموم‌شده، هویت‌های اعلام‌شده سامانه و جزئیات انتشار را به سابقه شواهد پیوند می‌دهد.
  • هفت لایه شواهد به اشتقاق‌های ثبت‌شده و یک هویت همبستگی مشترک نیاز دارند.
  • توافق هش به‌تنهایی تولید مستقل شواهد را اثبات نمی‌کند.
  • ارتقای ادعا، منشأ، شرایط ریشه‌ای، کنترل‌های منفی، بازپخش، بازتولیدپذیری و بازبینی مستقل را ترکیب می‌کند.
  • هویت‌های تاریخی و گواهی‌های بعدیِ بازتولیدپذیری، انواع متمایزی از شواهد هستند.

برچسب‌ها

متن کامل
# 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 بر پایه متن اصلی نوشته است؛ نسخه‌ای از اثر منبع نیست.