الانتقال إلى المحتوى
Financial Context Wiki

توافر البيانات

دليل يبدأ بالتحقق من نشر البيانات وقابليتها للاسترجاع والالتزامات والصحة والنهائية وأخذ العينات والاحتفاظ والأرشفة واشتقاق التجميع والتعافي القابل للتنفيذ.

آخر تحديث

لأغراض تعليمية فقط؛ لا يشكل ذلك نصيحة استثمارية أو توصية استثمارية. قد تؤدي الاستثمارات إلى خسائر.

الإجابة المباشرة

يعني توافر البيانات نشر مقدار كاف من البيانات التي يحددها البروتوكول وإمكان الحصول عليها خلال النافذة المطلوبة، بحيث يستطيع المشاركون المقصودون التحقق من الحالة المعنية أو اشتقاقها أو إعادة بنائها. قد يكون الكائن المطلوب مدخلات معاملات أو فروق حالة أو حصصًا مشفرة أو تنسيق دفعة آخر محددًا؛ ولا يعني ببساطة أن موقعًا أو نقطة RPC أو واجهة API للمشروع متاحة.

يجب فصل أربعة ادعاءات. يتعلق التوافر بالنشر في الوقت المناسب لمستهلكي البروتوكول. وتتعلق قابلية الاسترجاع بقدرة طرف معين على جلب البايتات الآن أو لاحقًا. وتتعلق الصحة باتباع انتقال الحالة للقواعد أو قيود الإثبات. وتتعلق النهائية بقدرة الإجماع على استبدال الالتزام ضمن التشغيل العادي للبروتوكول. لا يثبت الالتزام الملزم أو إثبات KZG أو إثبات الصحة أو الإدراج النهائي الادعاءات الأربعة بذاته، والتوافر المؤقت ليس أرشفة دائمة.

آلية العمل

  1. عرّف الادعاء قبل قياسه: الدفعة أو blob أو مساحة الأسماء أو كائن البيانات المشفرة بالضبط؛ والبروتوكول وإصداره؛ والمستهلك المقصود؛ ومهمة الاشتقاق أو التحقق أو الخروج المطلوبة؛ ونوافذ التوافر والطعن والتعافي. تعني البيانات الكاملة ما يكفي وفق ذلك البروتوكول، لا نسخة غير محددة من كل معاملة.
  2. ثبّت مسار النشر وأدلته: سلسلة التسوية أو سلسلة DA المخصصة أو calldata أو blob sidecar أو الالتزام الخارجي أو شهادة اللجنة؛ ومعرّفات الكتلة والفتحة والدفعة؛ والترميز والضغط؛ والالتزام؛ والعقد أو الجسر الذي يستهلكه. النشر في موضع لا يثبت أن متحققًا آخر يفحصه.
  3. اختبر الربط وإعادة البناء بصورة مستقلة. اجلب البايتات دون API المشروع، وتحقق من hash أو KZG أو الالتزام الآخر ومرجع الإدراج، وصحة الإطارات وترميز المحو، وفك الدفعة، وأعد إنتاج المدخلات اللازمة لاشتقاق الحالة. الالتزام الصحيح بلا بايتات ليس إعادة بناء ناجحة.
  4. ارسم نموذج القبول. سجّل ما إذا كانت العقد الكاملة تنزّل الكائن، أو العقد الخفيفة تأخذ عينات من حصص موثقة، أو للمدققين واجبات حفظ، أو توقع لجنة توافر البيانات شهادة عتبة. اذكر افتراضات أخذ العينات والمحو واستقلال النظراء والعتبة والحصة والمفاتيح وحجب الشبكة، وما يتحقق منه عقد التسوية أو الجسر فعليًا.
  5. تابع حالات وساعات مستقلة: مقدّم، ومدرج، ومتاح في نافذة البروتوكول، وقابل للاسترجاع بواسطة عملاء مستقلين، ومفكوك أو مشتق، وصحيح التنفيذ، وآمن، ونهائي، ومؤرشف. قد يثبت إثبات الصحة حسابًا مقيدًا بينما تظل البيانات اللازمة للاشتقاق أو التشغيل المستقل غير متاحة.
  6. قس الاحتفاظ والتهيئة والاقتصاديات. سجّل الحد الأدنى لخدمة البروتوكول، وسلوك الحذف، ومزودي الأرشيف واللقطات، ومتطلبات العقدة الجديدة، والبايتات الخام والمشفرة، والحمل الزائد، وسعر الوحدة، وتكاليف الإثبات والمعاملة، وحدود السعة، والإعانات، وتكاليف الرجوع. يصبح الاسترجاع الطويل الأجل تبعية إضافية بعد انتهاء DA المؤقت.
  7. تدرّب على الأعطال. اختبر حجب البيانات والخدمة الانتقائية والعينات المترابطة أو المحجوبة وفقدان اللجنة وتوقف DA أو انقسامها وإعادة تنظيم التسوية وفقدان الإطارات وفقدان الأرشيف ورقابة المنسق وارتفاع الرسوم. تحقق من التوقف الآمن والإدراج القسري وإعادة المحاولة والرجوع وإعادة البناء والخروج باستخدام البرامج والبيانات والغاز الفعلية، ثم احتفظ بالالتزامات والإيصالات وأدلة الأرشفة المستقلة.

أمثلة محلولة

  • وحدات تكلفة البيانات الصحيحة. تحتوي الدفعة على 400,000 bytes وتغطي 2,000 transactions وتكلف $0.00002 per byte. رسوم بيانات DA هي 400,000 * $0.00002 = $8 per batch، أو $8 / 2,000 = $0.004 per transaction. إذا ارتفع سعر الوحدة عشرة أضعاف إلى $0.00020 per byte، تصبح التكلفة $80 per batch و$0.040 per transaction، وليس $0.04 per batch. لا تشمل العملية التنفيذ والإثبات والحمل الزائد للمعاملة والأرشفة والهامش.
  • نافذة خدمة البروتوكول ليست وعدًا بالأرشفة. الحد الأدنى لنافذة الطلب في EIP-4844 هو 4,096 epochs؛ ومع 32 slots per epoch و12 seconds per slot يساوي ذلك 4,096 * 32 * 12 = 1,572,864 seconds، أو 1,572,864 / 86,400 = 18.2044444444 days. هذا حد أدنى للبروتوكول في هذا النموذج، وليس ضمانًا بأن مزودًا واحدًا سيحفظ blob معينًا إلى الأبد.
  • احتمال مبسط لأخذ العينات. افترض، في نموذج توضيحي فقط، أن مهاجمًا يحجب 50% من الحصص الموسعة المأخوذة بالتساوي، وأن 30 عينة موثقة مستقلة وتؤخذ مع الإرجاع. احتمال أن تفوّت كل العينات المنطقة المحجوبة هو 0.5^30 = 0.0000000009313225746، ومن ثم يكون احتمال الكشف 99.9999999069%. هذه ليست كفالة خدمة حية لـ PeerDAS أو شبكة أخرى؛ فترابط النظراء وانحياز العينات ومعلمات الترميز والهجمات التكيفية تغير النتيجة.
  • عتبة اللجنة لا تساوي قابلية الاسترجاع الحالية. تتطلب لجنة DA افتراضية 5-of-7 توقيعات. إذا تعذر ثلاثة أعضاء، يبقى 4 فقط، فلا يمكن تكوين شهادة عتبة جديدة. تثبت شهادة قديمة ذات 5 signatures أن العتبة صدّقت وفق قواعدها؛ ولا تثبت أن مستخدمًا معينًا يستطيع استرجاع البايتات الآن أو أن التنفيذ صحيح أو أن التسوية نهائية.

المخاطر

  • فحص السلسلة أو الدفعة أو blob أو مساحة الأسماء أو إصدار البروتوكول الخطأ.
  • الخلط بين الالتزام أو الشهادة والبايتات الأساسية.
  • اعتبار الاسترجاع الحالي من نقطة واحدة توافرًا على مستوى البروتوكول.
  • اعتبار توافر البيانات إثباتًا لصحة التنفيذ.
  • اعتبار التوافر أو الصحة نهائية للإجماع.
  • الإشارة إلى كتلة تسوية قديمة أو غير آمنة أو أعيد تنظيمها.
  • تفويت نافذة احتفاظ البروتوكول قبل جلب البيانات.
  • الاعتماد على أرشيف أو لقطة أو مفهرس أو API مشروع واحد.
  • قبول إطارات أو ضغط أو ترميز محو مشوه.
  • عدم التحقق من hash أو KZG أو الالتزام الآخر.
  • أخذ حصص أقل من اللازم لنموذج التهديد المعلن.
  • افتراض استقلال العينات أو النظراء أو مجموعات الحفظ وهي مترابطة.
  • التعرض لحجب الشبكة أو اختيار نظراء منحاز أو خدمة انتقائية.
  • استخدام معلمات محو أو عتبات إعادة بناء لا تتوافق مع المتحقق.
  • الاعتماد على لجنة DA متواطئة أو غير متاحة.
  • سماح عقد الجسر أو التسوية بكائن أضعف مما يتوقعه المستخدمون.
  • فقدان البيانات بسبب حجب المنسق أو الرقابة أو فقدان إطارات الدفعة.
  • مواجهة توقف DA أو انقسامها أو إعادة تنظيمها أو ترقية عميل غير متوافقة.
  • اكتشاف أن الإدراج القسري أو الرجوع أو التعافي أو الخروج غير قابل للتنفيذ.
  • التقليل من السعة أو ارتفاع الرسوم أو الحمل الزائد أو تكلفة الأرشفة أو انتهاء الإعانات.

مفاهيم خاطئة شائعة

  • إثبات الصحة يلغي الحاجة إلى توافر البيانات.
  • الالتزام أو إثبات KZG يثبت إمكان الحصول على كل البايتات.
  • الإدراج النهائي يعني أن البيانات تظل قابلة للاسترجاع دائمًا.
  • تسميات on-chain أو blob أو DA مخصصة أو أخذ العينات توفر تلقائيًا الأمان نفسه.
  • زيادة العينات أو انخفاض التكلفة وحدهما يثبتان تفوق تصميم DA معين.

موضوعات ذات صلة

المصادر

التنقل

ابحث في الويكي...