Boundless هو بروتوكول يستخدم إثباتات المعرفة الصفرية (ZKPs) لتوسيع نطاق سلاسل البلوكشين القابلة للبرمجة من خلال سوق لامركزية للمثبتين.
سوق Boundless تربط المطورين (الذين يطلبون الإثباتات) مع المُثبتين (الذين يقومون بإنشائها)، باستخدام نظام دليل العمل القابل للتحقق (PoVW) لمكافأة الحوسبة المفيدة.
رموز ZKC هي الرموز المميزة الأصلية للشبكة، وتُستخدم للتخزين، والحوافز، والحوكمة، والمكافآت للمُثبتين في السوق اللامركزية.
نبذة عن Boundless
Boundless هو بروتوكول مُصمم لتعزيز قابلية توسع سلاسل البلوكشين من خلال استخدام إثباتات المعرفة الصفرية (ZKPs). عادةً ما تتطلب شبكات البلوكشين القابلة للبرمجة من كل عقدة كاملة إعادة تنفيذ جميع المعاملات في كتلة للتحقق من الحالة الناتجة. بينما يوفر هذا النهج الأمان، فإنه يؤدي أيضًا إلى كمية كبيرة من العمل المكرر وأداء أبطأ.
يتبع Boundless نهجًا مختلفًا من خلال تقديم الحوسبة القابلة للتحقق وسوق لامركزية للمُثبتين. يمكن للمطورين تقديم مهام حوسبة، ويتنافس المثبتون لإنشاء إثباتات المعرفة الصفرية لها. بدلًا من أن تقوم العقد بتكرار نفس عمليات الحوسبة، يقوم مُثبت واحد بأداء المهمة وإنتاج إثبات يمكن للعقد الأخرى التحقق منه بسرعة. وهذا يقلل من التكرار ويتيح للمطورين بناء تطبيقات أكثر تعقيدًا دون أن يعوقهم ارتفاع رسوم المعاملات أو حدود حجم الكتلة.
آلية عمل Boundless
دليل العمل القابل للتحقق (PoVW)
يعتمد Boundless على نظام يُعرف باسم دليل العمل القابل للتحقق لتوزيع المكافآت. على عكس دليل العمل التقليدي، حيث يقوم المُعدّنون بحل الألغاز التشفيرية للحفاظ على الإجماع، يوجه دليل العمل القابل للتحقق قوة الحوسبة نحو إنتاج إثباتات معرفة صفرية يمكن استخدامها في التطبيقات.
يشارك المُثبتون من خلال تخزين رموز ZKC وكسب المكافآت عند إكمال طلبات الإثبات بنجاح. وإذا فشلوا في تحقيق النتائج، فقد يفقدون جزءًا من رموزهم المُخزنة. يخلق هذا النموذج حوافز قوية للمُثبتين للعمل بشكل موثوق، بينما يضمن توجيه موارد الشبكة نحو عمل مفيد.
مجموعة إثبات Boundless
تم بناء Boundless على آلة RISC Zero الافتراضية ذات المعرفة الصفرية (zkVM). وتتيح للمطورين إثبات أن البرامج المكتوبة بلغة البرمجة Rust تم تنفيذها بشكل صحيح، دون الحاجة لأن تقوم كل عقدة بتكرار العملية. تدير الشبكة عملية الإثبات من خلال مكونين رئيسيين: Bento (بنية تحتية محلية للإثبات) وBroker (خدمة تفاعل السوق).
تعمل Bento كبنية تحتية لإدارة الطلبات، وتنفيذ البرامج، وتجميع الأدلة في تنسيق مناسب، وقد تم تصميمها لتكون مرنة وقادرة على العمل على وحدة معالجة رسومات واحدة أو التوسع إلى مجموعات كبيرة. يعمل Broker جنبًا إلى جنب مع Bento، حيث يربط بين المُثبتين وسوق Boundless من خلال تقييم طلبات الإثبات، وتقديم أسعار العروض، وحجز الطلبات عند تأمينها. بمجرد أن تنجح Bento في إنشاء الإثبات، يقوم Broker بتقديمه على السلسلة للتحقق.
عادةً ما تتكون عملية طلب الإثبات من الخطوات التالية:
كتابة البرنامج: يقوم مطور بكتابة برنامج بلغة Rust لآلة zkVM. ويؤدي تشغيل البرنامج إلى إنتاج مخرجات مع ختم تشفيري يثبت صحة التنفيذ.
تقديم الطلب: المطور، الذي أصبح الآن مُقدم الطلب، يرسل طلب إثبات إلى سوق Boundless، سواء على السلسلة أو خارج السلسلة، ويودع الأموال لتغطية العمل.
عروض المُثبتين: يتنافس المُثبتون في مزاد، وأول مُثبت يقبل الطلب يقوم بحجزه من خلال نشر الضمان، والذي يتم الاستقطاع منه إذا فشل في تحقيق النتائج.
تقديم الإثبات: يقوم المُثبت المختار بإنشاء الإثبات ويمكنه تجميع عدة طلبات في إثبات مُجمع واحد. وبمجرد التحقق من الإثبات على السلسلة، تتم مكافأة المُثبت وإعادة الضمان الخاص به.
استخدام الإثبات: يتلقى المطور الإثبات الذي تم التحقق منه ويقوم بدمجه في التطبيق الخاص به كتأكيد على التنفيذ الصحيح.