GapLimit

شرح · التوسع

الطبقة الثانية والتجميع والمعرفة الصفرية

كيف ينتقل التنفيذ بعيداً عن الطبقة الأساسية، وما الذي تثبته البراهين، وأين تبقى مخاطر الجسر والبيانات.

لا يلغي التوسع العمل، بل ينقله ويغير من يجب عليه التحقق من ماذا.

لماذا يهم؟

قد يرث المستخدم بعض أمان الطبقة الأساسية مع قبوله مخاطر جديدة في الترتيب والجسر والبراهين والترقية وتوفر البيانات.

ما الذي ينتقل خارج الطبقة الأساسية؟

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

تنشأ الرسوم الأقل من التجميع وافتراضات موارد مختلفة، لا من جعل الحوسبة مجانية.

التفاؤل وبرهان الصلاحية

يعتبر التجميع التفاؤلي النتيجة صحيحة ما لم تُعترض بدليل خلال مدة محددة. ويرسل تجميع الصلاحية برهاناً تشفيرياً على اتباع الانتقال للقواعد المرمزة.

يعتمد التصميمان على صحة العقود وحوكمة الترقيات والوصول إلى البيانات اللازمة لإعادة بناء الحالة أو الاعتراض عليها.

المعرفة الصفرية ليست وعداً واحداً

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

تعتمد الخصوصية على البروتوكول ونشر البيانات وتصميم التطبيق كاملاً، لا على حروف ZK في الاسم.

اختبار الجسر والخروج

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

قد يضيف نقل الرمز عبر جسر خارجي نموذج أمان منفصلاً عن عقود النظام الأصلية.

مسار الثقة في التجميعينتقل التنفيذ وتبقى افتراضات التحقق والخروج.
معاملة المستخدمحزمة مرتبةبرهان أو اعتراضسجل أساسيخروج

مسار المصادر

تابع الخيط

التالي في هذا المسارعبارة الاسترداد والتحويل الآمن

تكمل القراءة الفكرة من زاوية عملية مرتبطة بها.