Sui yeni akademik araştırma destek sonuçları açıklandı: Dünyaca ünlü birçok üniversite katıldı, 17 proje 420.000 dolardan fazla fon aldı.
Son zamanlarda, Sui Vakfı yeni bir akademik araştırma hibe programının ödül kazananlarını açıkladı. Bu program, Web3 gelişimini destekleyen araştırma projelerini, özellikle blok zinciri ağları, akıllı sözleşme programlaması ve Sui tabanlı ürünlerle ilgili teknolojilerdeki öncü keşifleri desteklemek amacıyla tasarlanmıştır.
Geçtiğimiz iki aşamada, uluslararası üne sahip 17 üniversiteden gelen araştırma teklifinin onaylandığı ve toplam hibe miktarının 425,000 dolar olduğu bildirildi. Katılan üniversiteler arasında Kore Bilim ve Teknoloji Enstitüsü, Londra Üniversitesi Koleji, Lozan Federal Politeknik Okulu ve Singapur Ulusal Üniversitesi gibi kurumlar bulunmaktadır.
Desteklenen Proje Genel Görünümü
Merkeziyetsiz Otonom Organizasyonların Çeşitliliği Üzerine Araştırma
Cornell Üniversitesi'nden Ari Juels, merkeziyetsiz organizasyonların doğası etrafında bir araştırma yapacak. Bu proje, DAO'nun merkeziyetsizlik seviyesini ölçen göstergeler oluşturacak ve organizasyon içindeki merkeziyetsizlik seviyesini artırma pratik yöntemlerini keşfedecek.
Uyarlanabilir güvenli asenkron DAG konsensüs protokolü
Londra Üniversitesi Koleji'nden Philipp Jovanovic, saldırılara karşı dayanıklılığı artırmak ve değişen tehdit ortamına uyum sağlamak için asenkron bir DAG protokolü geliştirmeyi önerdi. Bu protokol, kısmi senkron rakiplerin performans seviyesine yakın kalırken, daha yüksek güvenlik ve uyumluluk sağlamayı amaçlamaktadır.
Büyük Dil Modellerine Dayalı Sui Akıllı Sözleşme Denetimi
Londra Üniversitesi Koleji'nden Arthur Gervais profesörü, Move akıllı sözleşmelerinin denetim sürecini geliştirmek için GPT-4-32k ve Claude-v2-100k gibi büyük dil modellerini kullanmayı planlıyor. Ekip, daha önce 52 Solidity DeFi akıllı sözleşmesinin analizinde yaklaşık 1 milyar dolar kayba yol açan güvenlik açıklarını tespit etti ve şimdi araştırmayı Sui akıllı sözleşmelerine genişletiyor.
Konsensüs Protokolü Alanı Panorama
Bern Üniversitesi'nden Profesör Christopher Cachin, mevcut konsensüs alanını kapsamlı bir şekilde inceleyecek ve kriptografik konsensüs protokollerine yeni bakış açıları sunacaktır. Araştırma sonuçları, mevcut algoritmaların daha derinlemesine anlaşılmasına yardımcı olacak ve dağıtık protokoller tasarlamak için yeni fikirler sağlayacaktır.
Carnegie Mellon Üniversitesi'nden Profesör Giselle Reis ve Djed Alliance'dan Bruno Woltzenlogel Paleo, blok zinciri oracle'larını katı bir şekilde analiz etmek ve doğrulamak için biçimsel yöntemler aracılığıyla bir çerçeve oluşturacaklar. Bu proje, Coq kanıt yönetim sisteminde kapsamlı tanımlar ve kanıt stratejileri kütüphanesi geliştirecektir.
Zürih Federal Teknoloji Enstitüsü'nden Profesör Roger Wattenhofer, akıllı sözleşme tasarımındaki kusurlardan kaynaklanan ölçeklenebilirlik darboğazlarını tanımlamaya odaklanacak ve işlem ücreti ayarlamalarının paralelleştirme potansiyeline etkisini araştıracaktır.
Bullshark Protokolü Mekanik Doğrulama
Singapur Ulusal Üniversitesi'nden Ilya Sergey profesörü, Bullshark protokolünün özelliklerini resmi olarak doğrulamak için modern bilgisayar destekli doğrulama araçlarını kullanmayı planlıyor ve DAG tabanlı konsensüs protokollerinin anlaşılmasını ilerletiyor.
Blokzincir Referans Standartlaşma Çerçevesi
Lihai Üniversitesi'nden Henry F. Korth, kullanıcılar ve geliştiricilere zincir performansı hakkında şeffaf içgörüler sağlamak için L1 blok zincirlerini ve L2 genişletme çözümlerini adil bir şekilde karşılaştırmak amacıyla bir blok zinciri standartlaştırma formatı oluşturmayı önerdi.
Kore Bilim ve Teknoloji Enstitüsü'nden Prof. Min Suk Kang, Bullshark/Mysticeti'yi paylaşım sıralayıcı algoritması olarak kullanmayı keşfedecek ve Sui'yi sıralama katmanı olarak kullanan çeşitli Rollup çözümlerini inceleyecek.
Yerel ücret pazarı ve tıkanıklık fiyatlandırma optimizasyonu
New York Üniversitesi'nden Abdoulaye Ndiaye, blok zinciri ağlarının tıkanıklık fiyatlandırma mekanizmalarını optimize etmek için yerel ücret pazarlarını araştıracak ve ağ tıkanıklık durumunu yansıtan etkili bir fiyatlandırma modeli oluşturmayı hedefliyor.
Parçalı otomatik piyasa yapıcı mekanizması
İsrail Teknoloji Enstitüsü'nden Profesör Ittay Eyal, birden fazla sözleşme kullanarak eşzamanlılığı artıran parçalı sözleşme kavramını geliştiriyor. Araştırmanın odak noktası, tamamen paralel hale getirilebilen parçalı AMM'yi gerçekleştirmek için likidite sağlayıcıları ve tüccarların teşvik mekanizmalarını ayarlamaktır.
Rekabet mekanizmasındaki özel bilgi açıklaması
Roma Tor Vergata Üniversitesi'nden Andrea Attar, piyasa mekanizmalarının tasarımında yeni yaklaşımlar keşfedecek ve tasarımcıların ajanlara özel olarak bilgi ifşasının piyasa sonuçları ve stratejik etkileşimler üzerindeki etkisini araştıracaktır.
Büyük dil modellerine dayalı Sui akıllı sözleşme üretimi
Carnegie Mellon Üniversitesi'nden Ken Koedinger ve Eason Chen profesörleri, mevcut büyük dil modellerinin Move dili akıllı sözleşmelerini oluşturmadaki zorluklarını çözmeye odaklanacaklar. Araştırma, Move dili örnek veri kümesi toplama, ipucu mühendisliğini geliştirme ve model ince ayarı uygulamayı içermektedir.
Move dili geçiş karşılaştırma ölçüm çerçevesi
Kıbrıs Üniversitesi'nden George Giaglis profesörü, Solidity ve Move dilleri arasında kapsamlı bir karşılaştırma analizi yapacak. Bu analiz, Move'un işlevselliği ve yetenekleri hakkında derinlemesine bir anlayış sağlamak ve geliştiricilerin Move geliştirmeye daha sorunsuz bir geçiş yapmalarına yardımcı olmak amacıyla gerçekleştirilecektir.
DeFi optimizasyonu: derin öğrenme yöntemleri
Lozan Federal Politeknik Enstitüsü'nden Rachid Guerraoui ve Walid Sofiane profesörleri, Sui DeFi protokolündeki en iyi aralık tahmini için geliştirilmiş bir derin öğrenme modeli geliştirecekler; bu model, geliştirilmiş geri besleme sinir ağları, derin pekiştirme öğrenimi ve sosyal medya duygu analizi kombinasyonunu içerecek.
SUI dalgalanma tahmin yeteneği değerlendirmesi
Kıbrıs Açık Üniversitesinden Prof. Stavros Degiannakis, SPEC algoritmasının Sui varlık volatilite tahmini üzerindeki etkinliğini araştıracak, öncelikle SUI varlıklarına odaklanacak ve diğer blockchain varlıklarında doğrulama yapacaktır.
düşük bellekli sonrası kuantum şeffaf zkSNARK'lar
Pennsylvania Üniversitesi'nden Brett Falk ve Pratyush Mishra profesörleri, kanıtlayıcı zaman karmaşıklığı, alan karmaşıklığı ve SRS boyutu gibi temel engelleri aşarak ölçeklenebilir zkSNARK'lar geliştirmeye çalışıyorlar ve blockchain teknolojisindeki çeşitli uygulamalar için dağıtıma hazır ölçeklenebilir kriptografik kanıt çözümleri sunuyorlar.
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.
5 Likes
Reward
5
6
Share
Comment
0/400
ForeverBuyingDips
· 08-06 09:55
Aman Tanrım, biraz pratik projeler verebilir misin? Bu soyut şeyleri anlatmanın ne anlamı var?
View OriginalReply0
nft_widow
· 08-06 09:51
Tahıl ambarı neredeyse boşaldı mı?
View OriginalReply0
BlockchainBouncer
· 08-06 09:50
Sui ne zaman ikinci turu başlatacak? Uzun zamandır açılmasını bekliyoruz.
View OriginalReply0
MoonRocketman
· 08-06 09:48
yükselis trendi belirgin hacim RSI, destek üzerinde tutunmak 40 bin dolar fırlatma penceresinden daha önemli
View OriginalReply0
MetaverseVagrant
· 08-06 09:46
Ah para bile vermiyorlar bize bireysel yatırımcı.
View OriginalReply0
BlockchainFoodie
· 08-06 09:32
web3 hibe hizmeti veriyoruz, tıpkı taze bir grup defi dumpling gibi... gerçek proof-of-stake tadındadır fr
Sui'nin yeni akademik destek programı açıklandı, 17 Blok Zinciri projesi 425000 dolar destek aldı.
Sui yeni akademik araştırma destek sonuçları açıklandı: Dünyaca ünlü birçok üniversite katıldı, 17 proje 420.000 dolardan fazla fon aldı.
Son zamanlarda, Sui Vakfı yeni bir akademik araştırma hibe programının ödül kazananlarını açıkladı. Bu program, Web3 gelişimini destekleyen araştırma projelerini, özellikle blok zinciri ağları, akıllı sözleşme programlaması ve Sui tabanlı ürünlerle ilgili teknolojilerdeki öncü keşifleri desteklemek amacıyla tasarlanmıştır.
Geçtiğimiz iki aşamada, uluslararası üne sahip 17 üniversiteden gelen araştırma teklifinin onaylandığı ve toplam hibe miktarının 425,000 dolar olduğu bildirildi. Katılan üniversiteler arasında Kore Bilim ve Teknoloji Enstitüsü, Londra Üniversitesi Koleji, Lozan Federal Politeknik Okulu ve Singapur Ulusal Üniversitesi gibi kurumlar bulunmaktadır.
Desteklenen Proje Genel Görünümü
Merkeziyetsiz Otonom Organizasyonların Çeşitliliği Üzerine Araştırma
Cornell Üniversitesi'nden Ari Juels, merkeziyetsiz organizasyonların doğası etrafında bir araştırma yapacak. Bu proje, DAO'nun merkeziyetsizlik seviyesini ölçen göstergeler oluşturacak ve organizasyon içindeki merkeziyetsizlik seviyesini artırma pratik yöntemlerini keşfedecek.
Uyarlanabilir güvenli asenkron DAG konsensüs protokolü
Londra Üniversitesi Koleji'nden Philipp Jovanovic, saldırılara karşı dayanıklılığı artırmak ve değişen tehdit ortamına uyum sağlamak için asenkron bir DAG protokolü geliştirmeyi önerdi. Bu protokol, kısmi senkron rakiplerin performans seviyesine yakın kalırken, daha yüksek güvenlik ve uyumluluk sağlamayı amaçlamaktadır.
Büyük Dil Modellerine Dayalı Sui Akıllı Sözleşme Denetimi
Londra Üniversitesi Koleji'nden Arthur Gervais profesörü, Move akıllı sözleşmelerinin denetim sürecini geliştirmek için GPT-4-32k ve Claude-v2-100k gibi büyük dil modellerini kullanmayı planlıyor. Ekip, daha önce 52 Solidity DeFi akıllı sözleşmesinin analizinde yaklaşık 1 milyar dolar kayba yol açan güvenlik açıklarını tespit etti ve şimdi araştırmayı Sui akıllı sözleşmelerine genişletiyor.
Konsensüs Protokolü Alanı Panorama
Bern Üniversitesi'nden Profesör Christopher Cachin, mevcut konsensüs alanını kapsamlı bir şekilde inceleyecek ve kriptografik konsensüs protokollerine yeni bakış açıları sunacaktır. Araştırma sonuçları, mevcut algoritmaların daha derinlemesine anlaşılmasına yardımcı olacak ve dağıtık protokoller tasarlamak için yeni fikirler sağlayacaktır.
Merkeziyetsiz Tahminci Protokol Doğrulama Çerçevesi
Carnegie Mellon Üniversitesi'nden Profesör Giselle Reis ve Djed Alliance'dan Bruno Woltzenlogel Paleo, blok zinciri oracle'larını katı bir şekilde analiz etmek ve doğrulamak için biçimsel yöntemler aracılığıyla bir çerçeve oluşturacaklar. Bu proje, Coq kanıt yönetim sisteminde kapsamlı tanımlar ve kanıt stratejileri kütüphanesi geliştirecektir.
Blok zinciri ölçeklenebilirlik darboğazı tanımlama
Zürih Federal Teknoloji Enstitüsü'nden Profesör Roger Wattenhofer, akıllı sözleşme tasarımındaki kusurlardan kaynaklanan ölçeklenebilirlik darboğazlarını tanımlamaya odaklanacak ve işlem ücreti ayarlamalarının paralelleştirme potansiyeline etkisini araştıracaktır.
Bullshark Protokolü Mekanik Doğrulama
Singapur Ulusal Üniversitesi'nden Ilya Sergey profesörü, Bullshark protokolünün özelliklerini resmi olarak doğrulamak için modern bilgisayar destekli doğrulama araçlarını kullanmayı planlıyor ve DAG tabanlı konsensüs protokollerinin anlaşılmasını ilerletiyor.
Blokzincir Referans Standartlaşma Çerçevesi
Lihai Üniversitesi'nden Henry F. Korth, kullanıcılar ve geliştiricilere zincir performansı hakkında şeffaf içgörüler sağlamak için L1 blok zincirlerini ve L2 genişletme çözümlerini adil bir şekilde karşılaştırmak amacıyla bir blok zinciri standartlaştırma formatı oluşturmayı önerdi.
ölçeklenebilir merkeziyetsiz paylaşılmış sıralama katmanı inşası
Kore Bilim ve Teknoloji Enstitüsü'nden Prof. Min Suk Kang, Bullshark/Mysticeti'yi paylaşım sıralayıcı algoritması olarak kullanmayı keşfedecek ve Sui'yi sıralama katmanı olarak kullanan çeşitli Rollup çözümlerini inceleyecek.
Yerel ücret pazarı ve tıkanıklık fiyatlandırma optimizasyonu
New York Üniversitesi'nden Abdoulaye Ndiaye, blok zinciri ağlarının tıkanıklık fiyatlandırma mekanizmalarını optimize etmek için yerel ücret pazarlarını araştıracak ve ağ tıkanıklık durumunu yansıtan etkili bir fiyatlandırma modeli oluşturmayı hedefliyor.
Parçalı otomatik piyasa yapıcı mekanizması
İsrail Teknoloji Enstitüsü'nden Profesör Ittay Eyal, birden fazla sözleşme kullanarak eşzamanlılığı artıran parçalı sözleşme kavramını geliştiriyor. Araştırmanın odak noktası, tamamen paralel hale getirilebilen parçalı AMM'yi gerçekleştirmek için likidite sağlayıcıları ve tüccarların teşvik mekanizmalarını ayarlamaktır.
Rekabet mekanizmasındaki özel bilgi açıklaması
Roma Tor Vergata Üniversitesi'nden Andrea Attar, piyasa mekanizmalarının tasarımında yeni yaklaşımlar keşfedecek ve tasarımcıların ajanlara özel olarak bilgi ifşasının piyasa sonuçları ve stratejik etkileşimler üzerindeki etkisini araştıracaktır.
Büyük dil modellerine dayalı Sui akıllı sözleşme üretimi
Carnegie Mellon Üniversitesi'nden Ken Koedinger ve Eason Chen profesörleri, mevcut büyük dil modellerinin Move dili akıllı sözleşmelerini oluşturmadaki zorluklarını çözmeye odaklanacaklar. Araştırma, Move dili örnek veri kümesi toplama, ipucu mühendisliğini geliştirme ve model ince ayarı uygulamayı içermektedir.
Move dili geçiş karşılaştırma ölçüm çerçevesi
Kıbrıs Üniversitesi'nden George Giaglis profesörü, Solidity ve Move dilleri arasında kapsamlı bir karşılaştırma analizi yapacak. Bu analiz, Move'un işlevselliği ve yetenekleri hakkında derinlemesine bir anlayış sağlamak ve geliştiricilerin Move geliştirmeye daha sorunsuz bir geçiş yapmalarına yardımcı olmak amacıyla gerçekleştirilecektir.
DeFi optimizasyonu: derin öğrenme yöntemleri
Lozan Federal Politeknik Enstitüsü'nden Rachid Guerraoui ve Walid Sofiane profesörleri, Sui DeFi protokolündeki en iyi aralık tahmini için geliştirilmiş bir derin öğrenme modeli geliştirecekler; bu model, geliştirilmiş geri besleme sinir ağları, derin pekiştirme öğrenimi ve sosyal medya duygu analizi kombinasyonunu içerecek.
SUI dalgalanma tahmin yeteneği değerlendirmesi
Kıbrıs Açık Üniversitesinden Prof. Stavros Degiannakis, SPEC algoritmasının Sui varlık volatilite tahmini üzerindeki etkinliğini araştıracak, öncelikle SUI varlıklarına odaklanacak ve diğer blockchain varlıklarında doğrulama yapacaktır.
düşük bellekli sonrası kuantum şeffaf zkSNARK'lar
Pennsylvania Üniversitesi'nden Brett Falk ve Pratyush Mishra profesörleri, kanıtlayıcı zaman karmaşıklığı, alan karmaşıklığı ve SRS boyutu gibi temel engelleri aşarak ölçeklenebilir zkSNARK'lar geliştirmeye çalışıyorlar ve blockchain teknolojisindeki çeşitli uygulamalar için dağıtıma hazır ölçeklenebilir kriptografik kanıt çözümleri sunuyorlar.