Sui Akademik Araştırma Destek Programı yeni ödül kazananlarını açıkladı
Son zamanlarda, Sui akademik araştırma hibe programı, finansal destek alan yeni araştırma önerilerini duyurdu. Bu program, Web3 teknolojisinin gelişimini teşvik etmeyi amaçlamaktadır, özellikle blok zinciri ağları, akıllı sözleşme programlaması ve Sui tabanlı ürünlerle ilgili teknolojiler etrafında.
Geçmişteki iki aşamada, bu program dünya çapında tanınmış üniversitelerden 17 araştırma önerisini onayladı ve toplam hibe miktarı 425.000 ABD doları oldu. Katılımcı üniversiteler arasında Kore Bilim ve Teknoloji Enstitüsü, Londra Üniversitesi Koleji, Lozan Federal Politeknik Okulu ve Singapur Ulusal Üniversitesi gibi kurumlar bulunmaktadır.
Ödül Kazanan Tekliflerin Genel Görünümü
DAO oylama topluluğu çeşitliliği araştırması
Cornell Üniversitesi araştırma ekibi, merkeziyetsiz organizasyonların doğasını inceleyecek ve DAO'nun merkeziyetsizlik derecesini ölçmek için göstergeler oluşturacaktır. Bu araştırma, organizasyon içindeki merkeziyetsizliği artırabilecek uygulama yöntemlerini bulmayı amaçlamaktadır.
Konsensüs protokolü güvenliğini artırmak
Londra Üniversitesi College araştırmacıları, sistemin saldırılara karşı dayanıklılığını artırmak ve sürekli değişen düşman ortamına uyum sağlamak için asenkron bir DAG protokolü geliştirmeyi önerdi. Bu protokol, yüksek performansı korurken daha iyi güvenlik ve uyum sağlaması bekleniyor.
Akıllı Sözleşme Denetimi için Yeni Yöntem
Londra Üniversitesi College'dan başka bir ekip, GPT-4 gibi büyük dil modellerini Sui akıllı sözleşmelerinin denetim sürecini geliştirmek için kullanmayı planlıyor. Daha önce Solidity sözleşmeleri üzerinde yapılan analiz deneyimlerine dayanarak, araştırma alanını Sui akıllı sözleşmelerine genişletecekler ve sağlam güvenlik değerlendirmelerinin zamanında yapılmasına odaklanacaklar.
Konsensüs Protokolü Araştırmaları
Bern Üniversitesi'nin projesi, mevcut konsensüs protokolü alanını kapsamlı bir şekilde inceleyecek ve kriptografik konsensüs protokollerine yeni bakış açıları sunacaktır. Araştırma sonuçlarının, mevcut algoritmaların daha iyi anlaşılmasına yardımcı olması ve yeni dağıtık protokollerin tasarımı için fikirler sağlaması beklenmektedir.
Oracle protokolü doğrulama çerçevesi
Carnegie Mellon Üniversitesi'nin Djed Alliance ile iş birliği yaptığı proje, blok zinciri oracle'larını titiz bir şekilde analiz etmek ve doğrulamak için biçimsel yöntemler aracılığıyla bir çerçeve oluşturacaktır. Bu, akıllı sözleşmelerdeki dış verilerin doğruluğunu ve adilliğini sağlamak için son derece önemlidir.
Zürih Federal Teknoloji Enstitüsü'nün araştırması, akıllı sözleşme tasarım hatalarından kaynaklanan ölçeklenebilirlik darboğazlarını tanımlamayı amaçlamaktadır. Ayrıca, işlem ücretlerinin ayarlanmasının paralelleşme potansiyelini nasıl etkilediğini de inceleyecekler.
Bullshark protokolü biçimsel doğrulama
Singapur Ulusal Üniversitesi ekibi, DAG tabanlı konsensüs protokollerinin anlaşılmasını ilerletmek amacıyla Bullshark protokolünün özelliklerini biçimsel olarak doğrulamak için modern bilgisayar destekli doğrulama araçları kullanmayı planlıyor.
Bu araştırma projeleri, konsensüs mekanizmaları, akıllı sözleşme güvenliği ve merkeziyetsiz organizasyon yönetimi gibi blok zinciri teknolojisinin birçok temel alanını kapsamaktadır. Bu öncü araştırmaları destekleyerek, Sui Vakfı Web3 ekosisteminin teknik ilerlemesini ve yeniliğini teşvik etmeyi ummaktadır.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Sui Akademik Destek Programı yeni ödül kazananlarını açıkladı Web3 temel teknoloji araştırmalarına odaklanıyor
Sui Akademik Araştırma Destek Programı yeni ödül kazananlarını açıkladı
Son zamanlarda, Sui akademik araştırma hibe programı, finansal destek alan yeni araştırma önerilerini duyurdu. Bu program, Web3 teknolojisinin gelişimini teşvik etmeyi amaçlamaktadır, özellikle blok zinciri ağları, akıllı sözleşme programlaması ve Sui tabanlı ürünlerle ilgili teknolojiler etrafında.
Geçmişteki iki aşamada, bu program dünya çapında tanınmış üniversitelerden 17 araştırma önerisini onayladı ve toplam hibe miktarı 425.000 ABD doları oldu. Katılımcı üniversiteler arasında Kore Bilim ve Teknoloji Enstitüsü, Londra Üniversitesi Koleji, Lozan Federal Politeknik Okulu ve Singapur Ulusal Üniversitesi gibi kurumlar bulunmaktadır.
Ödül Kazanan Tekliflerin Genel Görünümü
DAO oylama topluluğu çeşitliliği araştırması
Cornell Üniversitesi araştırma ekibi, merkeziyetsiz organizasyonların doğasını inceleyecek ve DAO'nun merkeziyetsizlik derecesini ölçmek için göstergeler oluşturacaktır. Bu araştırma, organizasyon içindeki merkeziyetsizliği artırabilecek uygulama yöntemlerini bulmayı amaçlamaktadır.
Konsensüs protokolü güvenliğini artırmak
Londra Üniversitesi College araştırmacıları, sistemin saldırılara karşı dayanıklılığını artırmak ve sürekli değişen düşman ortamına uyum sağlamak için asenkron bir DAG protokolü geliştirmeyi önerdi. Bu protokol, yüksek performansı korurken daha iyi güvenlik ve uyum sağlaması bekleniyor.
Akıllı Sözleşme Denetimi için Yeni Yöntem
Londra Üniversitesi College'dan başka bir ekip, GPT-4 gibi büyük dil modellerini Sui akıllı sözleşmelerinin denetim sürecini geliştirmek için kullanmayı planlıyor. Daha önce Solidity sözleşmeleri üzerinde yapılan analiz deneyimlerine dayanarak, araştırma alanını Sui akıllı sözleşmelerine genişletecekler ve sağlam güvenlik değerlendirmelerinin zamanında yapılmasına odaklanacaklar.
Konsensüs Protokolü Araştırmaları
Bern Üniversitesi'nin projesi, mevcut konsensüs protokolü alanını kapsamlı bir şekilde inceleyecek ve kriptografik konsensüs protokollerine yeni bakış açıları sunacaktır. Araştırma sonuçlarının, mevcut algoritmaların daha iyi anlaşılmasına yardımcı olması ve yeni dağıtık protokollerin tasarımı için fikirler sağlaması beklenmektedir.
Oracle protokolü doğrulama çerçevesi
Carnegie Mellon Üniversitesi'nin Djed Alliance ile iş birliği yaptığı proje, blok zinciri oracle'larını titiz bir şekilde analiz etmek ve doğrulamak için biçimsel yöntemler aracılığıyla bir çerçeve oluşturacaktır. Bu, akıllı sözleşmelerdeki dış verilerin doğruluğunu ve adilliğini sağlamak için son derece önemlidir.
blok zinciri ölçeklenebilirlik darboğazını tanımlama
Zürih Federal Teknoloji Enstitüsü'nün araştırması, akıllı sözleşme tasarım hatalarından kaynaklanan ölçeklenebilirlik darboğazlarını tanımlamayı amaçlamaktadır. Ayrıca, işlem ücretlerinin ayarlanmasının paralelleşme potansiyelini nasıl etkilediğini de inceleyecekler.
Bullshark protokolü biçimsel doğrulama
Singapur Ulusal Üniversitesi ekibi, DAG tabanlı konsensüs protokollerinin anlaşılmasını ilerletmek amacıyla Bullshark protokolünün özelliklerini biçimsel olarak doğrulamak için modern bilgisayar destekli doğrulama araçları kullanmayı planlıyor.
Bu araştırma projeleri, konsensüs mekanizmaları, akıllı sözleşme güvenliği ve merkeziyetsiz organizasyon yönetimi gibi blok zinciri teknolojisinin birçok temel alanını kapsamaktadır. Bu öncü araştırmaları destekleyerek, Sui Vakfı Web3 ekosisteminin teknik ilerlemesini ve yeniliğini teşvik etmeyi ummaktadır.