إعلان عن جولة جديدة من تمويل الأبحاث الأكاديمية من Sui: مشاركة جامعات معروفة عالميًا، 17 مشروعًا حصلت على دعم يتجاوز 420,000 دولار أمريكي
مؤخراً، أعلنت مؤسسة Sui عن قائمة الفائزين بجولة جديدة من منح الأبحاث الأكاديمية. تهدف هذه الخطة إلى تمويل الأبحاث التي تدفع بتطور Web3، خاصة تلك المتعلقة بشبكات blockchain، برمجة العقود الذكية، والتقنيات المرتبطة بالمنتجات المبنية على Sui.
في المرحلتين السابقتين، وافقت المؤسسة على مقترحات من 17 جامعة دولية مشهورة، بإجمالي تمويل بلغ 425,000 دولار. تشمل الجامعات المشاركة معهد كوريا للعلوم والتكنولوجيا، وكلية لندن الجامعية، ومعهد لوزان الفدرالي للتكنولوجيا، والجامعة الوطنية السنغافورية وغيرها.
مقدمة عن المشاريع المدعومة
DAOs: تنوع جماعات التصويت
سيقوم الأستاذ آري جولز من جامعة كورنيل بدراسة الطبيعة الجوهرية للمنظمات اللامركزية، وإنشاء مؤشرات لقياس درجة اللامركزية في DAOs، واستكشاف طرق عملية لتعزيز اللامركزية داخل المنظمات.
بروتوكول إجماع DAG غير المتزامن الآمن التكيفي
تعمل فريق فيليب يوفانوفيتش من جامعة لندن على تطوير بروتوكول DAG غير المتزامن لتحسين مقاومة الهجمات والتكيف مع بيئات التهديد المتغيرة. يهدف البروتوكول إلى توفير أمان أفضل وقدرة على التكيف، مع الحفاظ على مستوى أداء قريب من الخصوم شبه المتزامنين.
تدقيق العقود الذكية Sui تحت توجيه نموذج اللغة الكبير
سيستخدم فريق آرثر جيرفايز من جامعة لندن كوليدج نماذج اللغة الكبيرة مثل GPT-4-32k وClaude-v2-100k لتحسين تدقيق عقود Move الذكية. وقد وجدت دراستهم الأولية ثغرات في 52 عقدًا ذكيًا من Solidity DeFi أدت إلى خسائر تقترب من مليار دولار. سيوسع هذا المشروع هذه الدراسة لتشمل عقود Sui الذكية.
بروتوكول توافق الإسقاط
سيقوم البروفيسور كريستوفر كاتشين من جامعة برن بإجراء تحقيق شامل في مجال التوافق الحالي، وتقديم رؤى جديدة لبروتوكولات التوافق المشفرة، مما يساعد على فهم أفضل للخوارزميات الحالية، ويوفر أفكارًا جديدة لتصميم البروتوكولات الموزعة.
إطار التحقق عالي الثقة لبروتوكول الأوركل اللامركزي
ستقوم جيزيل ريس من جامعة كارنيجي ميلون وبرونو وولتنلوغيل باليو من ديجد أليانس بإنشاء إطار عمل لتحليل والتحقق بشكل صارم من أوامر blockchain باستخدام طرق رسمية. سيستفيد هذا المشروع من نظام إدارة الإثبات Coq ، لتطوير مكتبة شاملة من التعريفات واستراتيجيات الإثبات.
التعرف على عنق الزجاجة القابل للتوسع
سيقوم فريق روجر واتنهوفر من المعهد الفدرالي السويسري للتكنولوجيا في زيورخ بتحديد الاختناقات الناشئة عن عيوب تصميم العقود الذكية، من أجل تعزيز إمكانيات التوازي في تطبيقات البلوكشين. كما سيدرسون تأثير تعديل رسوم المعاملات على التوازي.
بروتوكول بول شارك الآلي
سيقوم البروفيسور إيليا سيرجي من جامعة سنغافورة الوطنية باستخدام أدوات التحقق المعززة بالحاسوب الحديثة للتحقق الرسمي من خصائص Bullshark، مما يعزز فهم بروتوكول الإجماع القائم على DAG.
BBSF: إطار المعايير القياسية للبلوكشين
سيقوم البروفيسور هنري ف. كورت من جامعة لياهاي بإنشاء تنسيق معياري مرجعي للبلوكشين لمقارنة عادلة بين البلوكشين من المستوى الأول (L1) وحلول التوسع من المستوى الثاني (L2) ، مما يوفر للمستخدمين والمطورين رؤى شفافة حول أداء الشبكة.
بناء طبقة تسلسل مشتركة قابلة للتوسع ولامركزية
ستستكشف فرقة Min Suk Kang من معهد كوريا للعلوم والتكنولوجيا استخدام Bullshark/Mysticeti كخوارزمية ترتيب مشتركة، ودراسة العديد من Rollup التي تستخدم Sui كطبقة ترتيب.
سوق الرسوم المحلية للتسعير الأمثل للازدحام
سيقوم الأستاذ عبد الله نداي من جامعة نيويورك بدراسة سوق الرسوم المحلية لتحسين تسعير الازدحام، وإنشاء آلية تسعير فعالة تعكس حالة الازدحام، لتحقيق أفضل توزيع للموارد.
SAMM: صانع سوق آلي مقسم
فريق إيتاي إيال في المعهد الإسرائيلي للتكنولوجيا يقوم بتطوير مفهوم العقود المجزأة، مستفيدين من عدة عقود لزيادة التزامن. سيقومون بتعديل الحوافز لمقدمي السيولة والمتداولين للحفاظ على عدة مجزآت AMM.
الكشف الخاص في آلية المنافسة
سيستكشف الأستاذ أندريا أتيار من جامعة روما تور فيرغا أساليب جديدة في تصميم آلية السوق، ويدرس تأثير الكشف الخاص للمصممين عن المعلومات إلى الوكلاء على نتائج السوق والتفاعل الاستراتيجي.
تطبيق نموذج لغة كبير لإنشاء عقود Sui الذكية
سيقوم كين كودينجر وإيسون تشين من جامعة كارنيجي ميلون بضبط نماذج اللغة الكبيرة باستخدام كود Move والتلميحات الخاصة بـ Sui للتعامل مع تحديات توليد العقود الذكية بلغة Move.
COMET: قياس المقارنة وإطار العمل للانتقال إلى Move
سيقوم الأستاذ جورج جياغليس من جامعة نيقوسيا بإجراء تحليل مقارن شامل بين Solidity و Move، مما يعزز الفهم الأعمق لوظائف وقدرات Move.
ثورة DeFi: تحسين السيولة والرسوم الديناميكية على Sui باستخدام طرق التعلم العميق
سيقوم راشيد غويراوي ووليد صوفيان من المعهد الفيدرالي السويسري للتكنولوجيا في لوزان بتطوير نموذج تعلم عميق مختلط للتنبؤ بالنطاق الأمثل في بروتوكول Sui DeFi، مع دمج تحليل المشاعر من وسائل التواصل الاجتماعي لتحسين الدقة.
تقييم القدرة التنبؤية لتقلبات SUI
سوف يقوم الأستاذ ستافروس دجيانناكيس من جامعة قبرص المفتوحة بالتحقيق في فعالية خوارزمية SPEC في توقع تقلبات أصول Sui، مع التركيز بشكل أساسي على SUI، وسيتحقق من ذلك عبر مجموعة متنوعة من الأصول في سلسلة الكتل.
zkSNARKs الشفافة بعد الكم المنخفض الذاكرة
سيعمل بريت فالك وبراتيوش ميشرا من جامعة بنسلفانيا على تطوير zkSNARKs القابلة للتوسع، مع معالجة ثلاثة عقبات رئيسية: تعقيد الوقت للبرهان، تعقيد المساحة، وحجم SRS.
تغطي هذه المشاريع البحثية مجالات متعددة من التكنولوجيا blockchain ، من الحكم اللامركزي إلى أمان العقود الذكية ، ومن آليات الإجماع إلى التحقق من التنبؤات ، مما يعكس اهتمام نظام Sui البيئي بالابتكار الأكاديمي. من خلال دعم هذه المشاريع البحثية عالية المستوى ، تهدف مؤسسة Sui إلى دفع التطور العام لتكنولوجيا blockchain ، وتأسيس قاعدة نظرية وتقنية قوية لمستقبل Web3.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
أعلنت مؤسسة سوي عن جولة جديدة من التمويل الأكاديمي: حصلت 17 مشروعًا على 420,000 دولار أمريكي بمشاركة الجامعات العالمية المعروفة.
إعلان عن جولة جديدة من تمويل الأبحاث الأكاديمية من Sui: مشاركة جامعات معروفة عالميًا، 17 مشروعًا حصلت على دعم يتجاوز 420,000 دولار أمريكي
مؤخراً، أعلنت مؤسسة Sui عن قائمة الفائزين بجولة جديدة من منح الأبحاث الأكاديمية. تهدف هذه الخطة إلى تمويل الأبحاث التي تدفع بتطور Web3، خاصة تلك المتعلقة بشبكات blockchain، برمجة العقود الذكية، والتقنيات المرتبطة بالمنتجات المبنية على Sui.
في المرحلتين السابقتين، وافقت المؤسسة على مقترحات من 17 جامعة دولية مشهورة، بإجمالي تمويل بلغ 425,000 دولار. تشمل الجامعات المشاركة معهد كوريا للعلوم والتكنولوجيا، وكلية لندن الجامعية، ومعهد لوزان الفدرالي للتكنولوجيا، والجامعة الوطنية السنغافورية وغيرها.
مقدمة عن المشاريع المدعومة
DAOs: تنوع جماعات التصويت
سيقوم الأستاذ آري جولز من جامعة كورنيل بدراسة الطبيعة الجوهرية للمنظمات اللامركزية، وإنشاء مؤشرات لقياس درجة اللامركزية في DAOs، واستكشاف طرق عملية لتعزيز اللامركزية داخل المنظمات.
بروتوكول إجماع DAG غير المتزامن الآمن التكيفي
تعمل فريق فيليب يوفانوفيتش من جامعة لندن على تطوير بروتوكول DAG غير المتزامن لتحسين مقاومة الهجمات والتكيف مع بيئات التهديد المتغيرة. يهدف البروتوكول إلى توفير أمان أفضل وقدرة على التكيف، مع الحفاظ على مستوى أداء قريب من الخصوم شبه المتزامنين.
تدقيق العقود الذكية Sui تحت توجيه نموذج اللغة الكبير
سيستخدم فريق آرثر جيرفايز من جامعة لندن كوليدج نماذج اللغة الكبيرة مثل GPT-4-32k وClaude-v2-100k لتحسين تدقيق عقود Move الذكية. وقد وجدت دراستهم الأولية ثغرات في 52 عقدًا ذكيًا من Solidity DeFi أدت إلى خسائر تقترب من مليار دولار. سيوسع هذا المشروع هذه الدراسة لتشمل عقود Sui الذكية.
بروتوكول توافق الإسقاط
سيقوم البروفيسور كريستوفر كاتشين من جامعة برن بإجراء تحقيق شامل في مجال التوافق الحالي، وتقديم رؤى جديدة لبروتوكولات التوافق المشفرة، مما يساعد على فهم أفضل للخوارزميات الحالية، ويوفر أفكارًا جديدة لتصميم البروتوكولات الموزعة.
إطار التحقق عالي الثقة لبروتوكول الأوركل اللامركزي
ستقوم جيزيل ريس من جامعة كارنيجي ميلون وبرونو وولتنلوغيل باليو من ديجد أليانس بإنشاء إطار عمل لتحليل والتحقق بشكل صارم من أوامر blockchain باستخدام طرق رسمية. سيستفيد هذا المشروع من نظام إدارة الإثبات Coq ، لتطوير مكتبة شاملة من التعريفات واستراتيجيات الإثبات.
التعرف على عنق الزجاجة القابل للتوسع
سيقوم فريق روجر واتنهوفر من المعهد الفدرالي السويسري للتكنولوجيا في زيورخ بتحديد الاختناقات الناشئة عن عيوب تصميم العقود الذكية، من أجل تعزيز إمكانيات التوازي في تطبيقات البلوكشين. كما سيدرسون تأثير تعديل رسوم المعاملات على التوازي.
بروتوكول بول شارك الآلي
سيقوم البروفيسور إيليا سيرجي من جامعة سنغافورة الوطنية باستخدام أدوات التحقق المعززة بالحاسوب الحديثة للتحقق الرسمي من خصائص Bullshark، مما يعزز فهم بروتوكول الإجماع القائم على DAG.
BBSF: إطار المعايير القياسية للبلوكشين
سيقوم البروفيسور هنري ف. كورت من جامعة لياهاي بإنشاء تنسيق معياري مرجعي للبلوكشين لمقارنة عادلة بين البلوكشين من المستوى الأول (L1) وحلول التوسع من المستوى الثاني (L2) ، مما يوفر للمستخدمين والمطورين رؤى شفافة حول أداء الشبكة.
بناء طبقة تسلسل مشتركة قابلة للتوسع ولامركزية
ستستكشف فرقة Min Suk Kang من معهد كوريا للعلوم والتكنولوجيا استخدام Bullshark/Mysticeti كخوارزمية ترتيب مشتركة، ودراسة العديد من Rollup التي تستخدم Sui كطبقة ترتيب.
سوق الرسوم المحلية للتسعير الأمثل للازدحام
سيقوم الأستاذ عبد الله نداي من جامعة نيويورك بدراسة سوق الرسوم المحلية لتحسين تسعير الازدحام، وإنشاء آلية تسعير فعالة تعكس حالة الازدحام، لتحقيق أفضل توزيع للموارد.
SAMM: صانع سوق آلي مقسم
فريق إيتاي إيال في المعهد الإسرائيلي للتكنولوجيا يقوم بتطوير مفهوم العقود المجزأة، مستفيدين من عدة عقود لزيادة التزامن. سيقومون بتعديل الحوافز لمقدمي السيولة والمتداولين للحفاظ على عدة مجزآت AMM.
الكشف الخاص في آلية المنافسة
سيستكشف الأستاذ أندريا أتيار من جامعة روما تور فيرغا أساليب جديدة في تصميم آلية السوق، ويدرس تأثير الكشف الخاص للمصممين عن المعلومات إلى الوكلاء على نتائج السوق والتفاعل الاستراتيجي.
تطبيق نموذج لغة كبير لإنشاء عقود Sui الذكية
سيقوم كين كودينجر وإيسون تشين من جامعة كارنيجي ميلون بضبط نماذج اللغة الكبيرة باستخدام كود Move والتلميحات الخاصة بـ Sui للتعامل مع تحديات توليد العقود الذكية بلغة Move.
COMET: قياس المقارنة وإطار العمل للانتقال إلى Move
سيقوم الأستاذ جورج جياغليس من جامعة نيقوسيا بإجراء تحليل مقارن شامل بين Solidity و Move، مما يعزز الفهم الأعمق لوظائف وقدرات Move.
ثورة DeFi: تحسين السيولة والرسوم الديناميكية على Sui باستخدام طرق التعلم العميق
سيقوم راشيد غويراوي ووليد صوفيان من المعهد الفيدرالي السويسري للتكنولوجيا في لوزان بتطوير نموذج تعلم عميق مختلط للتنبؤ بالنطاق الأمثل في بروتوكول Sui DeFi، مع دمج تحليل المشاعر من وسائل التواصل الاجتماعي لتحسين الدقة.
تقييم القدرة التنبؤية لتقلبات SUI
سوف يقوم الأستاذ ستافروس دجيانناكيس من جامعة قبرص المفتوحة بالتحقيق في فعالية خوارزمية SPEC في توقع تقلبات أصول Sui، مع التركيز بشكل أساسي على SUI، وسيتحقق من ذلك عبر مجموعة متنوعة من الأصول في سلسلة الكتل.
zkSNARKs الشفافة بعد الكم المنخفض الذاكرة
سيعمل بريت فالك وبراتيوش ميشرا من جامعة بنسلفانيا على تطوير zkSNARKs القابلة للتوسع، مع معالجة ثلاثة عقبات رئيسية: تعقيد الوقت للبرهان، تعقيد المساحة، وحجم SRS.
تغطي هذه المشاريع البحثية مجالات متعددة من التكنولوجيا blockchain ، من الحكم اللامركزي إلى أمان العقود الذكية ، ومن آليات الإجماع إلى التحقق من التنبؤات ، مما يعكس اهتمام نظام Sui البيئي بالابتكار الأكاديمي. من خلال دعم هذه المشاريع البحثية عالية المستوى ، تهدف مؤسسة Sui إلى دفع التطور العام لتكنولوجيا blockchain ، وتأسيس قاعدة نظرية وتقنية قوية لمستقبل Web3.