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

إثبات الصلاحية

دليل يركز على التحقق من إثباتات الصلاحية والمدخلات العامة والشاهد وافتراضات نظام الإثبات وانتقالات حالة التجميع وتوافر البيانات والنهائية وأعطال التشغيل.

آخر تحديث

لأغراض تعليمية فقط؛ وليس نصيحة استثمارية أو أمنية. لا يكون إثبات الصلاحية موثوقًا إلا بقدر موثوقية العبارة وربط المدخلات العامة ونظام الإثبات والمتحقق ومسار توافر البيانات والعقود والمشغلين والحوكمة وسلسلة التسوية.

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

إثبات الصلاحية دليل تشفيري على أن عملية حسابية مُدّعاة تحقق علاقة محددة بدقة. يفحص المتحقق الإثبات باستخدام مفتاح تحقق ومدخلات عامة. في التجميع، تربط هذه المدخلات عادةً جذر الحالة السابق وجذرًا جديدًا مقترحًا والتزامات دفعة معاملات. إذا نجح التحقق، يستطيع عقد التسوية قبول الجذر الجديد من دون إعادة تنفيذ كل معاملة.

الضمان أضيق من القول إن «النظام صحيح». فهو يعتمد على تشفير سليم، والبرنامج أو الدارة المقصودة، وترميز صحيح للمدخلات، ومفتاح تحقق أصيل، وعقود تحقق وتحديث صحيحة. لا يثبت التحقق وحده إمكان استرجاع البيانات أو استمرار المُثبت أو نهائية كتلة التسوية أو سلامة الترقية أو عمل مسار السحب. وقد يستخدم الإثبات نظام انعدام المعرفة، لكن الصلاحية وحدها لا تعني الخصوصية.

1
ينفذ

يقوم المُبرِّر بتنفيذ دفعة أو عملية حسابية ويسجل انتقال الحالة الناتج.

آلية العمل

  1. ثبّت النشر الدقيق: معرّفات سلسلتي L1 وL2، وإصدار التجميع، وعقد تحديث الحالة، وعنوان المتحقق ورمزه، وتجزئة مفتاح التحقق، ونظام الإثبات، وإصدار الدارة أو البرنامج، ونمط البيانات، وصلاحيات الإدارة، وحالة الإيقاف، وسياسة النهائية. لا تمثل تسمية validity proof مواصفة مشتركة بين الأنظمة.
  2. عرّف العلاقة المثبتة قبل تفسير النتيجة. في ظل افتراضات السلامة، يجب أن يعني Verify(vk, x, proof) = 1 وجود شاهد w بحيث R(x, w) = 1. يمثل vk مفتاح التحقق، وx كامل المدخل العام، وR القواعد المرمزة. لا يثبت الإثبات سوى هذه العلاقة.
  3. أعد بناء المدخلات العامة بصورة مستقلة. تأكد من أن الجذر السابق هو المقبول في العقد، واشتق التزام الدفعة أو البيانات والمعرّفات والجذر اللاحق وجذور الرسائل أو السحب والمعلمات من بيانات قانونية. الإثبات الصحيح المرتبط بسلسلة أو جذر أو برنامج أو دفعة خاطئة يثبت ادعاءً خاطئًا.
  4. تحقق من الإثبات ومسار العقد. شغّل متحققًا مستقلاً متوافقًا ثم افحص الاستدعاء على السلسلة والإيصال والحدث ورقم الدفعة وتغير التخزين. تأكد من استدعاء المتحقق المقصود وعدم تجاوز النتيجة أو محاكاتها أو استبدالها بترقية أو فرع ذي امتياز.
  5. تحقق من توافر البيانات بصورة منفصلة. اجلب المعاملات وفروق الحالة وblob sidecar أو البيانات المشهود عليها المطلوبة، وافحص الالتزامات وأعد إنتاج انتقال الحالة أو شاهد الخروج. قد يجتمع إثبات صحيح مع بيانات غير متاحة، ولا سيما في validium.
  6. افصل حالات دورة الحياة: أُنشئ، أُرسل، أُدرج، تحقق الإثبات، قُبلت الحالة، تسوية آمنة، تسوية نهائية، واكتمل السحب. قِس تراكم الإثباتات وتكلفتها وحيوية المرتب والمُثبت وإدراج L1 وإعادة التنظيم وتأخر الجسر والإدراج القسري ومسار الهروب.
  7. احتفظ بأدلة قابلة لإعادة الإنتاج: عناوين العقود وتجزئات الرمز، وتجزئات المفتاح والبرنامج، والمدخلات الكاملة، وبايتات الإثبات أو مرجعه الدائم، وبيانات الدفعة، وأمر التحقق وإصدار البرنامج، والإيصال، ومرجع الكتلة النهائية، واختبار خروج ناجح. أعد الفحص بعد كل ترقية.

أمثلة محسوبة

  • ادعاء الدفعة. يعالج التجميع 8,192 transfers ويربط الإثبات R0 وR1 وB7. يدعم النجاح وجود شاهد من R0 إلى R1 لصالح B7؛ لكنه لا يثبت إمكان جلب بايتات B7 أو إدراج كل المعاملات أو نهائية R1.
  • التجميع التكراري. يتحقق مجمّع من 16 child proofs داخل دارة أصل ويرسل إثباتًا أصليًا. يجب مع ذلك فحص كل إثبات فرعي والترتيب وربط المدخلات؛ فالعدد وحده لا ينشئ هذا الربط.
  • دفتر Gas افتراضي. إذا استهلكت إعادة التنفيذ 24,000,000 gas والتحقق 600,000 gas ونشر البيانات 180,000 gas، فالمجموع 600,000 + 180,000 = 780,000 gas، بانخفاض نموذجي (24,000,000 - 780,000) / 24,000,000 = 96.75%. لا يشمل ذلك العتاد والتجميع والمحاولات الفاشلة والتخزين والجسر والاحتفاظ.

المخاطر

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

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

  • الإثبات المتحقق منه يضمن كل تفاصيل التنفيذ والأرصدة الظاهرة.
  • كل إثبات صلاحية عديم المعرفة ويخفي بيانات المعاملات.
  • تلغي إثباتات الصلاحية مخاطر توافر البيانات وحيوية المرتب والرقابة.
  • يجعل التحقق معاملة التسوية نهائية وقابلة للسحب فورًا.
  • الإثبات الأصغر أو المتحقق الأسرع يعني تلقائيًا نظامًا أكثر أمانًا أو أقل تكلفة.

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

المصادر

التنقل

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