تم الكشف عن قائمة الفائزين بالجولة الجديدة من جائزة الأبحاث الأكاديمية Sui: المشاركة النشطة من أفضل الجامعات العالمية، حصلت 17 مشروعًا على تمويل بقيمة 420,000 دولار أمريكي
أعلنت مؤسسة Sui مؤخرًا عن قائمة الفائزين بجائزة Sui للأبحاث الأكاديمية في دورتها الجديدة. يهدف هذا البرنامج إلى تمويل الأبحاث التي تعزز تطوير Web3، مع التركيز بشكل خاص على الشبكات القائمة على البلوكشين، وبرمجة العقود الذكية، والتقنيات المتطورة المتعلقة بالمنتجات المبنية على Sui.
في المرحلتين السابقتين، تم الموافقة على 17 اقتراحًا من جامعات معروفة دوليًا، بإجمالي تمويل بلغ 425,000 دولار أمريكي. تشمل الجامعات المشاركة معهد كورية للعلوم والتكنولوجيا، كلية لندن الجامعية، المعهد الفيدرالي للتكنولوجيا في لوزان، والجامعة الوطنية في سنغافورة.
أبرز مشاريع الجوائز
دراسة المنظمة اللامركزية المستقلة
سيتناول البروفيسور آري جولز من جامعة كورنيل طبيعة المنظمات اللامركزية، وسيقوم بإنشاء مؤشرات لقياس درجة اللامركزية للـ DAO، بالإضافة إلى دراسة طرق ممارسة تعزيز اللامركزية داخل المنظمة.
بروتوكول توافق DAG غير المتزامن
فريق فيليب جوفانوفيتش من جامعة لندن كوليدج يعمل على تطوير بروتوكول DAG غير المتزامن، الذي يهدف إلى تعزيز القدرة على مقاومة الهجمات والتكيف مع بيئة الخصوم الديناميكية. سيقدم هذا البروتوكول أمانًا وقدرة على التكيف أفضل مع الحفاظ على أداء عالٍ.
نموذج لغة كبير يساعد في تدقيق العقود الذكية
ستستخدم مجموعة آرثر جيرفيس من كلية لندن الجامعية نماذج اللغة الكبيرة مثل GPT-4-32k وClaude-v2-100k لتعزيز كفاءة تدقيق العقود الذكية Move. وقد اكتشفوا سابقاً ثغرات في تحليل 52 عقداً ذكياً من Solidity أدت إلى خسائر تقترب من مليار دولار، والآن يخططون لتوسيع بحثهم ليشمل مجال العقود الذكية Sui.
دراسة في مجال بروتوكولات الإجماع
سيقوم البروفيسور كريستوفر كاتشين من جامعة برن بإجراء تحقيق شامل في مجال الإجماع الحالي، لتقديم رؤى جديدة لبروتوكولات الإجماع المشفرة، مما يساعد على فهم أعمق للخوارزميات الحالية وتقديم أفكار جديدة لتصميم البروتوكولات الموزعة.
إطار التحقق من التنبؤات اللامركزية
ستقوم الدكتورة جيسيل ريس من جامعة كارنيجي ميلون وبروينو وولتنلوغيل باليو من اتحاد دجد بإنشاء إطار عمل لتحليل وتحقق صارم من الأوراكلات في بلوكتشين من خلال أساليب شكلية. سيستفيد هذا المشروع من نظام إدارة الإثبات Coq لتطوير مكتبة شاملة من التعريفات واستراتيجيات الإثبات.
تحديد عنق الزجاجة في قابلية التوسع
سيعمل فريق الأستاذ روجر واتنهوفر من المعهد الفيدرالي السويسري للتكنولوجيا في زيورخ على تحديد الاختناقات الناجمة عن عيوب تصميم العقود الذكية، من أجل تحسين إمكانية التوازي لتطبيقات Blockchain. كما سيتم دراسة تأثير تعديل رسوم المعاملات على التوازي.
بروتوكول بول شارك للتحقق الميكانيكي
سيستخدم البروفيسور إيليا سيرجي من جامعة سنغافورة الوطنية أدوات التحقق المعززة بالكمبيوتر الحديثة لإجراء التحقق الرسمي لخصائص Bullshark، مما يعزز البحث في بروتوكولات الإجماع المستندة إلى DAG. سيكون هذا أول نموذج لبروتوكول إجماع DAG يتم التحقق منه آليًا في مجال الأنظمة الموزعة.
إطار المعايير القياسية لتكنولوجيا البلوكشين
يهدف البروفيسور هنري ف. كورت من جامعة ليهاي إلى إنشاء تنسيق قياسي مرجعي للبلوكشين للمقارنة العادلة بين سلاسل الكتل L1 وحلول التوسع L2، مما يوفر للمستخدمين والمطورين رؤى شفافة حول أداء السلسلة.
بناء طبقة تسلسل مشتركة قابلة للتوسع
سوف يستكشف الدكتور مين سوك كانغ من معهد كوريا المتقدم للعلوم والتكنولوجيا استخدام Bullshark/Mysticeti كخوارزمية ترتيب مشتركة، ويدرس آليات تشغيل Rollup التي تستخدم Sui كطبقة ترتيب.
تحسين سوق الرسوم المحلية
سيقوم الأستاذ Abdoulaye Ndiaye من جامعة نيويورك بدراسة سوق الرسوم المحلية لتحسين تسعير الازدحام، واستكشاف إنشاء آلية تسعير فعالة تعكس حالة الازدحام في الشبكة، لتحقيق أفضل تخصيص للموارد.
دراسة صانع السوق الآلي للتجزئة
يعمل فريق الأستاذ إيتاي إيال من معهد التخنيون في إسرائيل على تطوير مفهوم "عقود الشظايا"، مستخدمين عدة عقود لزيادة التوازي. ستركز دراستهم على كيفية تعديل آليات تحفيز مقدمي السيولة والمتداولين للحفاظ على شظايا AMM متعددة، وتحقيق شظايا AMM قابلة للتوازي بشكل كامل.
دور الإفصاح الخاص في آلية المنافسة
سوف يستكشف الأستاذ أندريا أتا في جامعة روما تور فيرغاتا طرقًا جديدة لتصميم آليات السوق، حيث يدرس تأثير إفشاء المعلومات بشكل خاص من قبل المصممين إلى الوكلاء على نتائج السوق والتفاعلات الاستراتيجية، لتوفير رؤى حول الديناميات والتنافس الحديثة في السوق.
نموذج لغة كبير يولد عقود ذكية Sui
سيسعى كين كودرنج وإيسون تشين من جامعة كارنيجي ميلون إلى معالجة التحديات المتعلقة بإنشاء العقود الذكية بلغة موف. يخططون لتحسين فعالية نماذج اللغة الكبيرة في إنشاء العقود الذكية على Sui من خلال جمع أمثلة كود موف، وتعزيز هندسة الإشارات، وتنفيذ التعديل الدقيق.
دراسة إطار انتقال لغة Move
سيقوم الأستاذ جورج جياغليس من جامعة نيقوسيا بإجراء تحليل شامل للمقارنة بين Solidity وMove، واستكشاف وظائف وقدرات Move بعمق، وبناء إطار يساعد المطورين على الانتقال بسلاسة إلى تطوير Move.
طرق تحسين التعلم العميق في DeFi
سيقوم راشيد غويراوي ووليد صوفيان من المعهد الفيدرالي السويسري للتكنولوجيا في لوزان بتطوير نموذج تعلم عميق مختلط للتنبؤ بأفضل نطاق في بروتوكول Sui DeFi. يجمع هذا النموذج بين الشبكات العصبية التكرارية المعززة، والتعلم العميق المعزز، وتحليل مشاعر وسائل التواصل الاجتماعي، بهدف تحسين استجابة بروتوكولات DeFi لتغيرات السوق.
تقييم قدرة التنبؤ بتقلبات SUI
سيقوم البروفيسور ستافروس ديجياناكيس من الجامعة المفتوحة في قبرص بالتحقيق في فعالية خوارزمية SPEC في توقع تقلبات أصول Sui، باستخدام بيانات الأسعار عالية التردد مع التركيز على دراسة SUI، والتحقق من ذلك عبر أصول blockchain متعددة.
zkSNARKs الشفافة بعد الكوانتوم المنخفضة الذاكرة
بريت فالك وبراتيوش ميشرا من جامعة بنسلفانيا سيعملان على تطوير zkSNARKs القابلة للتوسع، مع معالجة ثلاث عقبات رئيسية تتمثل في تعقيد الوقت للبرهان، وتعقيد المساحة وحجم SRS، وذلك لتوفير حلول إثبات تشفير قابلة للتوسع جاهزة للنشر لمجموعة متنوعة من التطبيقات في تكنولوجيا blockchain.
تغطي هذه المشاريع البحثية العديد من المجالات المتقدمة في تكنولوجيا البلوكشين، بدءًا من آليات التوافق إلى أمان العقود الذكية، ومن تحسين DeFi إلى حماية الخصوصية. وتأمل النتائج في تحقيق اختراقات هامة لنظام Sui البيئي ولصناعة البلوكشين بأكملها، مما يدفع بتطور تقنيات Web3 إلى الأمام.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 12
أعجبني
12
3
إعادة النشر
مشاركة
تعليق
0/400
GasFeePhobia
· 08-09 23:50
أشعر بالقلق عند رؤية DAO
شاهد النسخة الأصليةرد0
OnChain_Detective
· 08-09 23:49
تحليل الأنماط يشير إلى أن التمويل منخفض جداً بصراحة... نحتاج إلى المزيد بكثير من أجل بحث أمني حقيقي في رأيي
تم الكشف عن الجولة الجديدة من جائزة الأبحاث الأكاديمية Sui ، حيث حصلت 17 مشروعًا على تمويل قدره 420 ألف دولار أمريكي.
تم الكشف عن قائمة الفائزين بالجولة الجديدة من جائزة الأبحاث الأكاديمية Sui: المشاركة النشطة من أفضل الجامعات العالمية، حصلت 17 مشروعًا على تمويل بقيمة 420,000 دولار أمريكي
أعلنت مؤسسة Sui مؤخرًا عن قائمة الفائزين بجائزة Sui للأبحاث الأكاديمية في دورتها الجديدة. يهدف هذا البرنامج إلى تمويل الأبحاث التي تعزز تطوير Web3، مع التركيز بشكل خاص على الشبكات القائمة على البلوكشين، وبرمجة العقود الذكية، والتقنيات المتطورة المتعلقة بالمنتجات المبنية على Sui.
في المرحلتين السابقتين، تم الموافقة على 17 اقتراحًا من جامعات معروفة دوليًا، بإجمالي تمويل بلغ 425,000 دولار أمريكي. تشمل الجامعات المشاركة معهد كورية للعلوم والتكنولوجيا، كلية لندن الجامعية، المعهد الفيدرالي للتكنولوجيا في لوزان، والجامعة الوطنية في سنغافورة.
أبرز مشاريع الجوائز
دراسة المنظمة اللامركزية المستقلة
سيتناول البروفيسور آري جولز من جامعة كورنيل طبيعة المنظمات اللامركزية، وسيقوم بإنشاء مؤشرات لقياس درجة اللامركزية للـ DAO، بالإضافة إلى دراسة طرق ممارسة تعزيز اللامركزية داخل المنظمة.
بروتوكول توافق DAG غير المتزامن
فريق فيليب جوفانوفيتش من جامعة لندن كوليدج يعمل على تطوير بروتوكول DAG غير المتزامن، الذي يهدف إلى تعزيز القدرة على مقاومة الهجمات والتكيف مع بيئة الخصوم الديناميكية. سيقدم هذا البروتوكول أمانًا وقدرة على التكيف أفضل مع الحفاظ على أداء عالٍ.
نموذج لغة كبير يساعد في تدقيق العقود الذكية
ستستخدم مجموعة آرثر جيرفيس من كلية لندن الجامعية نماذج اللغة الكبيرة مثل GPT-4-32k وClaude-v2-100k لتعزيز كفاءة تدقيق العقود الذكية Move. وقد اكتشفوا سابقاً ثغرات في تحليل 52 عقداً ذكياً من Solidity أدت إلى خسائر تقترب من مليار دولار، والآن يخططون لتوسيع بحثهم ليشمل مجال العقود الذكية Sui.
دراسة في مجال بروتوكولات الإجماع
سيقوم البروفيسور كريستوفر كاتشين من جامعة برن بإجراء تحقيق شامل في مجال الإجماع الحالي، لتقديم رؤى جديدة لبروتوكولات الإجماع المشفرة، مما يساعد على فهم أعمق للخوارزميات الحالية وتقديم أفكار جديدة لتصميم البروتوكولات الموزعة.
إطار التحقق من التنبؤات اللامركزية
ستقوم الدكتورة جيسيل ريس من جامعة كارنيجي ميلون وبروينو وولتنلوغيل باليو من اتحاد دجد بإنشاء إطار عمل لتحليل وتحقق صارم من الأوراكلات في بلوكتشين من خلال أساليب شكلية. سيستفيد هذا المشروع من نظام إدارة الإثبات Coq لتطوير مكتبة شاملة من التعريفات واستراتيجيات الإثبات.
تحديد عنق الزجاجة في قابلية التوسع
سيعمل فريق الأستاذ روجر واتنهوفر من المعهد الفيدرالي السويسري للتكنولوجيا في زيورخ على تحديد الاختناقات الناجمة عن عيوب تصميم العقود الذكية، من أجل تحسين إمكانية التوازي لتطبيقات Blockchain. كما سيتم دراسة تأثير تعديل رسوم المعاملات على التوازي.
بروتوكول بول شارك للتحقق الميكانيكي
سيستخدم البروفيسور إيليا سيرجي من جامعة سنغافورة الوطنية أدوات التحقق المعززة بالكمبيوتر الحديثة لإجراء التحقق الرسمي لخصائص Bullshark، مما يعزز البحث في بروتوكولات الإجماع المستندة إلى DAG. سيكون هذا أول نموذج لبروتوكول إجماع DAG يتم التحقق منه آليًا في مجال الأنظمة الموزعة.
إطار المعايير القياسية لتكنولوجيا البلوكشين
يهدف البروفيسور هنري ف. كورت من جامعة ليهاي إلى إنشاء تنسيق قياسي مرجعي للبلوكشين للمقارنة العادلة بين سلاسل الكتل L1 وحلول التوسع L2، مما يوفر للمستخدمين والمطورين رؤى شفافة حول أداء السلسلة.
بناء طبقة تسلسل مشتركة قابلة للتوسع
سوف يستكشف الدكتور مين سوك كانغ من معهد كوريا المتقدم للعلوم والتكنولوجيا استخدام Bullshark/Mysticeti كخوارزمية ترتيب مشتركة، ويدرس آليات تشغيل Rollup التي تستخدم Sui كطبقة ترتيب.
تحسين سوق الرسوم المحلية
سيقوم الأستاذ Abdoulaye Ndiaye من جامعة نيويورك بدراسة سوق الرسوم المحلية لتحسين تسعير الازدحام، واستكشاف إنشاء آلية تسعير فعالة تعكس حالة الازدحام في الشبكة، لتحقيق أفضل تخصيص للموارد.
دراسة صانع السوق الآلي للتجزئة
يعمل فريق الأستاذ إيتاي إيال من معهد التخنيون في إسرائيل على تطوير مفهوم "عقود الشظايا"، مستخدمين عدة عقود لزيادة التوازي. ستركز دراستهم على كيفية تعديل آليات تحفيز مقدمي السيولة والمتداولين للحفاظ على شظايا AMM متعددة، وتحقيق شظايا AMM قابلة للتوازي بشكل كامل.
دور الإفصاح الخاص في آلية المنافسة
سوف يستكشف الأستاذ أندريا أتا في جامعة روما تور فيرغاتا طرقًا جديدة لتصميم آليات السوق، حيث يدرس تأثير إفشاء المعلومات بشكل خاص من قبل المصممين إلى الوكلاء على نتائج السوق والتفاعلات الاستراتيجية، لتوفير رؤى حول الديناميات والتنافس الحديثة في السوق.
نموذج لغة كبير يولد عقود ذكية Sui
سيسعى كين كودرنج وإيسون تشين من جامعة كارنيجي ميلون إلى معالجة التحديات المتعلقة بإنشاء العقود الذكية بلغة موف. يخططون لتحسين فعالية نماذج اللغة الكبيرة في إنشاء العقود الذكية على Sui من خلال جمع أمثلة كود موف، وتعزيز هندسة الإشارات، وتنفيذ التعديل الدقيق.
دراسة إطار انتقال لغة Move
سيقوم الأستاذ جورج جياغليس من جامعة نيقوسيا بإجراء تحليل شامل للمقارنة بين Solidity وMove، واستكشاف وظائف وقدرات Move بعمق، وبناء إطار يساعد المطورين على الانتقال بسلاسة إلى تطوير Move.
طرق تحسين التعلم العميق في DeFi
سيقوم راشيد غويراوي ووليد صوفيان من المعهد الفيدرالي السويسري للتكنولوجيا في لوزان بتطوير نموذج تعلم عميق مختلط للتنبؤ بأفضل نطاق في بروتوكول Sui DeFi. يجمع هذا النموذج بين الشبكات العصبية التكرارية المعززة، والتعلم العميق المعزز، وتحليل مشاعر وسائل التواصل الاجتماعي، بهدف تحسين استجابة بروتوكولات DeFi لتغيرات السوق.
تقييم قدرة التنبؤ بتقلبات SUI
سيقوم البروفيسور ستافروس ديجياناكيس من الجامعة المفتوحة في قبرص بالتحقيق في فعالية خوارزمية SPEC في توقع تقلبات أصول Sui، باستخدام بيانات الأسعار عالية التردد مع التركيز على دراسة SUI، والتحقق من ذلك عبر أصول blockchain متعددة.
zkSNARKs الشفافة بعد الكوانتوم المنخفضة الذاكرة
بريت فالك وبراتيوش ميشرا من جامعة بنسلفانيا سيعملان على تطوير zkSNARKs القابلة للتوسع، مع معالجة ثلاث عقبات رئيسية تتمثل في تعقيد الوقت للبرهان، وتعقيد المساحة وحجم SRS، وذلك لتوفير حلول إثبات تشفير قابلة للتوسع جاهزة للنشر لمجموعة متنوعة من التطبيقات في تكنولوجيا blockchain.
تغطي هذه المشاريع البحثية العديد من المجالات المتقدمة في تكنولوجيا البلوكشين، بدءًا من آليات التوافق إلى أمان العقود الذكية، ومن تحسين DeFi إلى حماية الخصوصية. وتأمل النتائج في تحقيق اختراقات هامة لنظام Sui البيئي ولصناعة البلوكشين بأكملها، مما يدفع بتطور تقنيات Web3 إلى الأمام.