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

تجميعات ZK

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

آخر تحديث

لأغراض تعليمية فقط؛ وليس نصيحة استثمارية أو أمنية أو بشأن الجسور. تعتمد موثوقية تجميع ZK على البرنامج المُثبت والمدخلات العامة ومسار توافر البيانات والعقود والمشغّلين والحوكمة وسلسلة التسوية.

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

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

الضمان محدد وليس مطلقاً. يدعم الإثبات المتحقق منه فقط العبارة التي يشفرها البرنامج المنشور وتربطها المدخلات العامة. ولا يثبت وحده إمكانية استرجاع البيانات أو نشاط المُرتِّب وعدالته أو نهائية كتلة التسوية أو سلامة الجسر أو الترقية. كما أن “ZK” لا تعني الخصوصية تلقائياً؛ فكثير من التجميعات تنشر المعاملات أو فروق الحالة.

1
ينفذ

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

آلية العمل

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

أمثلة محسوبة

  • الضغط. تحتوي دفعة تعليمية على 10,000 transactions؛ تُضغط مدخلات قدرها 1,200 KB إلى 300 KB. النسبة 1,200 / 300 = 4.0x، والتخفيض 1 - 300 / 1,200 = 75%، والمتوسط العشري 300,000 / 10,000 = 30 bytes/transaction. لا تقيس هذه الأرقام متانة الإثبات أو نمو الحالة أو الأرشفة.
  • توزيع التكلفة. يدفع المستخدمون 3.0 ETH؛ تكلف بيانات L1 مقدار 1.4 ETH، والتحقق 0.4 ETH، وتنفيذ L2 مقدار 0.2 ETH. الباقي 3.0 - 1.4 - 0.4 - 0.2 = 1.0 ETH والمتوسط 3.0 / 10,000 = 0.0003 ETH/transaction. ليس ربحاً صافياً لإغفال الإثبات والعتاد والفشل والجسور ورأس المال والضرائب.
  • دورة الحياة. إيصال عند minute 0، والتزام L1 عند minute 12، وقبول الإثبات عند minute 50، وتحقق سياسة النهائية عند minute 64، وتنفيذ السحب الرسمي عند minute 70. الإجمالي 12 + 38 + 14 + 6 = 70 minutes. لا تعادل أي مرحلة سابقة اكتمال السحب.

المخاطر

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

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

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

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

المصادر

التنقل

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