Fundația Sui este încântată să anunțe premianții celei de-a patra cohorte a Premiilor de cercetare academică Sui. Acest program finanțează cercetări inovatoare care promovează Web3, concentrându-se în special pe tehnologia blockchain, programarea de contracte inteligente și produsele construite pe Sui.
În această cohortă, am acceptat 20 de propuneri excepționale de la universități prestigioase precum UC Berkeley, Yale, NYU, EPFL și Universitatea Națională din Singapore. Acești cercetători de frunte vor stimula inovația în ecosistemul Sui. Datorită calității remarcabile a propunerilor, Fundația Sui a angajat o finanțare suplimentară de 1 milion de dolari pentru 2024 pentru a sprijini cercetările viitoare care accelerează inovarea și adoptarea blockchain-ului. Următorul apel de propuneri se încheie pe 5 iulie 2024.
Accelerarea ZKP cu Caching
Fan Zhang (Universitatea Yale)
Dovezile cu cunoștințe zero (zk-proofs) sunt cruciale pentru scalabilitatea, confidențialitatea și identitatea blockchain, cum ar fi primitivul zkLogin al lui Sui. Cu toate acestea, generarea probelor zk este lentă din cauza calculelor care necesită resurse intensive. Această cercetare îmbunătățește generarea zk-proof cu memorarea în cache pentru a stoca rezultate intermediare ale calculelor repetitive, cum ar fi înmulțirile multi-scalare și transformările rapide Fourier. Această abordare folosește modele în intrările utilizatorilor pentru a accelera semnificativ generarea zk-proof, îmbunătățind eficiența în aplicațiile din lumea reală.
AIChain: Un LLM pentru a conecta analiza statică și fuzzing pentru contracte inteligente mai sigure
Vijay Ganesh (Institutul de Tehnologie din Georgia)
AIChain abordează provocarea securității contractelor inteligente prin utilizarea AI pentru analiza statică și fuzzing pentru a elimina munca manuală. AIChain este un model de limbaj mare (LLM) utilizat pentru a procesa contracte inteligente și un raport de analiză statică pentru a genera cod pentru fuzzing pentru a verifica potențialele vulnerabilități. Testele inițiale cu GPT-3.5-Turbo de la OpenAI au arătat rezultate eficiente, iar instrumentul este extins pentru a detecta mai multe vulnerabilități.
Custodia cheii la domiciliu pentru platformele Web3
Tushar Jois (Fundația de Cercetare a CUNY)
Platformele Web3 oferă un control fără precedent asupra activelor digitale, dar custodia cheie rămâne un punct major de fricțiune. Soluțiile tradiționale, cum ar fi portofelele hardware și escrow de la terți sunt costisitoare, descurajând potențialii utilizatori. Această cercetare explorează utilizarea dispozitivelor existente cu internetul obiectelor în casele inteligente pentru păstrarea cheilor, valorificând securitatea colectivă a mai multor dispozitive fixe pe loc. Sistemul, SocIoTy, va folosi dispozitive inteligente de acasă pentru a efectua operațiuni criptografice și autentificare cu doi factori, asigurându-se că materialul cheie rămâne în siguranță în casă. Această abordare oferă o metodă sigură și rentabilă pentru păstrarea cheilor Web3, sporind încrederea utilizatorilor și accesibilitatea.
Autobahn: Cum să faci protocoale BFT parțial sincrone robuste până la sincrone parțială
Natacha Crooks (Universitatea din California, Berkeley)
Protocoalele tradiționale de toleranță la erori bizantine (BFT) trebuie să echilibreze latența scăzută și robustețea rețelei, dar uneori se clătesc în timpul defecțiunilor rețelei, ceea ce duce la „mahmureală asincronă”. Protocoalele BFT bazate pe DAG, deși robuste, experimentează adesea o latență mai mare. Această cercetare va dezvolta Autobahn, un nou protocol de consens care combină diseminarea datelor bazată pe DAG cu un mecanism tradițional de consens parțial sincron. Autobahn menține o latență scăzută în timpul funcționării normale și robustețea în timpul blocajelor rețelei prin decuplarea consensului de diseminarea datelor, asigurând o recuperare eficientă și o performanță ridicată.
Management automat al riscurilor pentru ecosistemul Sui DeFi
Lukasz Szpruch și David Siska (Universitatea din Edinburgh)
Acest proiect își propune să dezvolte sisteme automate de gestionare a riscurilor pentru a spori securitatea economică în ecosistemul DeFi al lui Sui, folosind finanțare cantitativă și simulări bazate pe agenți. Guvernanța actuală a DAO se luptă cu gestionarea riscurilor în timp real, bazându-se adesea pe recomandări centralizate ale unor terțe părți offchain. Această cercetare va crea un cadru verificabil, în timp real, bazat pe date de gestionare a riscurilor, automatizarea setărilor parametrilor protocolului și testarea stresului cu simulări bazate pe agenți. Accentul inițial se va pune pe protocoalele de creditare descentralizate care oferă instrumente open-source pentru a permite evaluări transparente, scalabile și responsabile de riscuri.
Abstracții comportamentale pentru a sprijini auditorii Smart Contract
Diego Garbervetsky (Universitatea din Buenos Aires)
Auditul este o sarcină intensivă în oameni, care se bazează adesea pe instrumente precum linters și fuzzers, cărora le lipsesc informații specifice domeniului. Această cercetare va construi instrumente folosind abstractizarea predicaților pentru a construi modele (automate) care îi ajută pe auditori să exploreze și să valideze comportamentul contractului inteligent. Înțelegând treptat comportamentul contractului prin predicate propuse, auditorii pot folosi aceste modele pentru a identifica mai eficient erorile funcționale și de implementare. Scopul este de a automatiza generarea acestor modele, îmbunătățind eficiența auditului și securitatea generală a contractelor inteligente.
Benchmarking Sui prin perspectiva execuției paralele
Ooi Beng Chin (Universitatea Națională din Singapore)
Acest proiect abordează blocajul motorului de execuție din blockchain-urile moderne, trecând dincolo de limitările algoritmilor de consens. Prin proiectarea sarcinilor de lucru native Web3 pentru execuție paralelă, echipa își propune să analizeze aplicații populare precum DEX-uri, piețe NFT și jocuri. Această cercetare va oferi informații valoroase asupra scalabilității și performanței blockchain-urilor moderne, sporind eficiența strategiilor de execuție paralelă.
Dincolo de spațiu și timp: economie experimentală prin contracte inteligente
Yang You (Universitatea din Hong Kong), Lin William Cong (Universitatea Cornell)
Experimentele tradiționale din științe sociale se confruntă cu limitări din cauza tratamentelor artificiale și a duratelor scurte în mediile de laborator. Această cercetare introduce o platformă descentralizată de tranzacționare cu contracte de evenimente, alimentată de crearea de piață automată, în care participanții tranzacționează pe baza evenimentelor din lumea reală, oferind date mai fiabile. Prin implicarea continuă a participanților cu jetoane de platformă convertibile în USDC pentru predicții corecte, această abordare permite studii pe termen lung ale așteptărilor, demonstrate printr-un experiment privind așteptările ratei dobânzii influențate de anunțurile Rezervei Federale din SUA.
Otrăvirea adresei Blockchain
Nicolas Christin (Universitatea Carnegie Mellon)
Această cercetare abordează problema otrăvirii adreselor blockchain, în care atacatorii creează adrese „asemănătoare” pentru a păcăli utilizatorii să trimită fonduri către destinatarul greșit, denumit în mod obișnuit otrăvirea adresei. Tranzacțiile blockchain sunt ireversibile, ceea ce face ca astfel de atacuri să fie deosebit de dăunătoare. Acest proiect va oficializa modelul de amenințare, va măsura prevalența în mai multe blockchain-uri, va caracteriza comportamentul atacatorului și va dezvolta măsuri de atenuare. Scopul este de a crea un cadru riguros pentru designul UI Web3, care sporește siguranța și încrederea utilizatorilor pe Sui și alte platforme.
Prinderea randamentului fără riscuri pe Sui: O abordare de acoperire profundă folosind opțiuni și futures
Dimitrios Karyampas și Walid Sofiane (École Polytechnique Fédérale de Lausanne), Adam Bouabda (ETH Zurich)
Randamentele stabile, aproape fără risc, sunt esențiale pentru încrederea investitorilor pe piața extrem de volatilă a criptomonedelor. Acest proiect folosește strategii de acoperire inovatoare inspirate de monede stabile sintetice pentru a îmbunătăți metodele actuale. Prin integrarea contractelor perpetue cu strategii de opțiuni avansate, în special cu spread-uri, și prin utilizarea învățării prin consolidare, proiectul își propune să dezvolte o strategie de tranzacționare dinamică care se adaptează la condițiile pieței, maximizând randamentele și minimizând riscurile.
Specificația compozițională și verificarea protocoalelor de consens Blockchain
Zhong Shao (Universitatea Yale)
Protocoalele de replicare a mașinilor de stat bizantine (SMR) asigură o istorie liniară, inviolabilă, făcând ca nodurile participante să cadă de acord asupra unui singur consens. Cu toate acestea, implementarea corectă a acestor protocoale pentru a menține atât siguranța, cât și viața rămâne o provocare complexă. Prin introducerea unui model intermediar de protocoale de consens care include componenta stimulatoare cardiace, această lucrare sprijină demonstrarea atât a siguranței, cât și a vieții prin rafinament. Scopul este de a dezvolta un model Linearizable Byzantine Distributed Objects (LiDO) pentru a simplifica și îmbunătăți verificarea protocoalelor de consens, asigurând implementări blockchain robuste și fiabile.
Paradigma de execuție a contractelor inteligente concomitente
Mohammad Sadoghi (Universitatea din California, Davis)
În ultimul deceniu, ResilientDB a fost pionierul unei platforme de date rezistente și durabile care unifică procesarea tranzacțională sigură și analitică în timp real. Ca proiect Apache Incubator, ResilientDB a adus contribuții semnificative, inclusiv dezvoltarea unui protocol de consens la scară geografică (GeoBFT) și protocoale hibride de fragmentare (Cerberus, RingBFT). Bazându-se pe această bază, echipa își propune acum să dezvolte protocoale de control al concurenței cu un randament ridicat și cu latență scăzută, optimizate pentru execuția concomitentă a contractelor inteligente.
Calcul eficient post-cuantic cu mai multe părți folosind criptografie ușoară
Aniket Kate (Universitatea Purdue)
Multi-Party Computation (MPC) permite mai multor părți să calculeze funcții pe intrări private, menținând în același timp confidențialitatea, esențială pentru aplicațiile Web3, cum ar fi inteligența artificială care păstrează confidențialitatea și analiza medicală. Această cercetare își propune să dezvolte protocoale MPC bazate pe hash, care sunt scalabile și securizate post-cuantice, depășind limitările protocoalelor actuale care se bazează pe operațiuni criptografice costisitoare din punct de vedere computațional. Rezultatele preliminare cu protocolul HashRand arată îmbunătățiri semnificative ale performanței, realizând 11.000 de semnalizatoare pe minut cu 16 participanți, depășind cu mult soluțiile existente.
Criptare pe lanț
Yevgeny Dodis (Universitatea din New York)
Blockchain-urile precum Bitcoin și Ethereum oferă pseudonim, dar nu au garanții puternice de confidențialitate în mod nativ, permițând urmărirea tranzacțiilor utilizatorilor. Această cercetare își propune să abordeze acest lucru prin explorarea „criptării în lanț” pentru stocarea privată, spre deosebire de zk-proofs, pentru a asigura confidențialitatea datelor și disponibilitatea pe blockchains. Bazându-se pe experiența din dezvoltarea protocoalelor de mesagerie securizate precum Signal și Zoom, acest proiect urmărește să dezvolte soluții robuste de confidențialitate pentru tranzacțiile blockchain.
Evaluarea rezistenței lui Sui la atacurile de rețea
Prateek Mittal (Universitatea Princeton)
Această cercetare investighează rezistența rețelei de validare Sui la atacurile de rutare la nivel de rețea, în special deturnările Border Gateway Protocol (BGP) și atacurile DDoS. Studiul va evalua rezistența nodurilor validatoare la aceste amenințări, cu scopul final de a dezvolta o funcție de „scor” de rezistență pentru a ajusta plățile de validare în consecință și pentru a stimula conectivitatea sigură prin arhitectura de rețea de generație următoare SCION. Această cercetare va fi cea mai detaliată simulare a rezistenței la deturnare BGP până în prezent, încorporând aspecte de rutare din lumea reală pentru a asigura robustețea și fiabilitatea Sui.
zk-SNARK-uri mai rapide de la acumulare
Benedikt Bünz (Universitatea din New York)
Această cercetare își propune să îmbunătățească Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs), îmbunătățind confidențialitatea și eficiența blockchain-ului. Prin utilizarea tehnicilor de „acumulare”, calculele sunt împărțite în pași mici și combinate, simplificând verificarea. Această metodă poate îmbunătăți agregarea semnăturilor în sisteme precum Bullshark și Narwhal, oferind o verificare mai eficientă. Proiectul urmărește să facă zk-SNARK-urile mai rapide și mai ușor de generat pentru aplicații practice.
zkLogin complet descentralizat cu metode biometrice de conectare și furnizori de conectare comutabili
Jieliang Yin (Universitatea de Știință și Tehnologie din Hong Kong)
Sistemele blockchain actuale se confruntă cu provocări în autentificarea identității utilizatorilor, bazându-se în mare măsură pe utilizatori pentru a gestiona parolele sau dispozitivele specifice, ceea ce poate fi incomod și nesigur. Această cercetare propusă abordează această problemă prin introducerea unei soluții descentralizate zkLogin care utilizează metode de identificare biometrică, cum ar fi recunoașterea amprentei vocale, a amprentei digitale, a feței și a irisului. Această abordare elimină nevoia utilizatorilor de a-și aminti sau de a transporta orice și le permite să comute între diferiți furnizori de servicii, sporind atât confortul, cât și securitatea, asigurând în același timp accesul continuu la conturile lor blockchain.
MoveGen: generarea de contracte inteligente securizate pe baza limbajului natural și a specificațiilor de securitate
Weidong Shi și Rabimba Karanjai (Universitatea din Houston)
Acest proiect își propune să îmbunătățească SolMover, un instrument pentru generarea de cod Move, prin îmbunătățirea generatorului de sarcini LLM, extinderea setului de date Move code și integrarea mecanismelor de corectare a erorilor. Cercetarea va explora generarea directă a codului Move din specificațiile limbajului natural, folosind feedback-ul compilatorului pentru a îmbunătăți în mod iterativ acuratețea și calitatea codului. În plus, tehnici avansate de aliniere de siguranță, corecție bazată pe linter și generarea automată a testelor unitare vor fi folosite pentru a asigura corectitudinea și fiabilitatea contractelor Move generate.
Scalabilitate de la mașini virtuale cu cunoștințe zero
Sanjam Garg (Universitatea din California, Berkeley)
zk-proofs sunt un instrument criptografic puternic care asigură securitatea și confidențialitatea în aplicațiile blockchain. zk-proofs certifică executarea corectă a calculelor fără a dezvălui date de intrare, făcându-le cruciale pentru aplicații precum baze de date verificabile, vot privat și acreditări anonime. Implementarea zk-proofs pentru mașina virtuală Move le-ar permite clienților să execute contracte inteligente la nivel local și să trimită dovezi, reducând volumul de lucru al minerilor și susținând contracte cu o intensitate de calcul. Acest lucru ar ajuta și la activarea aplicațiilor care păstrează confidențialitatea pe Sui.
SuiGPT AutoTest: generați teste cuprinzătoare de unitate de mutare cu modele de limbă mari
Ken Koedinger și Eason Chen (Universitatea Carnegie Mellon)
În timp ce testarea este crucială pentru menținerea integrității contractului inteligent, elaborarea testelor unitare necesită foarte mult timp. Această cercetare explorează utilizarea LLM-urilor pentru a ajuta la scrierea acestor teste. Succesele inițiale cu inginerie promptă arată că LLM-urile pot genera cod de testare eficient și compilabil. Această cercetare va dezvolta un SDK și o extensie Visual Studio Code pentru a ajuta dezvoltatorii Move să creeze cu ușurință teste unitare complete, sporind eficiența și fiabilitatea.
Dorim să mulțumim tuturor celor care au depus propuneri pentru programul Sui Academic Research Awards.
Pentru cei care sunt interesați de program, vă rugăm să vă trimiteți propunerile pentru următoarea rundă până pe 5 iulie 2024.