DFINITY 2018. aasta stipendiumiprogrammi võitjate väljakuulutamine

Veebruaris kuulutas DFINITY välja oma esimese DFINITY stipendiumiprogrammi. Stipendiumiprogramm oli suunatud üliõpilastele, kes näitasid, et nende lõputöö ja / või ettepanek olid seotud ahelaga ning mida oli võimalik kasutada DFINITY põhitehnoloogia edendamiseks. DFINITY laiendas taotlusprotsessi ulatust tahtlikult, et hõlmata selliseid valdkondi nagu rakenduslik ja teoreetiline krüptograafia, ökonoomika ja arvutiteadus, hõlmamaks paljusid uurimisvaldkondi, sealhulgas turvaline arvutamine, kuulujuttude võrgud ja konsensuse mehhanismid.

Täna teatab DFINITY põnevusega, et oleme 2018. aasta DFINITY stipendiumi välja andnud kolmele isikule ja ühele üliõpilaste meeskonnale! Saime rohkem taotlusi, kui algselt arvati, ja laiendasime isegi ühele stipendiumi saajale praktikapakkumist, et ühineda meiega suvel meie Palo Alto kontoris! Iga stipendiumi saaja saab DFINITY meeskonnalt 10 000 dollarit ning väärtuslikku nõu ja juhendamist.

Lisateavet stipendiumide võitjate ja nende ettepanekute kohta leiate allpool:

Easwar Vivek Mangipudi

Easwar Vivek Mangipudi on doktorikraad. Puriketti ülikooli arvutiteaduse osakonna üliõpilane, nõustajaks Aniket Kate. Ta töötab mitme partei arvutiprotokollide ja nende rakenduste kallal Blockchainides. Teda huvitab üldiselt turvalisus ja krüptograafia. Enne Purdue ülikoolis õppimist omandas ta magistrikraadi IIT Madrases, kus ta töötas ressursside eraldamisel traadita võrgus, mille järel töötas traadita andurite võrkudes India teaduse instituudis Bangalores, Indias.

Ettepanek: hajutatud võtme genereerimine (DKG) on mitme osapoole arvutusprotokoll salajase võtme osade levitamiseks kasutajate hulga vahel, mis vastavad avalikule võtmele, mida saavad arvutada kõik kasutajad. Iga kasutajate alamhulk, mille suurus on suurem või võrdne suurusega t (nimetatakse läveks), saavad kokku tulla ja salajase võtme arvutada. Olemasolevad DKG-protokollid on kas interaktiivsed või ei mahu suurele hulgale kasutajatele. Teeme ettepaneku ehitada mitte-interaktiivne DKG-protokoll, mis sobib sadadele kasutajatele. Mitte-interaktiivsus on plokiahela sätte võti, kuna kasutajad saavad igal ajal võrguühenduseta minna. Mitte-interaktiivsuse saavutamiseks arvutavad ja avaldavad aktsiate vahendajad aktsiate genereerimise õigsuse tõendi koos aktsiatega plokkketil, mida kasutatakse avaliku teadetetahvlina.

Saleet Mossel

Saleet Mossel on teise kursuse infotehnoloogia doktorant MIT-is, nõustas Shafi Goldwasser. Enne MIT-sse tulekut on ta lõpetanud nii MSc kui ka bakalaureusekraadi Tel-Avivi ülikoolis. Ta on töötanud varem EMC RSA turbeosakonnas Java SW ja SW ning riskimudelite kvaliteedi tagamise insenerina.

Ettepanek: kavandatud uurimistöö eesmärk on kujundada plokiahela mehhanism, mille abil on võimalik avalikult kontrollida, kas sisend on tõepoolest juhuslik ja kas seda ei ole manipuleeritud. Eesmärk on kavandada funktsiooni f lähendamiseks sublineaarne MPC-protokoll olukorras, kus osapoolte arv võib olla väga suur ja paljud mängijad võivad magada.

Goran Zuzic

Goran Zuzic on kolmanda aasta doktorikraad. Carnegie Melloni arvutiteaduse kooli õpilane, prof Bernhard Haeupleri juhendamisel. Teda huvitavad hajutatud andmetöötluse põhialused. Eelkõige tegeleb ta tõhusate hajutatud protokollide kavandamisega, mis kohanduvad aluseks oleva võrguga ja millel on tõestatavad jõudlusgarantiid. Tema muud uurimishuvid hõlmavad stohhastilist optimeerimist ja spektraalgraafi teooriat.

Ettepanek: Goran teeb ettepaneku töötada välja algoritmiline tööriistakast hajutatud algoritmide kavandamiseks, mis osutuvad ilmselt edestama tipptasemel hajutatud algoritme, kui võrgu topoloogia ei ole võistlevalt konstrueeritud, ja sobitada need muul viisil. Tema peamine tööriist on hiljuti välja töötatud vähese ummikuga otseteekraam, mis kasutab aluseks oleva võrgu konkreetset ülesehitust. Ta soovitab uusi tehnikaid (nt pidev optimeerimine), uusi topoloogiaid (nt väiksemat vaba ja geomeetrilist ristumisgraafikut), uusi probleeme (nt lühim tee, maksimaalne voog, lehejärk) ja uusi hajutatud mudeleid (nt raadiovõrgud ja kuulujuttude võrgud) ).

Mehhanismi laborid

Mechanism Labs on avatud lähtekoodiga eksperimentide komplekt, mis keskendub uurimistöö edendamisele plokiahela ruumis läbi parema juurdepääsetavuse. Need eksperimendid ulatuvad SoK paberitest kuni krüptograafiliste primitiivide juurutamiseni, avatud probleemide kureerimiseni, stiimulite ümbermõtestamiseni vastastikuse eksperdihinnangu protsessides ja reaalajas ajakirjani ning majanduslike stiimulite läbivaatamiseni, kuidas me praegu patente rakendame. Pikemas perspektiivis on Mechanism Labsi eesmärk katalüüsida mõjusaid avatud lähtekoodiga teadusuuringuid, mis võimaldavad käegakatsutavat väljundit ja optimeerimist kõigil plokiahela virna tasanditel.

Ettepanek: Nende eesmärk on analüüsida StaS of Stake (PoS) protokollide turvalisust ja töötada välja stimuleeriv meetod, mis on kindel nii konkureerivate kui ka ratsionaalsete eelduste korral. Analüüsiprotsessis on meeskonna eesmärk uurida neid süsteeme krüptograafilisest, võrgu- ja majanduslikust vaatenurgast. Nad näevad, missuguseid võistlevaid keskkondi need teosed täpsustavad ja tolereerivad, ning kirjeldavad erinevaid teoseid erineva sõnumi edastamise ja arvutusliku viivituse talumisena, mis muudab mõned teosed tolerantseteks “asünkroonia”, “sünkroonia” ja “osalise / pooleldi sünkroonia” suhtes, ja me hindame, kas nende ergutusstruktuurid on nash või epsilon nash tasakaal või mitte.

Kui veebruari stipendiumiteade avas algselt doktorantidele valikuprotsessi, avaldas valikukomisjon Berkeley bakalaureuse meeskonnale nii suurt muljet, et otsustasime luua täiendava stipendiumi. Tõepoolest, kõiki ettepanekuid hinnati nende usaldusväärsuse ja olulisuse järgi hajutatud andmetöötluskogukonna jaoks ning Mechanism Labs koos Easwar Vivek Mangipudi, Saleet Mosseli ja Goran Zuziciga näitasid oma vastavate uurimisvaldkondade muljetavaldavat kasutamist hajutatud süsteemi kindlustamiseks.

Sellisena on meil põnev teatada, et 2019. aasta DFINITY stipendiumiprogramm on avatud nii doktorantidele kui ka bakalaureuseõppe üliõpilastele! Olge kursis selle algatuse üksikasjade tutvustamisega.

Kuni selle ajani soovite arutada stipendiumiprogrammi, külastage ametlikku DFINITY raketivestlust ja liituge vestlusega. Kas soovite lisateavet selle kohta, kuidas see on DFINITY internaat? Vaadake allolevat videot Inside DFINITY koos Easwar Vivek Mangipudiga.