Sui fonds ir priecīgs paziņot Sui akadēmisko pētījumu balvu ceturtās grupas balvas ieguvējus. Šī programma finansē revolucionārus pētījumus, kas veicina Web3, īpaši koncentrējoties uz blokķēdes tehnoloģiju, viedo līgumu programmēšanu un produktiem, kas veidoti uz Sui.
Šajā grupā mēs pieņēmām 20 izcilus priekšlikumus no tādām prestižām universitātēm kā UC Berkeley, Yale, NYU, EPFL un Singapūras Nacionālās universitātes. Šie vadošie pētnieki virzīs inovācijas Sui ekosistēmā. Pateicoties izcilajai priekšlikumu kvalitātei, Sui fonds 2024. gadam apņēmās piešķirt papildu finansējumu 1 miljona ASV dolāru apmērā, lai atbalstītu turpmākus pētījumus, kas paātrina blokķēdes inovāciju un ieviešanu. Nākamais projektu konkurss beidzas 2024. gada 5. jūlijā.
ZKP paātrināšana ar kešatmiņu
Fans Džans (Jēlas universitāte)
Nulles zināšanu pierādījumi (zk-proofs) ir ļoti svarīgi blokķēdes mērogojamībai, privātumam un identitātei, piemēram, Sui zkLogin primitīvam. Tomēr zk-proofs ģenerēšana notiek lēni resursietilpīgu aprēķinu dēļ. Šis pētījums uzlabo zk drošu ģenerēšanu ar kešatmiņu, lai saglabātu atkārtotu aprēķinu starprezultātus, piemēram, daudzskalāru reizināšanu un ātras Furjē transformācijas. Šī pieeja izmanto lietotāju ievades modeļus, lai ievērojami paātrinātu zk drošu ģenerēšanu, uzlabojot efektivitāti reālās pasaules lietojumprogrammās.
AIChain: LLM, lai savienotu statisko analīzi un izplūšanu, lai nodrošinātu drošākus viedos līgumus
Vijay Ganesh (Gruzijas Tehnoloģiju institūts)
AIChain pievēršas viedās līgumu drošības problēmai, izmantojot AI statiskai analīzei un izplūdes funkcijai, lai novērstu manuālu darbu. AIChain ir lielas valodas modelis (LLM), ko izmanto, lai apstrādātu viedos līgumus, un statiskās analīzes atskaiti, lai ģenerētu kodu izplūdes nodrošināšanai, lai pārbaudītu iespējamās ievainojamības. Sākotnējās pārbaudes ar OpenAI GPT-3.5-Turbo ir uzrādījušas efektīvus rezultātus, un rīks tiek paplašināts, lai atklātu vairāk ievainojamību.
Mājas atslēgu glabāšana Web3 platformām
Tushar Jois (CUNY pētniecības fonds)
Web3 platformas piedāvā vēl nebijušu kontroli pār digitālajiem aktīviem, taču atslēgas glabāšana joprojām ir galvenais nesaskaņas punkts. Tradicionālie risinājumi, piemēram, aparatūras maki un trešās puses darījuma līgums, ir dārgi, atturot potenciālos lietotājus. Šajā pētījumā tiek pētīta esošo lietu interneta ierīču izmantošana viedās mājās atslēgu glabāšanai, tādējādi palielinot vairāku fiksēto ierīču kolektīvo drošību. Sistēma SocIoTy izmantos viedās mājas ierīces, lai veiktu kriptogrāfijas darbības un divu faktoru autentifikāciju, nodrošinot galveno materiālu drošību mājās. Šī pieeja nodrošina rentablu un drošu metodi Web3 atslēgu glabāšanai, uzlabojot lietotāju uzticēšanos un pieejamību.
Autobahn: kā padarīt daļēji sinhronos BFT protokolus stabilus līdz daļējai sinhronizācijai
Natacha Crooks (Kalifornijas Universitāte, Bērklija)
Tradicionālajiem Bizantijas defektu tolerantiem (BFT) protokoliem ir jāsabalansē zemais latentums un tīkla robustums, taču dažkārt tie svārstās tīkla traucējumu laikā, izraisot "asinhronas paģiras". Lai gan uz DAG balstīti BFT protokoli ir izturīgi, tiem bieži ir lielāks latentums. Šis pētījums izstrādās Autobahn, jaunu konsensa protokolu, kas apvieno uz DAG balstītu datu izplatīšanu ar tradicionālu daļēji sinhronu vienprātības mehānismu. Autobahn uztur zemu latentumu normālas darbības laikā un robustumu tīkla traucējumu laikā, atdalot vienprātību no datu izplatīšanas, nodrošinot efektīvu atkopšanu un augstu veiktspēju.
Automatizēta riska pārvaldība Sui DeFi ekosistēmai
Lukašs Špruhs un Deivids Siska (Edinburgas Universitāte)
Šī projekta mērķis ir izstrādāt automatizētas riska pārvaldības sistēmas, lai uzlabotu ekonomisko drošību Sui DeFi ekosistēmā, izmantojot kvantitatīvās finanses un uz aģentiem balstītas simulācijas. Pašreizējā DAO pārvaldība cīnās ar reāllaika riska pārvaldību, bieži paļaujoties uz ārpus ķēdes, centralizētiem trešo pušu ieteikumiem. Šis pētījums radīs pārbaudāmu, uz datiem balstītu reāllaika riska pārvaldības sistēmu, automatizējot protokola parametru iestatījumus un stresa testēšanu ar uz aģentiem balstītām simulācijām. Sākotnējā uzmanība tiks pievērsta decentralizētiem kreditēšanas protokoliem, kas nodrošina atvērtā pirmkoda rīkus, lai nodrošinātu pārredzamus, mērogojamus un atbildīgus riska novērtējumus.
Uzvedības abstrakcijas, lai atbalstītu gudrus līgumu auditorus
Diego Garbervetsky (Buenosairesas Universitāte)
Auditēšana ir darbietilpīgs uzdevums, kas bieži ir balstīts uz tādiem rīkiem kā līknes un fuzeri, kuriem trūkst konkrētam domēnam raksturīgu ieskatu. Šajā pētījumā tiks izveidoti rīki, izmantojot predikātu abstrakciju, lai izveidotu modeļus (automātus), kas palīdz auditoriem izpētīt un apstiprināt viedo līgumu uzvedību. Pakāpeniski izprotot līguma darbību, izmantojot piedāvātos predikātus, auditori var izmantot šos modeļus, lai efektīvāk identificētu funkcionālās un ieviešanas kļūdas. Mērķis ir automatizēt šo modeļu ģenerēšanu, uzlabojot audita efektivitāti un viedo līgumu vispārējo drošību.
Sui salīdzinošais novērtējums, izmantojot paralēlās izpildes perspektīvu
Ooi Benga Čina (Singapūras Nacionālā universitāte)
Šis projekts risina izpildes dzinēja vājo vietu mūsdienu blokķēdēs, pārsniedzot vienprātības algoritmu ierobežojumus. Izstrādājot Web3 vietējās darba slodzes paralēlai izpildei, komanda cenšas salīdzināt tādas populāras lietotnes kā DEXEs, NFT tirgus un spēles. Šis pētījums sniegs vērtīgu ieskatu moderno blokķēžu mērogojamībā un veiktspējā, uzlabojot paralēlās izpildes stratēģiju efektivitāti.
Ārpus telpas un laika: eksperimentālā ekonomika, izmantojot viedos līgumus
Yang You (Honkongas Universitāte), Lins Viljams Kongs (Kornela universitāte)
Tradicionālie sociālo zinātņu eksperimenti saskaras ar ierobežojumiem mākslīgās ārstēšanas un īsa ilguma dēļ laboratorijas apstākļos. Šis pētījums ievieš decentralizētu notikumu līgumu tirdzniecības platformu, ko nodrošina automatizēta tirgus veidošana, kurā dalībnieki tirgojas, pamatojoties uz reāliem notikumiem, nodrošinot ticamākus datus. Nepārtraukti iesaistot dalībniekus ar platformas marķieriem, kas konvertējami USDC, lai nodrošinātu pareizās prognozes, šī pieeja ļauj veikt ilgtermiņa cerību pētījumus, ko demonstrēja eksperiments par procentu likmju prognozēm, ko ietekmēja ASV Federālo rezervju sistēmas paziņojumi.
Blockchain adreses saindēšanās
Nikolass Kristins (Kārnegija Melona universitāte)
Šis pētījums risina jautājumu par blokķēdes adrešu saindēšanos, kad uzbrucēji izveido līdzīgas adreses, lai pievilinātu lietotājus nosūtīt līdzekļus nepareizam adresātam, ko parasti dēvē par adrešu saindēšanos. Blockchain darījumi ir neatgriezeniski, tādēļ šādi uzbrukumi ir īpaši kaitīgi. Šis projekts formalizēs draudu modeli, mērīs izplatību vairākās blokķēdes, raksturos uzbrucēju uzvedību un izstrādās mazināšanas pasākumus. Mērķis ir izveidot stingru ietvaru Web3 UI dizainam, kas uzlabo lietotāju drošību un pārliecību Sui un citās platformās.
Bezriska ienesīguma iegūšana no Sui: padziļināta riska ierobežošanas pieeja, izmantojot iespējas un nākotnes līgumus
Dimitrios Karyampas un Walid Sofiane (École Polytechnique Fédérale de Lausanne), Adam Bouabda (ETH Zurich)
Stabils, gandrīz bezriska ienesīgums ir ļoti svarīgs, lai investoru uzticētos ļoti nestabilajam kriptovalūtu tirgum. Šajā projektā tiek izmantotas novatoriskas riska ierobežošanas stratēģijas, kas iedvesmotas no sintētiskām stabilām monētām, lai uzlabotu pašreizējās metodes. Integrējot pastāvīgus līgumus ar progresīvām opciju stratēģijām, jo īpaši ar kases izplatību, un izmantojot pastiprināšanas mācības, projekta mērķis ir izstrādāt dinamisku tirdzniecības stratēģiju, kas pielāgojas tirgus apstākļiem, palielinot ienesīgumu, vienlaikus samazinot riskus.
Blockchain konsensa protokolu sastāva specifikācija un pārbaude
Džun Šao (Jēlas universitāte)
Bizantijas valsts mašīnu replikācijas (SMR) protokoli nodrošina lineāru, pret viltojumiem drošu vēsturi, liekot iesaistītajiem mezgliem vienoties par vienu vienprātību. Tomēr šo protokolu pareiza ieviešana, lai saglabātu gan drošību, gan dzīvīgumu, joprojām ir sarežģīts izaicinājums. Ieviešot vienprātības protokolu starpmodeli, kas ietver elektrokardiostimulatora komponentu, šis darbs atbalsta gan drošības, gan dzīvīguma pierādīšanu, pilnveidojot. Mērķis ir izstrādāt Linearizējamu Bizantijas izplatīto objektu (LiDO) modeli, lai vienkāršotu un uzlabotu konsensa protokolu pārbaudi, nodrošinot stabilu un uzticamu blokķēdes ieviešanu.
Vienlaicīga viedā līguma izpildes paradigma
Mohammads Sadogi (Kalifornijas Universitāte, Deivisa)
Pēdējo desmit gadu laikā ResilientDB ir bijis noturīgas un ilgtspējīgas datu platformas pionieris, kas apvieno drošu darījumu un reāllaika analītisko apstrādi. Kā Apache inkubatora projekts ResilientDB ir devis nozīmīgu ieguldījumu, tostarp izstrādājot ģeogrāfiskā mēroga konsensa protokolu (GeoBFT) un hibrīda sadalīšanas protokolus (Cerberus, RingBFT). Balstoties uz šo pamatu, komanda tagad cenšas izstrādāt augstas caurlaidības, zema latentuma vienlaicīguma kontroles protokolus, kas optimizēti vienlaicīgai viedo līgumu izpildei.
Efektīva pēckvantu daudzpartiju aprēķins, izmantojot vieglo kriptogrāfiju
Aniketa Keita (Purdī universitāte)
Multi-Party Computation (MPC) ļauj vairākām pusēm aprēķināt funkcijas, izmantojot privātu ievadi, vienlaikus saglabājot konfidencialitāti, kas ir būtiska Web3 lietojumprogrammām, piemēram, privātumu saglabājošai AI un veselības aprūpes analīzei. Šī pētījuma mērķis ir izstrādāt uz hash balstītus MPC protokolus, kas ir mērogojami un pēckvantu droši, pārvarot pašreizējo protokolu ierobežojumus, kas balstās uz skaitļošanas ziņā dārgām kriptogrāfijas darbībām. Provizoriskie rezultāti ar HashRand protokolu liecina par ievērojamiem veiktspējas uzlabojumiem, sasniedzot 11 000 bāksignālu minūtē ar 16 dalībniekiem, ievērojami pārspējot esošos risinājumus.
Šifrēšana ķēdē
Jevgeņijs Dodis (Ņujorkas Universitāte)
Blokķēdes, piemēram, Bitcoin un Ethereum, piedāvā pseidonimitāti, taču tām trūkst stingru privātuma garantiju, kas ļauj izsekot lietotāju darījumiem. Šī pētījuma mērķis ir risināt šo problēmu, izpētot “šifrēšanu ķēdē” privātai glabāšanai, nevis zk-proofs, lai nodrošinātu datu privātumu un pieejamību blokķēdēs. Pamatojoties uz pieredzi, kas gūta, izstrādājot drošus ziņojumapmaiņas protokolus, piemēram, Signal un Zoom, šī projekta mērķis ir izstrādāt stabilus privātuma risinājumus blokķēdes darījumiem.
Novērtējiet Sui izturību pret tīkla uzbrukumiem
Prateek Mittal (Prinsetonas universitāte)
Šis pētījums pēta Sui validatora tīkla noturību pret tīkla līmeņa maršrutēšanas uzbrukumiem, jo īpaši Border Gateway Protocol (BGP) nolaupīšanu un DDoS uzbrukumiem. Pētījumā tiks novērtēta validatora mezglu noturība pret šiem draudiem, un galvenais mērķis ir izstrādāt noturības “novērtējuma” funkciju, lai attiecīgi pielāgotu validācijas izmaksas un stimulētu drošu savienojumu, izmantojot nākamās paaudzes tīkla arhitektūru SCION. Šis pētījums būs līdz šim detalizētākā BGP nolaupīšanas noturības simulācija, iekļaujot reālās pasaules maršrutēšanas aspektus, lai nodrošinātu Sui robustumu un uzticamību.
Ātrāki zk-SNARK no Accumulation
Benedikts Bincs (Ņujorkas Universitāte)
Šī pētījuma mērķis ir uzlabot nulles zināšanu kodolīgus, neinteraktīvus zināšanu argumentus (zk-SNARK), uzlabojot blokķēdes privātumu un efektivitāti. Izmantojot “akumulācijas” metodes, aprēķini tiek sadalīti mazos posmos un apvienoti, vienkāršojot verifikāciju. Šī metode var uzlabot parakstu apkopošanu tādās sistēmās kā Bullshark un Narwhal, piedāvājot efektīvāku verifikāciju. Projekta mērķis ir padarīt zk-SNARK ātrākus un vieglāk ģenerējamus praktiskiem lietojumiem.
Pilnībā decentralizēta zkLogin ar biometriskām pieteikšanās metodēm un pārslēdzamiem pieteikšanās nodrošinātājiem
Jieliang Yin (Honkongas Zinātnes un tehnoloģiju universitāte)
Pašreizējās blokķēdes sistēmas saskaras ar izaicinājumiem lietotāju identitātes autentifikācijas jomā, jo tās lielā mērā paļaujas uz to, ka lietotāji pārvalda paroles vai konkrētas ierīces, kas var būt neērti un nedroši. Šis ierosinātais pētījums risina šo problēmu, ieviešot decentralizētu zkLogin risinājumu, kas izmanto biometriskās identifikācijas metodes, piemēram, balss nospiedumu, pirkstu nospiedumu, sejas un varavīksnenes atpazīšanu. Šī pieeja novērš nepieciešamību lietotājiem atcerēties vai nēsāt kaut ko līdzi un ļauj viņiem pārslēgties starp dažādiem pakalpojumu sniedzējiem, uzlabojot gan ērtības, gan drošību, vienlaikus nodrošinot nepārtrauktu piekļuvi saviem blokķēdes kontiem.
MoveGen: drošu viedo līgumu ģenerēšana, pamatojoties uz dabiskās valodas un drošības specifikācijām
Veidons Ši un Rabimba Karanjai (Hjūstonas Universitāte)
Šī projekta mērķis ir uzlabot SolMover — rīku Move koda ģenerēšanai, uzlabojot tā uzdevumu ģeneratoru LLM, paplašinot Move koda datu kopu un integrējot kļūdu labošanas mehānismus. Pētījumā tiks pētīta tiešā Move koda ģenerēšana no dabiskās valodas specifikācijām, izmantojot kompilatora atgriezenisko saiti, lai iteratīvi uzlabotu koda precizitāti un kvalitāti. Turklāt, lai nodrošinātu ģenerēto Move līgumu pareizību un uzticamību, tiks izmantotas uzlabotas drošības izlīdzināšanas metodes, uz līnijām balstīta ielāpēšana un automātiska vienību testa ģenerēšana.
Mērogojamība no nulles zināšanu virtuālajām mašīnām
Sanjam Garg (Kalifornijas Universitāte, Bērklija)
zk-proofs ir spēcīgs kriptogrāfijas rīks, kas nodrošina drošību un privātumu blokķēdes lietojumprogrammās. zk-proofs apliecina pareizu aprēķinu izpildi, neatklājot nekādus ievades datus, padarot tos par ļoti svarīgiem tādām lietojumprogrammām kā pārbaudāmas datu bāzes, privāta balsošana un anonīmi akreditācijas dati. zk-proofs ieviešana virtuālajai mašīnai Move ļautu klientiem lokāli izpildīt viedos līgumus un iesniegt pierādījumus, samazinot kalnraču darba slodzi un atbalstot skaitļošanas ietilpīgus līgumus. Tas arī palīdzētu iespējot Sui privātumu saglabājošas lietojumprogrammas.
SuiGPT automātiskais tests: ģenerējiet visaptverošus pārvietošanās vienību testus ar lielu valodu modeļiem
Kens Koedingers un Īsons Čens (Kārnegija Melona universitāte)
Lai gan testēšana ir ļoti svarīga viedā līguma integritātes uzturēšanai, vienību testu izstrāde ir ļoti laikietilpīga. Šajā pētījumā tiek pētīta LLM izmantošana, lai palīdzētu rakstīt šos testus. Sākotnējie panākumi ar tūlītēju inženieriju liecina, ka LLM var ģenerēt efektīvu, kompilējamu testa kodu. Šajā pētījumā tiks izstrādāts SDK un Visual Studio Code paplašinājums, lai palīdzētu Move izstrādātājiem viegli izveidot visaptverošus vienību testus, uzlabojot efektivitāti un uzticamību.
Mēs vēlamies pateikties visiem tiem, kas iesniedza priekšlikumus Sui Academic Research Awards programmai.
Programmas interesentus priekšlikumus nākamajai kārtai lūdzam iesniegt līdz 2024.gada 5.jūlijam.