Sui基金會(huì)高興地宣布首輪Sui學(xué)術(shù)研究獎(jiǎng)(SARAs)的獲獎(jiǎng)?wù)摺ARAs計(jì)劃提供資助,支持推動(dòng)Sui區(qū)塊鏈技術(shù)的研究。學(xué)術(shù)和研究界對(duì)我們的初次征集呈現(xiàn)出大量高質(zhì)量的提案。
已接受的九個(gè)提案涵蓋了各種主題,如token經(jīng)濟(jì)學(xué)、智能合約機(jī)制以及混合區(qū)塊鏈游戲。頒發(fā)的資助總額為225,000美元,分布在美國、加拿大、英國、希臘和丹麥的研究人員之間。
已接受提案概述:
項(xiàng)目:混合區(qū)塊鏈游戲
研究團(tuán)隊(duì):Ari Juels
機(jī)構(gòu):康奈爾科技大學(xué)
提案概述:區(qū)塊鏈技術(shù)建立在透明性和可驗(yàn)證系統(tǒng)的基礎(chǔ)上。然而,當(dāng)前的區(qū)塊鏈游戲依賴于不透明的中心化系統(tǒng)來促進(jìn)面向行動(dòng)的游戲引擎。這項(xiàng)研究探討了如何將區(qū)塊鏈技術(shù)的信任特性進(jìn)一步擴(kuò)展到橋接鏈上和鏈下系統(tǒng)的游戲。
項(xiàng)目:Solidity Mover:從Solidity到Sui智能合約轉(zhuǎn)譯
研究團(tuán)隊(duì):Rabimba Karanjai和Weidong(Larry)Shi
機(jī)構(gòu):休斯敦大學(xué)
提案概述:這項(xiàng)研究的目標(biāo)是開發(fā)人工智能,自動(dòng)將智能合約在不同編程語言之間進(jìn)行翻譯。結(jié)果將是一個(gè)大型語言模型(LLM)框架和工具,將現(xiàn)有的Solidity合約翻譯成基于Sui的Move合約。該項(xiàng)目將探討在沒有經(jīng)過人類開發(fā)者的事先培訓(xùn)的情況下,可靠和正確的程序轉(zhuǎn)譯問題,這兩種低資源語言之間的轉(zhuǎn)譯問題。
項(xiàng)目:SUI波動(dòng)率建模
研究團(tuán)隊(duì):George Giannopoulos
機(jī)構(gòu):金斯頓大學(xué)會(huì)計(jì)、金融和信息學(xué)系,金斯頓商學(xué)院
提案概述:該項(xiàng)目將調(diào)查預(yù)測(cè)SUI波動(dòng)率的模型的可行性。利用最新的計(jì)量經(jīng)濟(jì)學(xué)進(jìn)展,研究將嘗試像其他主流資產(chǎn)一樣準(zhǔn)確地預(yù)測(cè)SUI的波動(dòng)率。
項(xiàng)目:Cryptokurtosis
研究團(tuán)隊(duì):George Filis
機(jī)構(gòu):帕特拉大學(xué)經(jīng)濟(jì)學(xué)系
提案概述:這項(xiàng)研究將評(píng)估機(jī)構(gòu)投資者當(dāng)前用于計(jì)算其最低資本要求的日常風(fēng)險(xiǎn)指標(biāo)是否足以提供對(duì)金融風(fēng)險(xiǎn)的充分保護(hù)。具體而言,該項(xiàng)目考慮高交易頻率是否導(dǎo)致潛在損失更高。
項(xiàng)目:智能合約的差分隱私機(jī)制
研究團(tuán)隊(duì):James Hsin-yu Chiang
機(jī)構(gòu):奧胡斯大學(xué)計(jì)算機(jī)科學(xué)研究所密碼學(xué)與安全部
提案概述:這項(xiàng)研究探討了使用差分隱私(DP)來保護(hù)與保護(hù)隱私的智能合約進(jìn)行交互的個(gè)人。該項(xiàng)目強(qiáng)調(diào)了適用于智能合約和區(qū)塊鏈技術(shù)的普遍機(jī)制的必要性。
項(xiàng)目:通過增加區(qū)塊鏈中的地理空間多樣性來增強(qiáng)真正的去中心化
研究團(tuán)隊(duì):Hans-Arno Jacobsen
機(jī)構(gòu):多倫多大學(xué)中間件系統(tǒng)研究小組(MSRG)
提案概述:這個(gè)提案解決了通過增加驗(yàn)證者之間的地理空間多樣性來增強(qiáng)去中心化的挑戰(zhàn)。驗(yàn)證者之間的地理空間多樣性增強(qiáng)了區(qū)塊鏈的穩(wěn)健性和公平性,例如提供了對(duì)區(qū)域?yàn)?zāi)害的恢復(fù)力。
項(xiàng)目:保障Move的基礎(chǔ)
研究團(tuán)隊(duì):Meng Xu
機(jī)構(gòu):滑鐵盧大學(xué)
提案概述:該項(xiàng)目保障Move編程語言的基礎(chǔ),包括其概念語義和工具鏈實(shí)現(xiàn)。
項(xiàng)目:Spec2:通過符號(hào)匯總進(jìn)行互動(dòng)的雙層規(guī)范推斷
研究團(tuán)隊(duì):Taesoo Kim
機(jī)構(gòu):喬治亞理工學(xué)院系統(tǒng)軟件與安全實(shí)驗(yàn)室
提案概述:這個(gè)項(xiàng)目構(gòu)建了一個(gè)綜合的規(guī)范推斷框架Spec2,自動(dòng)推導(dǎo)一組高質(zhì)量的規(guī)范,類似于專家可能手動(dòng)開發(fā)的規(guī)范。盡管規(guī)范推斷的一般概念并不新鮮,但在智能合約領(lǐng)域卻沒有實(shí)際工具,這是Spec2填補(bǔ)的空白。
項(xiàng)目:基于AMM的點(diǎn)對(duì)點(diǎn)能源交易的去中心化交易市場(chǎng)
研究團(tuán)隊(duì):Petr Musilek
機(jī)構(gòu):阿爾伯塔大學(xué)工程學(xué)院電氣與計(jì)算機(jī)工程系
提案概述:這項(xiàng)研究提出了一種在Sui區(qū)塊鏈上進(jìn)行點(diǎn)對(duì)點(diǎn)能源交易的創(chuàng)新去中心化系統(tǒng),使用了自動(dòng)化市場(chǎng)制造商機(jī)制和零知識(shí)證明技術(shù)。
我們要感謝所有提交Sui學(xué)術(shù)研究獎(jiǎng)提案的人。Sui代表了一代新的區(qū)塊鏈技術(shù),是探索其潛力的絕佳機(jī)會(huì)。
對(duì)于那些對(duì)該計(jì)劃感興趣的人,請(qǐng)?jiān)?024年1月4日前提交下一輪的提案。
關(guān)于 Sui Network
Sui是基于第一原理重新設(shè)計(jì)和構(gòu)建而成的L1公有鏈,旨在為創(chuàng)作者和開發(fā)者提供能夠承載Web3中下一個(gè)十億用戶的開發(fā)平臺(tái)。Sui上的應(yīng)用基于Move智能合約語言,并具有水平可擴(kuò)展性,讓開發(fā)者能夠快速且低成本支持廣泛的應(yīng)用開發(fā)。獲取更多信息:https://linktr.ee/sui_apac文章來源:http://www.zghlxwxcb.cn/news/detail-763637.html
官網(wǎng)|英文Twitter|中文Twitter|Discord|英文電報(bào)群|中文電報(bào)群文章來源地址http://www.zghlxwxcb.cn/news/detail-763637.html
到了這里,關(guān)于Sui學(xué)術(shù)研究獎(jiǎng)公布,資助研究者探索人工智能、能源市場(chǎng)和區(qū)塊鏈游戲的文章就介紹完了。如果您還想了解更多內(nèi)容,請(qǐng)?jiān)谟疑辖撬阉鱐OY模板網(wǎng)以前的文章或繼續(xù)瀏覽下面的相關(guān)文章,希望大家以后多多支持TOY模板網(wǎng)!