الانتقال إلى المحتوى
جميع مستندات المكتبة

أدلة مرتبطة ببيان للبروتوكولات المالية على السلسلة

مقال 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 هذا الملخص استنادًا إلى المصدر الأصلي؛ وهو ليس نسخة منه.