Razglasitev zmagovalcev štipendijskega programa DFINITY za leto 2018

Februarja je DFINITY objavil svoj prvi štipendijski program DFINITY. Program štipendiranja je bil namenjen študentom, ki so dokazali svojo tezo in / ali predlog, ki je povezan z verigo blokov in bi ga lahko uporabili za napredovanje osnovne tehnologije DFINITY. DFINITY je namerno razširil obseg prijavnega postopka, da bi vključil področja, kot so uporabna in teoretska kriptografija, ekonomija in računalništvo, da bi zajela različna raziskovalna področja, vključno z varnim računanjem, spletnimi omrežji in mehanizmi soglasja.

Danes je DFINITY z navdušenjem sporočil, da smo štipendijo DFINITY za leto 2018 podelili trem posameznikom in eni ekipi študentov! Prejeli smo več prijav, kot je bilo sprva pričakovano, in celo razširili ponudbo pripravništva enemu od prejemnikov štipendije, da se nam za poletje pridruži v naši pisarni Palo Alto! Vsak prejemnik štipendije bo prejel 10.000 ameriških dolarjev ter dragocene nasvete in mentorstvo od ekipe DFINITY.

Več o štipendistih in njihovih predlogih preberite spodaj:

Easwar Vivek Mangipudi

Easwar Vivek Mangipudi je doktor znanosti. študentka na oddelku za računalništvo na Univerzi Purdue, ki jo je svetovala Aniket Kate. Sodeluje pri večstranskih računskih protokolih in njihovih aplikacijah v Blockchains. Splošno ga zanima varnost in uporabna kriptografija. Preden se je udeležil univerze Purdue, je magistriral na IIT Madrasu, kjer je delal na dodeljevanju virov v brezžičnem omrežju, po katerem je delal na brezžičnih senzorskih omrežjih na Indijskem inštitutu za znanost v Bangaloreju v Indiji.

Predlog: Distribuirana generacija ključev (DKG) je večstranski računalniški protokol za distribucijo delnic tajnega ključa med naborom uporabnikov, ki ustreza javnemu ključu, ki ga lahko izračunajo vsi uporabniki. Vsaka podmnožica uporabnikov, katerih velikost je večja ali enaka velikosti t (imenovani prag), se lahko zbere in izračuna skrivni ključ. Obstoječi protokoli DKG so interaktivni ali pa ne obsegajo večjega števila uporabnikov. Predlagamo, da sestavite ne-interaktivni protokol DKG, ki bo obsegal več sto uporabnikov. Neinraktivnost je ključnega pomena pri nastavitvi blockchaina, saj lahko uporabniki kadar koli stopijo brez povezave. Za dosego neaktivnosti prodajalci delnic izračunajo in objavijo dokazilo o pravilnosti ustvarjanja delnic skupaj z delnicami na blockchainu, ki se uporablja kot javna oglasna deska.

Saleet Mossel

Saleet Mossel je študentka doktorskega študija računalništva na MIT, ki jo je svetoval Shafi Goldwasser. Pred prihodom na MIT je na Univerzi v Tel-Avivu končala obe diplomi za magisterij in doktorat. Zasedla je prejšnja delovna mesta v varnostnem oddelku za EMC RSA kot Java SW in SW in Risk Model QA Engineer.

Predlog: Cilj predlaganih raziskav je oblikovanje mehanizma blockchain, s katerim je mogoče javno preveriti, ali je vnos res naključen in z njim ni mogoče manipulirati. Cilj je oblikovati sublinearni MPC protokol za približevanje funkcije f, v okolju, kjer je število strank lahko zelo veliko in veliko igralcev lahko spi.

Goran Zužič

Goran Zužič je tretji letnik doktor znanosti. študent na Fakulteti za računalništvo Carnegie Mellon, ki ga je svetoval prof. Bernhard Haeupler. Zanimajo ga osnove porazdeljenega računalništva. Zlasti dela na oblikovanju učinkovitih porazdeljenih protokolov, ki se prilagajajo osnovnemu omrežju in imajo dokazljiva jamstva za delovanje. Druga njegova raziskovalna področja vključujejo stohastično optimizacijo in teorijo spektralnih grafov.

Predlog: Goran predlaga razvoj algoritmičnega orodja za oblikovanje porazdeljenih algoritmov, ki najverjetneje presega najsodobnejše porazdeljene algoritme, kadar topologija omrežja ni izdelana v nasprotju in se drugače ujema z njimi. Njegovo glavno orodje je nedavno razvit okvir bližnjic z nizko zastojem, ki izkorišča specifično strukturo osnovnega omrežja. Predlaga nove tehnike (npr. Nenehno optimizacijo), nove topologije (npr. Manjši grafov prostega in geometrijskega preseka), nove težave (npr. Najkrajša pot, največji pretok, uvrstitev strani) in nove porazdeljene modele (npr. Radijska omrežja in tračevje ).

Laboratoriji za mehanizme

Mechanism Labs je odprtokodni niz eksperimentov, osredotočen na spodbujanje raziskav v prostoru blockchain s povečano dostopnostjo. Ti poskusi segajo od dokumentov SoK, do izvajanja kriptografskih primitivov, odpravljanja odprtih težav, ponovnega razmišljanja o spodbudah v postopkih strokovnega pregleda + revija v živo in pregleda gospodarskih spodbud za način, kako trenutno uporabljamo patente. Dolgoročno si Mehanizem labs prizadeva za kataliziranje učinkovitih odprtokodnih raziskav, ki vodijo do oprijemljive proizvodnje in optimizacije na vseh ravneh blokovskih verig.

Predlog: Njihov namen je analizirati varnost protokolov Doof of Stake (PoS) in oblikovati spodbudno metodo, ki je varna tako v okviru nasprotnih kot tudi racionalnih predpostavk. V procesu analize želi skupina raziskati te sisteme s kriptografskega, omrežnega in ekonomskega vidika. Videli bodo, v kakšnih nasprotniških okoljih ta dela določajo in dopuščajo, različna dela pa bodo opredelili kot toleriranje različnih sporočil in zamudo pri računanju, zaradi česar so nekatera dela tolerantna proti "asinhronosti", "sinhronosti" in "delni / pol-sinhronosti", in ocenili bomo, ali so njihove spodbujevalne strukture nas ali epsilon nash ravnotežja ali ne.

Medtem ko je februarska objava štipendij prvotno odprla izbirni postopek doktorskim študentom, je bila izbirna komisija tako navdušena nad ekipo dodiplomskih študentov v Berkeleyju, da smo se odločili, da ustvarimo dodatno štipendijo. Dejansko so bili vsi predlogi ovrednoteni na podlagi njihove verodostojnosti in pomena za porazdeljeno računalniško skupnost in Mehanizem laboratorij, skupaj z Easwar Vivekom Mangipudijem, Saleetom Mosselom in Goranom Žužičem so pokazali impresivno uporabo svojih raziskovalnih področij za zagotovitev porazdeljenega sistema.

Kot takšni smo z veseljem razglasili, da bo štipendijski program DFINITY 2019 odprt tako za doktorate kot za dodiplomske študente! Spremljajte več podrobnosti o tej pobudi.

Do takrat, če želite razpravljati o programu štipendiranja, obiščite uradni DFINITY raketni klepet in se pridružite pogovoru. Želite izvedeti več o tem, kako je pripravništvo na DFINITY? Oglejte si spodnji videoposnetek o notranjosti DFINITY z Easwar Vivek Mangipudi.