ماذا لو كان من الممكن تحويل تكاليف إثبات التكاليف إلى سوق مفتوحة؟ هذه هي الرؤية وراء Boundless ، التي قدمها @hashcashier (مهندس أول في @RiscZero & @boundless_xyz) في جلسة SBC @WPReadingClub هذه. بدلا من أن يقوم المطورون بتشغيل البنية التحتية الخاصة بهم ، ينشئ Boundless سوقا بدون إذن للبراهين - حيث يمكن لأي شخص طلب إثبات ، وتحديد السعر الذي يرغب في دفعه ، والتنافس المثبتون على تحقيقه. يقدم التصميم نموذج مزاد هولندي عكسي لتحقيق التوازن بين السعر والحيوية: يحدد مقدمو الطلبات المهلات والحد الأدنى للتسعير ، بينما يراهن البروفرس على ضمانات ويتم تخفيضها إذا فشلوا في التسليم. يتم تعزيز الحوافز من خلال رمز ZKC ، الذي يدعم التكاليف عبر آلية "إثبات العمل الذي يمكن التحقق منه" - مما يكافئ المثبتين ليس فقط على إنتاج مخرجات صالحة ، ولكن لدورات الحوسبة التي يمكن إثباتها. المحاور الرئيسية للجلسة: • لماذا تعتبر شبكات الإثبات اللامركزية مهمة لتوسيع نطاق تطبيقات zk بما يتجاوز إعدادات المشغل الفردي. • كيف تتجنب Boundless مخاطر إطلاق L1 أو L2 أخرى من خلال العيش بدلا من ذلك كمجموعة من العقود القابلة للنشر في أي مكان. • الطلب في العالم الحقيقي: من تشغيل المجموعات الإجمالية، إلى الربط غير الموثوق به مع @wormhole، إلى الحوسبة التي يمكن التحقق منها على مستوى المؤسسات. • مقايضات الأمان، بما في ذلك الحاجة إلى التكرار (إعدادات متعددة المرافقات) والتحقق الرسمي عند دخول zkVMs في استخدام الإنتاج. تثبت إعادة الصياغة غير المحدودة أنها ليست بنية تحتية تديرها ، ولكن كسوق تتصل به - حيث تصبح البراهين سلعة ، ويتم تسعيرها وتوريدها وتأمينها من خلال المنافسة المفتوحة. ملخص: ورق: متاح أيضا على موقع يوتيوب: