تم الإعلان عن نتائج الجولة الجديدة من جائزة أبحاث Sui الأكاديمية: مشاركة الجامعات الشهيرة عالميًا، وتم تمويل 17 مشروعًا بأكثر من 420,000 دولار أمريكي

أعلنت مؤسسة سوي مؤخرًا عن قائمة الفائزين بجائزة سوي للأبحاث الأكاديمية في جولة جديدة. يهدف هذا البرنامج إلى تمويل الأبحاث التي تعزز تطوير Web3، وخاصة التقدم في تقنيات الشبكات القائمة على البلوك تشين، برمجة العقود الذكية، والمنتجات المبنية على سوي.

في المرحلتين الماضيتين، وافقت مؤسسة Sui على 17 اقتراحًا من جامعات مشهورة عالميًا، بإجمالي دعم بلغ 425,000 دولار. تشمل الجامعات المشاركة معهد كوريا المتقدم للعلوم والتكنولوجيا، وكلية لندن الجامعية، والمعهد الفيدرالي السويسري للتكنولوجيا في لوزان، والجامعة الوطنية في سنغافورة.

نظرة عامة على الاقتراحات الفائزة

DAOs: تنوع جماعات التصويت

تهدف هذه الدراسة التي يقودها البروفيسور آري جولز من جامعة كورنيل إلى معالجة القضايا الأساسية المتعلقة بالمنظمات اللامركزية. من خلال إنشاء مؤشرات تقيس درجة اللامركزية لمنظمة (DAO)، ستحدد هذه الدراسة الأساليب العملية التي يمكن أن تعزز اللامركزية داخل المنظمة.

بروتوكول إجماع DAG غير المتزامن الآمن التكيفي

اقترح الدكتور فيليب جوفانوفيتش من جامعة لندن تطوير بروتوكول DAG( غير متزامن لتقليل الهجمات والتكيف مع بيئات الخصم المتغيرة. يهدف البروتوكول إلى تقديم أمان أفضل ومرونة، مع الحفاظ على مستوى الأداء القريب من الخصوم شبه المتزامنين.

) تدقيق العقود الذكية Sui تحت إشراف نموذج اللغة الكبير

يخطط فريق الدكتور آرثر جيرفاي من جامعة لندن للاستخدام نماذج اللغة الكبيرة مثل GPT-4-32k و Claude-v2-100k ###LLMs( لتحسين عملية تدقيق العقود الذكية Move. سيستند المشروع إلى الخبرة السابقة في تحليل 52 عقدًا ذكيًا من Solidity DeFi، وسيتم توسيعه لتقييم أمان العقود الذكية Sui.

) بروتوكول إجماع المجال

سيقوم الأستاذ كريستوفر كاتشين من جامعة برن بالتحقيق في مجال الإجماع الحالي، لتقديم رؤى جديدة حول بروتوكولات الإجماع التشفيرية. من المتوقع أن تساعد النتائج في فهم أفضل للخوارزميات الحالية، وتقديم أفكار جديدة لتصميم البروتوكولات الموزعة.

إطار التحقق عالي الثقة لبروتوكول الأوركل اللامركزي

سوف يقوم الدكتورة جيزيل ريس من جامعة كارنيجي ميلون والدكتور برونو وولتزنلوجل باليو من Djed Alliance بإنشاء إطار عمل لتحليل والتحقق بشكل صارم من أوكاليسات البلوكشين من خلال أساليب شكلية. يهدف المشروع إلى تطوير مجموعة شاملة من التعريفات واستراتيجيات الإثبات لضمان دقة وموضوعية البيانات الخارجية في العقود الذكية.

التعرف على اختناقات القابلية للتوسع

سوف يكرس فريق البروفيسور روجر واتنهوفر من المعهد الفيدرالي السويسري للتكنولوجيا في زيورخ جهوده لتحديد الاختناقات الناجمة عن عيوب تصميم العقود الذكية، من أجل تحسين إمكانيات التوازي في تطبيقات البلوكشين. كما ستستكشف الدراسة تأثير تعديل رسوم المعاملات على إمكانيات التوازي.

بروتوكول بولشارك الميكانيكي

سيستخدم الأستاذ إيليا سيرجي من جامعة سنغافورة الوطنية أدوات التحقق الحديثة المعتمدة على الكمبيوتر للتحقق الرسمي من خصائص Bullshark، مما يعزز فهم بروتوكولات الإجماع المبنية على الرسوم البيانية الموجهة غير الدائرية. من المتوقع أن يقدم هذا المشروع أول نموذج بروتوكول إجماع قائم على DAG تم التحقق منه آليًا لبحث الأنظمة الموزعة.

BBSF: إطار المعايير القياسية للبلوك تشين

اقترح البروفيسور هنري ف. كورتش من جامعة ليهاي إنشاء تنسيق معياري مرجعي للكتلة، وذلك للمقارنة العادلة بين سلاسل الكتل L1 وحلول التوسع L2. يهدف هذا المشروع إلى توفير رؤى شفافة حول أداء السلاسل للمستخدمين والمطورين، مما يعزز اتخاذ قرارات مستنيرة.

بناء طبقة تسلسل مشتركة قابلة للتوسع ومركزية

سيستكشف البروفيسور مين سوك كانغ من معهد كوريا للعلوم والتكنولوجيا إمكانية استخدام Bullshark/Mysticeti كخوارزمية فرز مشتركة. تشمل هذه الدراسة تشغيل عدة Rollups تستخدم Sui كطبقة فرز، مما يمكنها من تفسير المعاملات بناءً على طبقات التنفيذ الخاصة بها.

سوق الرسوم المحلية للاحتساب الأمثل للازدحام

سيحقق الأستاذ عبد الله ندي في جامعة نيويورك في سوق الرسوم المحلية لتحسين تسعير الازدحام، من خلال إجراء مقارنة بين تداول الازدحام وشبكات البلوكتشين. تهدف هذه الدراسة إلى إنشاء آلية تسعير فعالة تعكس حالة الازدحام من أجل تحقيق أفضل توزيع للموارد.

SAMM: صانع سوق تلقائي مجزأ

يعمل الأستاذ إيتاي إيال من معهد التخنيون في إسرائيل على تطوير مفهوم جديد يسمى عقود التقسيم، والذي يستخدم عدة عقود لزيادة التوازي. الهدف الرئيسي من هذا البحث هو تعديل آليات تحفيز مقدمي السيولة والمتداولين للحفاظ على تقسيمات AMM متعددة، لتحقيق تقسيم AMM يمكن تنفيذه بالتوازي بالكامل.

الكشف الخاص في آلية المنافسة

سوف يستكشف البروفيسور أندريا أتا من جامعة روماتورفيا تا أساليب جديدة لتصميم آليات السوق، مع التركيز على المنافسة بين البائعين لجذب المشترين المطلعين. يهدف هذا المشروع من خلال التحليل النظري والبحث التجريبي إلى تعزيز الفهم للعيوب في السوق وتقديم توصيات سياسية.

تطبيق نماذج اللغة الكبيرة لإنشاء عقود ذكية Sui

سيعمل البروفيسور كين كودينجر وإيason تشين من جامعة كارنيجي ميلون على معالجة التحديات الحالية لنماذج اللغة الكبيرة ###LLMs( في توليد العقود الذكية بلغة Move. تخطط فريق البحث لجمع مجموعة بيانات شاملة من أمثلة لغة Move، وتعزيز هندسة التلميحات، وتنفيذ تحسينات لمقارنة فعالية LLM تحت طرق مختلفة.

) COMET: قياسات وإطار مقارنة الانتقال إلى Move

سيقوم الأستاذ جورج جياجليس من جامعة نيقوسيا بإجراء تحليل شامل للمقارنة بين Solidity و Move، بهدف تعزيز الفهم الأعمق لوظائف Move وقدراته. يخطط المشروع لتنظيم العناصر الرئيسية في إطار عمل، لمساعدة المطورين على الانتقال بسهولة لاستخدام Move في التطوير.

ثورة DeFi: تحسين السيولة والرسوم الديناميكية على Sui باستخدام طرق التعلم العميق

سيقوم الأستاذان رشيد غويراوي ووليد صوفيان من المعهد الفيدرالي السويسري للتكنولوجيا في لوزان بتطوير نموذج هجين للتعلم العميق لاستخدامه في تحسين توقعات النطاق الأمثل لبروتوكول Sui DeFi. يجمع هذا البحث بين الشبكات العصبية التكرارية المعززة والتعلم التعزيزي العميق، مع دمج تحليل المشاعر من وسائل التواصل الاجتماعي لتحسين دقة التوقعات.

تقييم القدرة على التنبؤ بتقلبات SUI

سوف يقوم الأستاذ ستافروس ديجياناكيس من جامعة قبرص المفتوحة بالتحقيق في فعالية خوارزمية SPEC في توقع تقلبات أصول Sui. ستتركز الدراسة بشكل رئيسي على أصول SUI، وسيتم التحقق منها ضمن مجموعة متنوعة من الأصول على البلوكشين، مع الاستفادة من بيانات الأسعار عالية التردد المتاحة مجانًا.

zkSNARKs الشفافة بعد الكم المنخفض الذاكرة

يهدف الدكتور بريت فالك والدكتور براتييوش ميشرا من جامعة بنسلفانيا إلى تطوير zkSNARKs القابلة للتوسع، لمعالجة ثلاثة عوائق رئيسية: تعقيد الوقت للبرهان، وتعقيد المساحة، وحجم SRS. الهدف من هذه الدراسة هو توفير إثباتات تشفير قابلة للتوسع جاهزة للنشر لمجموعة متنوعة من التطبيقات في تكنولوجيا blockchain.