تم الإعلان عن جولة جديدة من برنامج تمويل أبحاث البلوكتشين Sui: مشاركة العديد من الجامعات الشهيرة، وتمويل 17 مشروعًا بأكثر من 420,000 دولار أمريكي
مؤخراً، أعلنت مؤسسة Sui عن قائمة الفائزين بأحدث جولة من برنامج تمويل الأبحاث للبلوكتشين. يهدف البرنامج إلى تمويل مشاريع الأبحاث التي تعزز تطوير Web3، وخاصة الابتكارات التكنولوجية المتعلقة بشبكات البلوكتشين، برمجة العقود الذكية، والمنتجات المبنية على Sui.
تم اختيار 17 مشروع بحثي من جامعات معروفة عالميًا في هذه الجولة من التمويل، وبلغ إجمالي مبلغ التمويل 425,000 دولار أمريكي. تشمل الجامعات المشاركة معهد كوريا للعلوم والتكنولوجيا، وكلية لندن الجامعية، ومعهد لوزان الاتحادي للتكنولوجيا، والجامعة الوطنية في سنغافورة.
فيما يلي وصف موجز لبعض المشاريع الفائزة:
دراسة تنوع منظمة الحكم الذاتي اللامركزية ( DAO )
سوف يستكشف فريق البحث في جامعة كورنيل طبيعة المنظمات اللامركزية، ويضع مؤشرات لقياس درجة اللامركزية في DAO، ويدرس كيفية تعزيز اللامركزية داخل المنظمة.
بروتوكول إجماع DAG غير المتزامن الآمن القابل للتكيف
اقترح الباحثون في جامعة لندن تطوير بروتوكول DAG( غير المتزامن الموجه غير الدوري ) لتعزيز القدرة على مقاومة الهجمات والتكيف مع بيئة الخصوم المتغيرة. يهدف هذا البروتوكول إلى تقديم أمان أفضل ومرونة، مع الحفاظ على مستوى أداء قريب من نموذج جزئي متزامن.
تدقيق العقود الذكية المعتمد على نماذج اللغة الكبيرة
تخطط مجموعة بحثية أخرى من جامعة لندن لاستخدام نماذج اللغة الكبيرة مثل GPT-4 لتحسين تدقيق العقود الذكية بلغة Move. وقد اكتشفت تحليلاتهم السابقة لـ 52 عقدًا ذكيًا في Solidity ثغرات أدت إلى خسائر تقترب من مليار دولار. سيوسع هذا المشروع هذا البحث ليشمل العقود الذكية على Sui.
رسم خرائط بروتوكولات الإجماع
ستحقق مشروع جامعة برن في مجال بروتوكولات الإجماع الحالية، لتوفير رؤى جديدة لبروتوكولات الإجماع التشفيرية، مما يساعد على فهم أفضل للخوارزميات الحالية وتقديم أفكار جديدة لتصميم بروتوكولات موزعة.
إطار التحقق من بروتوكول الأوركل اللامركزي
سيقوم الباحثون من جامعة كارنيغي ميلون بإنشاء إطار عمل لتحليل والتحقق بشكل صارم من البلوكتشين أوكال. سيستخدم هذا المشروع نظام إدارة الإثبات Coq لتطوير مكتبة شاملة من التعريفات واستراتيجيات الإثبات.
التعرف على عنق الزجاجة في قابلية توسيع البلوكتشين
سيعمل فريق المعهد الفيدرالي السويسري للتكنولوجيا في زيورخ على تحديد الاختناقات في قابلية التوسع الناشئة عن عيوب تصميم العقود الذكية، واستكشاف كيفية تحسين إمكانيات التوازي من خلال تعديل رسوم المعاملات.
التحقق الرسمي من بروتوكول إجماع Bullshark
تهدف أبحاث جامعة سنغافورة الوطنية إلى استخدام أدوات التحقق المعتمدة على الكمبيوتر الحديثة لإجراء تحقق رسمي لبروتوكول Bullshark، مما يعزز فهم بروتوكولات الإجماع القائمة على DAG.
إطار المعايير القياسية للبلوكتشين
تخطط جامعة لاهي لإنشاء تنسيق معياري مرجعي للبلوكتشين، من أجل مقارنة أداء مختلف حلول L1 للبلوكتشين وL2 للتوسع بشكل عادل، وتوفير رؤى شفافة حول أداء السلسلة للمستخدمين والمطورين.
تغطي هذه المشاريع البحثية العديد من المجالات الرئيسية لتقنية البلوكتشين، من آليات الاتفاق إلى أمان العقود الذكية، ومن المنظمات اللامركزية إلى بروتوكولات العرافة. من خلال دعم هذه الأبحاث الرائدة، تهدف مؤسسة Sui إلى تعزيز التقدم التكنولوجي والابتكار في النظام البيئي Web3 بأكمله.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 6
أعجبني
6
3
مشاركة
تعليق
0/400
ChainWanderingPoet
· منذ 22 س
المال الذي يُعطى للمدرسة حقًا سيحترق
شاهد النسخة الأصليةرد0
BearMarketNoodler
· منذ 22 س
من المثير للاهتمام أن يتم تقسيم هذا المبلغ من المال بين 17 مدرسة.
شاهد النسخة الأصليةرد0
0xOverleveraged
· منذ 23 س
تم استلام الأموال، ويجب على الأوساط الأكاديمية أن تلعب أيضًا.
أصدر صندوق سوي جولة جديدة من تمويل أبحاث البلوكتشين، حيث حصلت 17 جامعة على دعم بقيمة 420,000 دولار.
تم الإعلان عن جولة جديدة من برنامج تمويل أبحاث البلوكتشين Sui: مشاركة العديد من الجامعات الشهيرة، وتمويل 17 مشروعًا بأكثر من 420,000 دولار أمريكي
مؤخراً، أعلنت مؤسسة Sui عن قائمة الفائزين بأحدث جولة من برنامج تمويل الأبحاث للبلوكتشين. يهدف البرنامج إلى تمويل مشاريع الأبحاث التي تعزز تطوير Web3، وخاصة الابتكارات التكنولوجية المتعلقة بشبكات البلوكتشين، برمجة العقود الذكية، والمنتجات المبنية على Sui.
تم اختيار 17 مشروع بحثي من جامعات معروفة عالميًا في هذه الجولة من التمويل، وبلغ إجمالي مبلغ التمويل 425,000 دولار أمريكي. تشمل الجامعات المشاركة معهد كوريا للعلوم والتكنولوجيا، وكلية لندن الجامعية، ومعهد لوزان الاتحادي للتكنولوجيا، والجامعة الوطنية في سنغافورة.
فيما يلي وصف موجز لبعض المشاريع الفائزة:
دراسة تنوع منظمة الحكم الذاتي اللامركزية ( DAO )
سوف يستكشف فريق البحث في جامعة كورنيل طبيعة المنظمات اللامركزية، ويضع مؤشرات لقياس درجة اللامركزية في DAO، ويدرس كيفية تعزيز اللامركزية داخل المنظمة.
بروتوكول إجماع DAG غير المتزامن الآمن القابل للتكيف
اقترح الباحثون في جامعة لندن تطوير بروتوكول DAG( غير المتزامن الموجه غير الدوري ) لتعزيز القدرة على مقاومة الهجمات والتكيف مع بيئة الخصوم المتغيرة. يهدف هذا البروتوكول إلى تقديم أمان أفضل ومرونة، مع الحفاظ على مستوى أداء قريب من نموذج جزئي متزامن.
تدقيق العقود الذكية المعتمد على نماذج اللغة الكبيرة
تخطط مجموعة بحثية أخرى من جامعة لندن لاستخدام نماذج اللغة الكبيرة مثل GPT-4 لتحسين تدقيق العقود الذكية بلغة Move. وقد اكتشفت تحليلاتهم السابقة لـ 52 عقدًا ذكيًا في Solidity ثغرات أدت إلى خسائر تقترب من مليار دولار. سيوسع هذا المشروع هذا البحث ليشمل العقود الذكية على Sui.
رسم خرائط بروتوكولات الإجماع
ستحقق مشروع جامعة برن في مجال بروتوكولات الإجماع الحالية، لتوفير رؤى جديدة لبروتوكولات الإجماع التشفيرية، مما يساعد على فهم أفضل للخوارزميات الحالية وتقديم أفكار جديدة لتصميم بروتوكولات موزعة.
إطار التحقق من بروتوكول الأوركل اللامركزي
سيقوم الباحثون من جامعة كارنيغي ميلون بإنشاء إطار عمل لتحليل والتحقق بشكل صارم من البلوكتشين أوكال. سيستخدم هذا المشروع نظام إدارة الإثبات Coq لتطوير مكتبة شاملة من التعريفات واستراتيجيات الإثبات.
التعرف على عنق الزجاجة في قابلية توسيع البلوكتشين
سيعمل فريق المعهد الفيدرالي السويسري للتكنولوجيا في زيورخ على تحديد الاختناقات في قابلية التوسع الناشئة عن عيوب تصميم العقود الذكية، واستكشاف كيفية تحسين إمكانيات التوازي من خلال تعديل رسوم المعاملات.
التحقق الرسمي من بروتوكول إجماع Bullshark
تهدف أبحاث جامعة سنغافورة الوطنية إلى استخدام أدوات التحقق المعتمدة على الكمبيوتر الحديثة لإجراء تحقق رسمي لبروتوكول Bullshark، مما يعزز فهم بروتوكولات الإجماع القائمة على DAG.
إطار المعايير القياسية للبلوكتشين
تخطط جامعة لاهي لإنشاء تنسيق معياري مرجعي للبلوكتشين، من أجل مقارنة أداء مختلف حلول L1 للبلوكتشين وL2 للتوسع بشكل عادل، وتوفير رؤى شفافة حول أداء السلسلة للمستخدمين والمطورين.
تغطي هذه المشاريع البحثية العديد من المجالات الرئيسية لتقنية البلوكتشين، من آليات الاتفاق إلى أمان العقود الذكية، ومن المنظمات اللامركزية إلى بروتوكولات العرافة. من خلال دعم هذه الأبحاث الرائدة، تهدف مؤسسة Sui إلى تعزيز التقدم التكنولوجي والابتكار في النظام البيئي Web3 بأكمله.