Sui Vakfı, Sui Akademik Araştırma Ödülleri'nin dördüncü grubunun ödüllerini duyurmanın heyecanını yaşıyor. Bu program, özellikle blockchain teknolojisine, akıllı sözleşme programlamaya ve Sui üzerine inşa edilen ürünlere odaklanarak Web3'ü geliştiren çığır açan araştırmaları finanse ediyor.

Bu grupta UC Berkeley, Yale, NYU, EPFL ve Singapur Ulusal Üniversitesi gibi prestijli üniversitelerden 20 olağanüstü teklif kabul ettik. Bu önde gelen araştırmacılar Sui ekosisteminde yeniliği teşvik edecek. Tekliflerin olağanüstü kalitesi nedeniyle Sui Vakfı, blockchain inovasyonunu ve benimsenmesini hızlandıran daha fazla araştırmayı desteklemek amacıyla 2024 için 1 milyon dolarlık ek fon taahhüt etti. Bir sonraki teklif çağrısı 5 Temmuz 2024'te sona erecek.

ZKP'yi Önbelleğe Alma ile Hızlandırma  

Fan Zhang (Yale Üniversitesi)

Sui'nin zkLogin primitifi gibi sıfır bilgi kanıtları (zk kanıtları), blockchain ölçeklenebilirliği, gizlilik ve kimlik için çok önemlidir. Ancak kaynak yoğun hesaplamalar nedeniyle zk kanıtlarının oluşturulması yavaştır. Bu araştırma, çoklu skaler çarpmalar ve hızlı fourier dönüşümleri gibi tekrarlanan hesaplamaların ara sonuçlarını depolamak için önbelleğe alma yoluyla zk geçirmez oluşturmayı geliştirir. Bu yaklaşım, zk korumalı üretimi önemli ölçüde hızlandırmak ve gerçek dünya uygulamalarında verimliliği artırmak için kullanıcı girdilerindeki kalıplardan yararlanır.

AIChain: Daha Güvenli Akıllı Sözleşmeler için Statik Analizi ve Bulanıklaştırmayı Bağlayan Bir Yüksek Lisans 

Vijay Ganesh (Georgia Teknoloji Enstitüsü)

AIChain, statik analiz için yapay zekayı kullanarak ve manuel çalışmayı ortadan kaldırmak için bulanıklaştırma yaparak akıllı sözleşme güvenliği sorununu çözüyor. AIChain, akıllı sözleşmeleri işlemek için kullanılan bir Büyük Dil Modelidir (LLM) ve potansiyel güvenlik açıklarını doğrulamak amacıyla fuzzing için kod oluşturmak amacıyla bir statik analiz raporudur. OpenAI'nin GPT-3.5-Turbo'su ile yapılan ilk testler etkili sonuçlar verdi ve araç, daha fazla güvenlik açığını tespit edecek şekilde genişletiliyor.

Web3 Platformları için Evde Anahtar Saklama

Tushar Jois (CUNY Araştırma Vakfı)

Web3 platformları dijital varlıklar üzerinde benzeri görülmemiş bir kontrol sunuyor ancak anahtar saklama hala önemli bir sürtüşme noktası olmaya devam ediyor. Donanım cüzdanları ve üçüncü taraf emanetleri gibi geleneksel çözümler maliyetlidir ve potansiyel kullanıcıları caydırır. Bu araştırma, birden fazla yerinde sabit cihazın kolektif güvenliğinden yararlanarak anahtar saklama için akıllı evlerdeki mevcut nesnelerin interneti cihazlarının kullanımını araştırıyor. SocIoTy sistemi, kriptografik işlemleri ve iki faktörlü kimlik doğrulamayı gerçekleştirmek için akıllı ev cihazlarını kullanacak ve anahtar malzemenin evde güvende kalmasını sağlayacak. Bu yaklaşım, Web3 anahtar saklaması için uygun maliyetli ve güvenli bir yöntem sunarak kullanıcının güvenini ve erişilebilirliğini artırır.

Autobahn: Kısmen Eşzamanlı BFT Protokollerini Kısmi Eşzamanlılığa Karşı Sağlam Hale Getirme

Natacha Crooks (Kaliforniya Üniversitesi, Berkeley)

Geleneksel Bizans Hata Toleranslı (BFT) protokolleri, düşük gecikme süresini ve ağ sağlamlığını dengelemelidir, ancak zaman zaman ağ kesintileri sırasında bocalayarak "eşzamansız akşamdan kalmalara" yol açar. DAG tabanlı BFT protokolleri sağlam olmalarına rağmen genellikle daha yüksek gecikme süresine sahiptir. Bu araştırma, DAG tabanlı veri dağıtımını geleneksel kısmen senkronize konsensüs mekanizmasıyla birleştiren yeni bir konsensüs protokolü olan Autobahn'ı geliştirecek. Autobahn, fikir birliğini veri dağıtımından ayırarak, verimli kurtarma ve yüksek performans sağlayarak normal çalışma sırasında düşük gecikmeyi ve ağ kesintileri sırasında sağlamlığı korur.

Sui DeFi Ekosistemi için Otomatik Risk Yönetimi

Lukasz Szpruch ve David Siska (Edinburgh Üniversitesi)

Bu proje, niceliksel finans ve aracı tabanlı simülasyonlar kullanarak Sui'nin DeFi ekosistemindeki ekonomik güvenliği artırmak için otomatik risk yönetimi sistemleri geliştirmeyi amaçlıyor. Mevcut DAO yönetimi, genellikle zincir dışı, merkezi üçüncü taraf tavsiyelerine dayanan gerçek zamanlı risk yönetimi ile mücadele ediyor. Bu araştırma, doğrulanabilir, gerçek zamanlı, veriye dayalı bir risk yönetimi çerçevesi oluşturacak, protokol parametre ayarlarını otomatikleştirecek ve aracı tabanlı simülasyonlarla stres testi yapacak. İlk odak noktası şeffaf, ölçeklenebilir ve hesap verebilir risk değerlendirmelerini mümkün kılmak için açık kaynak araçları sağlayan merkezi olmayan borç verme protokolleri olacaktır.

Akıllı Sözleşme Denetçilerini Destekleyecek Davranışsal Soyutlamalar

Diego Garbervetsky (Buenos Aires Üniversitesi)

Denetim, genellikle alana özgü içgörülerden yoksun olan linter ve fuzzer gibi araçlara dayanan, insan yoğun bir görevdir. Bu araştırma, denetçilerin akıllı sözleşme davranışını keşfetmesine ve doğrulamasına yardımcı olacak modelleri (otomata) oluşturmak için yüklem soyutlamayı kullanan araçlar geliştirecektir. Denetçiler, önerilen tahminler aracılığıyla sözleşme davranışını kademeli olarak anlayarak, bu modelleri işlevsel ve uygulama hatalarını daha etkili bir şekilde tanımlamak için kullanabilirler. Amaç, bu modellerin oluşturulmasını otomatikleştirerek denetim verimliliğini ve akıllı sözleşmelerin genel güvenliğini artırmaktır.

Paralel Yürütme Perspektifi Aracılığıyla Sui'nin Kıyaslanması

Ooi Beng Chin (Singapur Ulusal Üniversitesi)

Bu proje, konsensüs algoritmalarının sınırlamalarının ötesine geçerek, modern blok zincirlerdeki yürütme motoru darboğazını ele alıyor. Ekip, paralel yürütme için Web3 yerel iş yüklerini tasarlayarak DEX'ler, NFT pazarları ve oyunlar gibi popüler uygulamaları karşılaştırmayı amaçlıyor. Bu araştırma, paralel yürütme stratejilerinin verimliliğini artırarak, modern blok zincirlerin ölçeklenebilirliği ve performansına ilişkin değerli bilgiler sağlayacak.

Uzay ve Zamanın Ötesinde: Akıllı Sözleşmeler Yoluyla Deneysel Ekonomi

Yang You (Hong Kong Üniversitesi), Lin William Cong (Cornell Üniversitesi)

Geleneksel sosyal bilim deneyleri, laboratuvar ortamlarındaki yapay tedaviler ve kısa süreler nedeniyle sınırlamalarla karşı karşıyadır. Bu araştırma, katılımcıların gerçek dünyadaki olaylara dayalı olarak ticaret yaptığı ve daha güvenilir veriler sağladığı, otomatik piyasa yapımıyla desteklenen merkezi olmayan bir etkinlik sözleşmesi ticaret platformunu tanıtıyor. Katılımcıları doğru tahminler için sürekli olarak USDC'ye dönüştürülebilen platform tokenlarıyla meşgul eden bu yaklaşım, ABD Merkez Bankası duyurularından etkilenen faiz oranı beklentileri üzerine yapılan bir deneyle ortaya konan uzun vadeli beklenti çalışmalarına olanak tanır.

Blockchain Adres Zehirlenmesi  

Nicolas Christin (Carnegie Mellon Üniversitesi)

Bu araştırma, saldırganların kullanıcıları yanlış alıcıya para göndermeleri için kandırmak amacıyla "benzer" adresler oluşturduğu ve genellikle adres zehirlenmesi olarak adlandırılan blockchain adres zehirlenmesi sorununu ele alıyor. Blockchain işlemlerinin geri döndürülemez olması bu tür saldırıları özellikle zararlı hale getiriyor. Bu proje, tehdit modelini resmileştirecek, birden fazla blok zincirindeki yaygınlığı ölçecek, saldırgan davranışını karakterize edecek ve hafifletici önlemler geliştirecek. Amaç, Sui ve diğer platformlarda kullanıcı güvenliğini ve güvenini artıran Web3 UI tasarımı için sıkı bir çerçeve oluşturmaktır.

Sui'de Risksiz Getirinin Yakalanması: Opsiyonlar ve Vadeli İşlemler Kullanılarak Derin Riskten Korunma Yaklaşımı

Dimitrios Karyampas ve Walid Sofiane (École Polytechnique Fédérale de Lausanne), Adam Bouabda (ETH Zürih)

İstikrarlı, neredeyse risksiz getiriler, oldukça değişken kripto para piyasasında yatırımcıların güveni için çok önemlidir. Bu proje, mevcut yöntemleri geliştirmek için sentetik stabilcoinlerden ilham alan yenilikçi riskten korunma stratejileri kullanıyor. Proje, kalıcı sözleşmeleri, özellikle kutu spreadleri gibi gelişmiş opsiyon stratejileriyle entegre ederek ve pekiştirmeli öğrenmeyi kullanarak, piyasa koşullarına uyum sağlayan, getirileri maksimuma çıkarırken riskleri en aza indiren dinamik bir ticaret stratejisi geliştirmeyi amaçlamaktadır.

Blockchain Mutabakat Protokollerinin Bileşim Belirtimi ve Doğrulanması

Zhong Shao (Yale Üniversitesi)

Bizans Durum Makinesi Çoğaltma (SMR) protokolleri, katılımcı düğümlerin tek bir fikir birliği üzerinde anlaşmasını sağlayarak doğrusal, kurcalamaya dayanıklı bir geçmiş sağlar. Ancak hem güvenliği hem de canlılığı korumak için bu protokolleri doğru şekilde uygulamak karmaşık bir zorluk olmaya devam ediyor. Kalp pili bileşenini içeren bir ara fikir birliği protokolleri modeli sunarak bu çalışma, iyileştirme yoluyla hem güvenliğin hem de canlılığın kanıtlanmasını desteklemektedir. Amaç, sağlam ve güvenilir blockchain uygulamaları sağlayarak fikir birliği protokollerinin doğrulanmasını basitleştirmek ve geliştirmek için Doğrusallaştırılabilir Bizans Dağıtılmış Nesneleri (LiDO) modeli geliştirmektir.

Eşzamanlı Akıllı Sözleşme Yürütme Paradigması

Mohammad Sadoghi (Kaliforniya Üniversitesi, Davis)

Geçtiğimiz on yılda ResilientDB, güvenli işlemsel ve gerçek zamanlı analitik işlemeyi birleştiren dayanıklı ve sürdürülebilir bir veri platformuna öncülük etti. Bir Apache Incubator projesi olarak ResilientDB, coğrafi ölçekte bir fikir birliği protokolü (GeoBFT) ve hibrit parçalama protokolleri (Cerberus, RingBFT) geliştirmek de dahil olmak üzere önemli katkılarda bulunmuştur. Bu temele dayanarak ekip artık eşzamanlı akıllı sözleşme yürütme için optimize edilmiş yüksek verimli, düşük gecikmeli eşzamanlı kontrol protokolleri geliştirmeyi hedefliyor.

Hafif Şifreleme Kullanarak Verimli Kuantum Sonrası Çok Taraflı Hesaplama

Aniket Kate (Purdue Üniversitesi)

Çok Taraflı Hesaplama (MPC), birden fazla tarafın, gizliliği koruyan yapay zeka ve sağlık analitiği gibi Web3 uygulamaları için gerekli olan gizliliği korurken özel girişlerdeki işlevleri hesaplamasına olanak tanır. Bu araştırma, hesaplama açısından pahalı kriptografik işlemlere dayanan mevcut protokollerin sınırlamalarının üstesinden gelerek, ölçeklenebilir ve kuantum sonrası güvenli karma tabanlı MPC protokolleri geliştirmeyi amaçlamaktadır. HashRand protokolüyle elde edilen ön sonuçlar, 16 katılımcıyla dakikada 11.000 işarete ulaşarak mevcut çözümlerden çok daha iyi performans göstererek önemli performans iyileştirmeleri gösteriyor.

Zincirde Şifreleme

Yevgeny Dodis (New York Üniversitesi)

Bitcoin ve Ethereum gibi blok zincirleri takma ad sunar ancak yerel olarak güçlü gizlilik garantilerinden yoksundur, bu da kullanıcı işlemlerinin izlenebilir olmasına olanak tanır. Bu araştırma, blok zincirlerde veri gizliliğini ve kullanılabilirliğini sağlamak için zk kanıtlarının aksine özel depolama için "zincir üzerinde şifrelemeyi" keşfederek bu sorunu çözmeyi amaçlamaktadır. Signal ve Zoom gibi güvenli mesajlaşma protokollerinin geliştirilmesinden elde edilen uzmanlıktan yararlanan bu proje, blockchain işlemleri için sağlam gizlilik çözümleri geliştirmeyi amaçlıyor.

Sui'nin Ağ Saldırılarına Karşı Dayanıklılığının Değerlendirilmesi

Prateek Mittal (Princeton Üniversitesi)

Bu araştırma, Sui doğrulayıcı ağının ağ düzeyindeki yönlendirme saldırılarına, özellikle Sınır Ağ Geçidi Protokolü (BGP) ele geçirmelerine ve DDoS saldırılarına karşı dayanıklılığını araştırıyor. Çalışma, doğrulama ödemelerini buna göre ayarlamak ve yeni nesil ağ mimarisi SCION aracılığıyla güvenli bağlantıyı teşvik etmek için bir esneklik "puanı" işlevi geliştirme nihai hedefiyle, doğrulayıcı düğümlerin bu tehditlere karşı direncini değerlendirecek. Bu araştırma, Sui'nin sağlamlığını ve güvenilirliğini sağlamak için gerçek dünyadaki yönlendirme özelliklerini birleştirerek BGP'nin ele geçirilmesine karşı dayanıklılığın bugüne kadarki en ayrıntılı simülasyonu olacak.

Birikimden Daha Hızlı Zk-SNARK'lar

Benedikt Bünz (New York Üniversitesi)

Bu araştırma, Blockchain gizliliğini ve verimliliğini artırarak Sıfır Bilgili Kısa ve Etkileşimli Olmayan Bilgi Argümanlarını (zk-SNARK'lar) geliştirmeyi amaçlamaktadır. "Biriktirme" teknikleri kullanılarak hesaplamalar küçük adımlara bölünür ve birleştirilir, böylece doğrulama basitleştirilir. Bu yöntem, Bullshark ve Narwhal gibi sistemlerde imza toplamayı iyileştirerek daha verimli doğrulama sunabilir. Proje, zk-SNARK'ların pratik uygulamalar için daha hızlı ve daha kolay üretilmesini sağlamayı amaçlıyor.

Biyometrik Giriş Yöntemleri ve Değiştirilebilir Giriş Sağlayıcıları ile Tamamen Merkezi Olmayan zkLogin

Jieliang Yin (Hong Kong Bilim ve Teknoloji Üniversitesi)

Mevcut blockchain sistemleri, kullanıcı kimliği kimlik doğrulamasında zorluklarla karşı karşıyadır; parolaları veya belirli cihazları yönetmek için büyük ölçüde kullanıcılara güvenir ve bu da zahmetli ve güvensiz olabilir. Önerilen bu araştırma, ses izi, parmak izi, yüz ve iris tanıma gibi biyometrik tanımlama yöntemlerini kullanan merkezi olmayan bir zkLogin çözümü sunarak bu konuyu ele almaktadır. Bu yaklaşım, kullanıcıların herhangi bir şeyi hatırlama veya taşıma ihtiyacını ortadan kaldırır ve farklı hizmet sağlayıcılar arasında geçiş yapmalarına olanak tanıyarak hem rahatlığı hem de güvenliği artırırken blockchain hesaplarına sürekli erişim sağlar.

MoveGen: Doğal Dil ve Güvenlik Spesifikasyonlarına Dayalı Güvenli Akıllı Sözleşmeler Oluşturma

Weidong Shi ve Rabimba Karanjai (Houston Üniversitesi)

Bu proje, görev oluşturucu LLM'yi iyileştirerek, Move kodu veri kümesini genişleterek ve hata düzeltme mekanizmalarını entegre ederek Move kodu oluşturmaya yönelik bir araç olan SolMover'ı geliştirmeyi amaçlamaktadır. Araştırma, kodun doğruluğunu ve kalitesini yinelemeli olarak iyileştirmek için derleyici geri bildirimlerini kullanarak, doğal dil spesifikasyonlarından Move kodunun doğrudan oluşturulmasını araştıracak. Ek olarak, oluşturulan Move sözleşmelerinin doğruluğunu ve güvenilirliğini sağlamak için gelişmiş güvenlik hizalama teknikleri, linter tabanlı yama uygulama ve otomatik birim testi oluşturma kullanılacak. 

Sıfır Bilgili Sanal Makinelerden Ölçeklenebilirlik

Sanjam Garg (Kaliforniya Üniversitesi, Berkeley)

zk-proofs, blockchain uygulamalarında güvenliği ve gizliliği sağlayan güçlü bir şifreleme aracıdır. zk-proof'lar, herhangi bir giriş verisini açığa vurmadan hesaplamaların doğru şekilde yürütüldüğünü onaylar; bu da onları doğrulanabilir veritabanları, özel oylama ve anonim kimlik bilgileri gibi uygulamalar için hayati önem taşır. Move sanal makinesi için zk kanıtlarının uygulanması, müşterilerin akıllı sözleşmeleri yerel olarak yürütmesine ve kanıt göndermesine olanak tanıyacak, madencilerin iş yükünü azaltacak ve hesaplama açısından yoğun sözleşmeleri destekleyecektir. Bu aynı zamanda Sui'de gizliliği koruyan uygulamaların etkinleştirilmesine de yardımcı olacaktır.

SuiGPT AutoTest: Büyük Dil Modelleriyle Kapsamlı Hareket Birimi Testleri Oluşturun

Ken Koedinger ve Eason Chen (Carnegie Mellon Üniversitesi)

Akıllı sözleşme bütünlüğünü korumak için test yapmak çok önemli olsa da birim testlerinin hazırlanması çok zaman alır. Bu araştırma, bu testlerin yazılmasına yardımcı olmak için Yüksek Lisans'ın kullanımını araştırmaktadır. Hızlı mühendislikle elde edilen ilk başarılar, Yüksek Lisans'ların etkili, derlenebilir test kodu oluşturabildiğini gösteriyor. Bu araştırma, Move geliştiricilerinin kolayca kapsamlı birim testleri oluşturmasına, verimliliği ve güvenilirliği artırmasına yardımcı olacak bir SDK ve bir Visual Studio Code uzantısı geliştirecektir.

Sui Akademik Araştırma Ödülleri programına teklif sunan herkese teşekkür ederiz. 

Programla ilgilenenlerin bir sonraki tur için tekliflerini 5 Temmuz 2024 tarihine kadar iletmelerini rica ederiz.