🧠 هندسة الرمز @ سلسلة EthCC [2/12] حديث اليوم: "توسيع نطاق Ethereum من خلال تحسين شبكات ZK Prover" بقلم فرانكلين ديلهيل من @lagrangedev. هذا جزء من سلسلتنا التي تغطي المحادثات الرئيسية من مسار هندسة التوكنات في @EthCC 2025. #TEatEthCC2025 ⚙️ التحدي: مطابقة العرض والطلب في الحوسبة أنظمة إثبات ZK كثيفة الحوسبة. احتاج فريق فرانكلين إلى طريقة لمطابقة العملاء (الذين يريدون إثباتات) بشكل عادل وفعال مع المشغلين (الذين يقدمون قوة الحوسبة). التطور: النتائج الجزئية عديمة الفائدة. يجب أن تكون كل مباراة كل شيء أو لا شيء. 📈 الهدف: بناء مزاد عادل ومواءم للحوافز مشكلة التصميم هي شكل مختلف من المزاد المزدوج - ولكن مع قيود أصعب من الأسواق التقليدية. كان على النظام التحسين عبر خمس خصائص: 1. الصدق 2. إثبات استراتيجية المجموعة 3. تعظيم الرفاهية 4. متوازنة في الميزانية 5. الكفاءة الحسابية 🧠 المشكلة: إنها مشكلة حقيبة ظهر تشبه مطابقة العملاء والمشغلين محاولة حزم حقيبة بعناصر ذات شكل غريب - رسميا ، تحدي التحسين الاندماجي. الحل الأمثل هو NP-complete ، بمعنى آخر ، غير قابل للحل عمليا في فترة زمنية معقولة. 🧪 الحل: مزادات "Tetron and a Half" لجعلها تعمل في الإنتاج ، خفف فريق فرانكلين من بعض القيود: - بدلا من تعظيم الرفاهية ، فإنها تتطلب نتائج موجبة إيجابية - قاموا بتحديد خوارزمية مرنة "عائلة" مبنية من التطابقات المصنفة ومرشحات توافق العرض والطلب ومنطق الدفع - يتم تحديد معلمات كل متغير في العائلة وتكييفه حسب حالة الاستخدام. 🔍 مكونات الخوارزمية يتضمن إطار المزاد ما يلي: - قواعد الترتيب: فرز العملاء والمثبتين حسب الربحية والقوة - قواعد المطابقة: تصفية المجموعات الممكنة (على سبيل المثال ، حساب ≥ الحاجة ، النطاق السعري موافق) - قواعد الدفع: قم بتسعير العمل بشكل عادل ، مع إعطاء الأولوية للنتائج القابلة للاستخدام على النتائج المثلى 🧱 تحديات العالم الحقيقي حتى مع وجود خوارزمية صوتية ، يكون التنفيذ فوضويا: - الشبكات الحقيقية مستمرة وليست جولات مزاد واحدة - الأجهزة غير متجانسة (وحدة معالجة الرسومات مقابل وحدة المعالجة المركزية ، معدلات الفشل ، إلخ.) - يقدم العملاء قواعد مخصصة وتفضيلات المشغل - يجب مراعاة السلوك العدائي النتيجة: المزيد من حالات الحافة ، والمزيد من الاستدلالات ، والمزيد من الفوضى الاندماجية. 🎯 الوجبات الجاهزة تصميم المزاد لإثبات ZK هو مزيج صعب من الاقتصاد والتحسين والهندسة. يوضح فرانكلين كيف يتطلب تكييف النماذج النظرية مع البنية التحتية الحقيقية ... التنازلات والفهم العميق لجميع طبقات النظام. 🎥 شاهد الحديث كاملا: 📰اقرأ الورقة: 📚 استكشاف جميع الملخصات: البحث #TEatEthCC أو قم بزيارة كتابة الحدث الخاص بنا: