نظرة أعمق على Boundless: بنية تحتية عالمية للزك القابلة للتوسع لإثباتات قابلة للتوسع

@boundless_network هو بنية تحتية طموحة لإثبات المعرفة الصفرية تم تطويرها بواسطة RISC Zero تهدف إلى إحداث ثورة في كيفية توليد والتحقق من الأدلة بواسطة سلاسل الكتل، مجموعات، والتطبيقات. بدلاً من أن تبني كل شبكة نظام إثبات خاص بها، تخلق Boundless سوقًا مشتركة وتكدسًا لتوليد الأدلة، حيث تتنافس العقد الخارجية لإثبات لتلبية طلبات الإثبات. يحدث الحساب الثقيل خارج السلسلة، بينما يبقى التحقق داخل السلسلة، مما يسمح للسلاسل بالحفاظ على الأمان دون تحمل تكلفة التنفيذ الكامل. يقلل هذا النهج من التكرار، ويخفض تكاليف الغاز، ويحسن من الإنتاجية عبر بيئات متعددة من خلال فصل أدوار التنفيذ والتحقق.

في القلب الفني لـ Boundless يوجد Bento، وهو مجموعة إثبات مبنية على zkVM من RISC Zero. يدعم Bento إعدادات GPU واحدة حتى مجموعات كبيرة، مما يمكّن مقدمي الإثبات من استخدام آلات و GPUs متعددة، وإدارة بيانات الإثبات بأمان، وإعادة المحاولات عند الفشل، والتوسع مع زيادة الطلب. يكمل Bento Broker، الذي يتولى التعاملات في السوق: يقوم المتزايدون بقفل طلبات الإثبات، والمزايدة، وإرسال الوظائف إلى Bento، وتقديم الإثباتات، وإدارة الضمانات. تسمح هذه البنية لمقدمي الإثبات وطلباتهم بالتفاعل من خلال عروض محددة بشكل جيد، حيث يحدد الطلبة معايير مثل حدود الأسعار، وتوقيتات الانتظار، والضمانات، ويُحفز مقدمو الإثبات اقتصاديًا لتقديم إثباتات صحيحة.

نموذج الاقتصاد يدور حول إثبات العمل القابل للتحقق (PoVW) والرمز الأصلي $ZKC. يقوم مقدمو الخدمة بتخزين ZKC، ثم يكسبون المكافآت بـ $ZKC مقابل الإثباتات التي يولدونها، حيث يقيس النظام تكلفة الحوسبة والجودة. يمكن أن يؤدي السلوك غير الصحيح أو الفشل في تلبية الطلبات إلى خصم الضمان. يلعب الرمز أيضًا أدوارًا في الحوكمة ونشر العقود. تم تصميم اقتصاديات الرمز لتحقيق توازن بين العرض، التضخم (أعلى في البداية، مما يقلل مع مرور الوقت)، والحوافز لضمان المشاركة على المدى الطويل.

تؤكد Boundless أيضًا على تجربة المطورين والتشغيل البيني. يمكن للمطورين كتابة برامج zkVM ( عادةً بلغة Rust )، وتقديم طلبات إثبات ( داخل السلسلة أو خارج السلسلة حسب احتياجات مقاومة الرقابة )، وترك شبكة Boundless تربطهم مع المبرهنين. تساعد آليات التجميع على تجميع الإثباتات بكفاءة لتقليل تكلفة التحقق. مع دعم لعدة سلاسل كتل عبر عقود التحقق المنفذة، يمكن لأي سلسلة تتكامل مع Boundless الاستفادة دون إعادة تنفيذ كل مكون. يوفر البروتوكول حزم SDK، وأدوات سطر الأوامر، والوثائق لتقليل الاحتكاك.

بعض المقاييس الرئيسية حتى منتصف سبتمبر 2025 توضح أين تقف Boundless: إجمالي عرض ZKC هو 1,000,000,000 توكن، حوالي 20.10% متداول. هيكل التضخم مصمم ليبدأ بحوالي 7% سنويًا ويتناقص إلى حوالي 3% بحلول السنة الثامنة. تشمل تخصيصات التوكنات الانبعاثات للمحققين والمشاركين، مع وجود نظام التحقق والخصم متضمن في إطار الطلب/التحقق. شملت جهود جمع التبرعات مرحلة إطلاق مع طلب كبير تم التعهد به.

استنتاجي: تتجه Boundless لتكون طبقة بنية تحتية أساسية لأنظمة إثبات المعرفة الصفرية، حيث تقدم حلاً موحدًا وقابلًا للتوسع ينقل العبء الحاسوبي خارج السلسلة مع الحفاظ على الثقة داخل السلسلة. تشير مجموعة تقنيتها (Bento + Broker)، ونموذج الحوافز (PoVW + ZKC)، وأدوات المطورين إلى أنها مصممة للأداء العالي وقابلية الاستخدام. من المحتمل أن تكون التحديات القادمة حول ضمان مشاركة كافية من المبرهنين (hardware، والموثوقية)، وإدارة زمن تأخير الإثبات والتكاليف، وإقناع العديد من السلاسل والتطبيقات بتبني عقود التحقق الخاصة بها. ولكن إذا توافقت هذه العوامل بشكل جيد، فإن Boundless يمكن أن تقلل بشكل كبير من الحواجز أمام الدخول إلى الحوسبة القابلة للتحقق القوية عبر مساحة البلوكشين. #لا حدود