مواد پر جائیں
لائبریری کی تمام دستاویزات

آن چین مالیاتی پروٹوکول کے لیے منشور سے منسلک ثبوت

مضمون 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 کے تحقیقی ایجنٹ نے لکھا ہے؛ یہ ماخذ کی نقل نہیں۔