Polynomial Multiproofs for Scalable Data Availability Sampling in Blockchain Light Clients
تقترح هذه الورقة البحثية وتقيم آلية إثبات متعدد الحدود (PMP) لعملاء البلوكشين الخفيفين، والتي تقوم بتجميع براهين KZG متعددة في عملية تحقق واحدة، مما يقلل بشكل كبير من تكاليف عرض النطاق الترددي والتخزين والحوسبة بنسبة تصل إلى 45% مقارنة بنهج الإثبات لكل خلية التقليدي.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول التحقق من أن مكتبة ضخمة من الكتب (سلسلة كتل/Blockchain) كاملة ولم يتم التلاعب بها. لكن ليس لديك شاحنة لنقل المكتبة بأكملها، وبالتأكيد ليس لديك الوقت لقراءة كل صفحة فيها. أنت هنا بمثابة "عميل خفيف" (Light Client) — ربما تستخدم هاتفاً ذكياً أو متصفحاً — وتحتاج إلى طريقة للتحقق من سلامة المكتبة دون الحاجة لتحميلها بالكامل.
تقدم هذه الورقة طريقة مبتكرة وجديدة للقيام بذلك، توفر المساحة والوقت والمال. إليك التفاصيل باستخدام تشبيهات بسيطة.
المشكلة: كابوس "إيصال لكل قطعة"
في النظام الحالي (الأساس)، تخيل أنك تريد التحقق مما إذا كانت 10 صفحات محددة في المكتبة حقيقية.
- الطريقة القديمة: مقابل كل صفحة تتحقق منها، تعطيك المكتبة "إيصالاً" منفصلاً وثقيلاً بحجم 48 بايت (دليلاً تشفيرياً) لإثبات أن الصفحة أصلية.
- النتيجة: إذا تحققت من 10 صفحات، ستحصل على 10 إيصالات. إذا تحققت من 1,000 صفحة، ستحصل على 1,000 إيصال.
- المعاناة: حمل 1,000 إيصال أمر ثقيل (يهدر عرض النطاق الترددي/Bandwidth). وقراءة 1,000 إيصال تستغرق وقتاً طويلاً (يهدر بطارية هاتفك وقوة المعالج/CPU). كما أن تخزين 1,000 إيصال يشغل مساحة كبيرة على خوادم الشبكة.
الأمر يشبه شراء رغيف خبز، وجالون حليب، ودزينة بيض، ثم تجبرك المتجر على حمل صندوق كرتوني ثقيل ومنفصل لكل قطعة، رغم أنها جميعاً يمكن أن تسعها حقيبة واحدة.
الحل: "الإيصال المجمع" (Polynomial Multiproofs)
يقترح المؤلفون طريقة جديدة تسمى "البراهين المتعددة متعددة الحدود" (Polynomial Multiproofs - PMP).
بدلاً من إعطائك إيصالاً لكل قطعة على حدة، يقومون بتجميع العناصر معاً.
- الطريقة الجديدة: إذا كنت تريد التحقق من 10 صفحات قريبة من بعضها البعض، تضع المكتبة هذه الصفحات في "دفعة صغيرة" (micro-batch) واحدة. ثم تُنشئ إيصالاً واحداً خارقاً يثبت أصالة الـ 10 صفحات معاً.
- السحر: لا تزال تحصل على نفس المستوى من الأمان (تعرف أن الصفحات حقيقية)، ولكن عليك فقط حمل والتحقق من إيصال واحد بدلاً من عشرة.
كيف يعمل الأمر (التشبيه)
فكر في بيانات "سلسلة الكتل" كأنها حديقة ضخمة بها آلاف الزهور (الخلايا).
- النظام القديم: إذا أردت التأكد من أن 5 زهرات سليمة، يعطيك البستاني 5 رسائل منفصلة مكتوبة بخط اليد، وكل منها موقعة من قِبل كبير البستانيين. عليك قراءة والتحقق من 5 توقيعات.
- النظام الجديد (PMP): يقوم البستاني بتجميع تلك الزهرات الخمس في "رقعة" صغيرة. ثم يكتب رسالة واحدة فقط تقول: "هذه الزهرات الخمس المحددة في هذه الرقعة المحددة سليمة"، ويوقعها مرة واحدة.
- بالنسبة لك (العميل الخفيف): عليك فقط التحقق من توقيع واحد. هذا أسرع بكثير ويستهلك طاقة أقل.
- بالنسبة للشبكة: بدلاً من تخزين 5 رسائل منفصلة، يتم تخزين رسالة واحدة فقط. وهذا يوفر مساحات هائلة من التخزين.
لماذا يهم هذا عالم "سلسلة الكتل" (Blockchain)
اختبرت الورقة هذا في نظام حقيقي يسمى Avail ووجدت ثلاث فوائد ضخمة:
- حركة بيانات أقل (عرض النطاق الترددي): بما أنك تقوم بتحميل عدد أقل من "الإيصالات"، فإن الشبكة تنقل البيانات بشكل أسرع بكثير. الأمر يشبه الانتقال من إرسال 100 بطاقة بريدية فردية إلى إرسال طرد واحد كبير وفعال.
- عمليات تحقق أسرع (المعالج/الذاكرة): هاتفك أو حاسوبك المحمول لا يحتاج للقيام بالعمليات الحسابية 100 مرة؛ بل يقوم بها مرة واحدة فقط للمجموعة. هذا يوفر عمر البطارية ويجعل التطبيق يبدو أكثر سلاسة.
- خوادم أرخص (البنية التحتية): الخوادم التي تحتفظ بالبيانات لا تضطر لتخزين الكثير من الملفات المكررة. حسب المؤلفون، يمكن لهذا أن يقلل تكالوف البنية التحتية بنسبة تصل إلى 45%. هذا يشبه قيام شركة بخفض فاتورة الخوادم الخاصة بها إلى النصف تقريباً بمجرد تنظيم ملفاتها بشكل أفضل.
المقايضة (الثمن)
هل هناك جانب سلبي؟ نعم، ولكنه يمكن إدارته.
- الخصوصية: في النظام القديم، إذا طلبت "الصفحة 10"، كان الخادم يعرف فقط أنك تريد الصفحة 10. في النظام الجديد، إذا طلبت "الصفحة 10"، سيعطيك الخادم مجموعة تحتوي على الصفحات 10، 11، 12، و13. الآن أصبح الخادم يعرف أنك مهتم بـ "الحي" أو المنطقة المحيطة بتلك الصفحات، وليس فقط بالصفحة المحددة.
- الحل: يشير البحث إلى أن هذا ثمن بسيط مقابل توفير السرعة والتكلفة الهائلين، والنظام مصمم للتعامل مع ذلك بأمان.
الخلا الخلاصة
هذه الورقة تدور حول الكفاءة. إنها تأخذ نظاماً كان يقوم بالكثير من العمل الشاق والمتكرر (التحقق من إثبات واحد في كل مرة) وتعلمه كيفية القيام بالعمل في دفعات (التحقق من العديد من الإثباتات في وقت واحد).
باستخدام البراهين المتعددة متعددة الحدود (PMP)، يمكن لعملاء "سلسلة الكتل" الخفيفين التحقق من توافر البيانات بشكل أسرع، وأرخص، وباستهلاك أقل للبطارية، مما يجعل سلاسل الكتل اللامركزية قابلة للاستخدام فعلياً على الأجهزة اليومية مثل الهواتف والحواسيب المحمولة. إنه الفرق بين حمل 100 طوبة واحدة تلو الأخرى، وحمل منصة واحدة تحمل 100 طوبة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.