Annonce des gagnants du programme de bourses DFINITY 2018

En février, DFINITY a annoncé son tout premier programme de bourses DFINITY. Le programme de bourses était destiné aux étudiants qui démontraient que leur thèse et / ou leur proposition était liée à un blockchain et pouvait être utilisée pour faire progresser la technologie de base de DFINITY. DFINITY a délibérément élargi le champ d'application du processus de candidature pour inclure des domaines tels que la cryptographie appliquée et théorique, l'économie et l'informatique, afin d'inclure une variété de domaines de recherche, notamment le calcul sécurisé, les réseaux de commérages et les mécanismes de consensus.

Aujourd'hui, DFINITY est heureux d'annoncer que nous avons attribué à trois personnes et une équipe d'étudiants de premier cycle la bourse d'études DFINITY 2018! Nous avons reçu plus de candidatures que prévu et avons même offert une offre de stage à l'un des boursiers pour qu'il nous rejoigne dans notre bureau de Palo Alto cet été! Chaque bénéficiaire de la bourse recevra 10 000 dollars ainsi que des conseils et un mentor précieux de l’équipe DFINITY.

En savoir plus sur les lauréats et leurs propositions ci-dessous:

Easwar Vivek Mangipudi

Easwar Vivek Mangipudi est un Ph.D. étudiant au département d’informatique de l’Université Purdue, conseillé par Aniket Kate. Il travaille sur les protocoles de calcul multipartites et leurs applications dans les chaînes de blocs. Il s'intéresse largement à la sécurité et à la cryptographie appliquée. Avant d’aller à l’Université Purdue, il a obtenu sa maîtrise à l’IIT Madras, où il a travaillé sur l’allocation de ressources dans les réseaux sans fil, puis sur les réseaux de capteurs sans fil à l’Indian Institute of Science de Bangalore, en Inde.

Proposition: La génération de clé distribuée (DKG) est un protocole de calcul multipartite permettant de répartir les parts d'une clé secrète parmi un ensemble d'utilisateurs correspondant à une clé publique pouvant être calculée par tous les utilisateurs. Tout sous-ensemble d'utilisateurs de taille supérieure ou égale à une taille t (appelée seuil) peut se réunir et calculer la clé secrète. Les protocoles DKG existants sont interactifs ou ne s'adaptent pas à un grand nombre d'utilisateurs. Nous proposons de créer un protocole DKG non interactif pouvant s’adapter à des centaines d’utilisateurs. La non-interactivité est essentielle dans un paramètre de blockchain, car les utilisateurs peuvent se déconnecter à tout moment. Pour parvenir à la non-interactivité, les courtiers en actions calculent et publient une preuve de l'exactitude de la génération des actions avec les actions, sur la blockchain, qui est utilisée comme un tableau d'affichage public.

Saleet Mossel

Saleet Mossel est un étudiant en deuxième année de doctorat en informatique au MIT, conseillé par Shafi Goldwasser. Avant de venir au MIT, elle a obtenu son baccalauréat spécialisé en sciences et son baccalauréat ès sciences à l'Université de Tel-Aviv. Auparavant, elle a occupé différents postes au sein de la division RSA Security d’EMC en tant qu’ingénieur Java et SW et d’assurance qualité des modèles de risque.

Proposition: Le but de la recherche proposée est de concevoir un mécanisme de chaîne de blocs permettant de vérifier publiquement qu'une entrée est effectivement aléatoire et qu'elle n'a pas été manipulée. L’objectif est de concevoir un protocole MPC sous-linéaire permettant d’approximer une fonction f, dans un contexte où le nombre de parties peut être très important et où de nombreux acteurs peuvent être endormis.

Goran Zuzic

Goran Zuzic est un doctorat de troisième année. étudiant à l’école d’informatique de Carnegie Mellon, conseillé par le professeur Bernhard Haeupler. Il s'intéresse aux bases de l'informatique distribuée. En particulier, il travaille à la conception de protocoles distribués efficaces, adaptables au réseau sous-jacent et offrant des garanties de performances prouvables. Ses autres domaines de recherche incluent l'optimisation stochastique et la théorie des graphes spectraux.

Proposition: Goran propose de développer une boîte à outils algorithmique pour la conception d’algorithmes distribués qui surpassent de manière prouvée les algorithmes distribués de pointe lorsque la topologie du réseau n’est pas construite de manière adverse et ne leur correspond pas. Son principal outil est le cadre de raccourci à faible congestion récemment développé, qui exploite la structure spécifique du réseau sous-jacent. Il propose de nouvelles techniques (par exemple, l'optimisation continue), de nouvelles topologies (par exemple, des graphes d'intersection libres et géométriques mineurs), de nouveaux problèmes (par exemple, le plus court chemin, le flux maximal, le grade de page) et de nouveaux modèles distribués (par exemple, les réseaux radio et les réseaux de potins ).

Mécanisme Labs

Mechanism Labs est un ensemble d'expériences open source visant à faire avancer la recherche dans l'espace blockchain en améliorant l'accessibilité. Ces expériences vont des articles SoK à la mise en œuvre de primitives cryptographiques, la résolution des problèmes ouverts, la révision des incitations dans les processus d’évaluation par les pairs + un journal en direct et la révision des incitations économiques pour la manière dont nous utilisons les brevets. À long terme, Mechanism Labs vise à catalyser une recherche open source percutante menant à une production tangible et à une optimisation à tous les niveaux de la pile de chaînes de blocs.

Proposition: Ils ont pour objectif d’analyser la sécurité des protocoles de preuve de participation (PDS) et de mettre au point une méthode incitative qui repose sur des hypothèses à la fois accusatoires et rationnelles. Dans le processus d'analyse, l'équipe vise à étudier ces systèmes d'un point de vue cryptographique, réseau et économique. Ils verront quels types d'environnements contradictoires ces travaux spécifient et tolèrent, et définiront différents travaux comme tolérant différents temps de transmission des messages et délais de calcul rendant certaines œuvres tolérantes à «l'asynchronie», «synchronie» et «partielle / semi-synchronie». et nous déterminerons si leurs structures d’incitation sont des équilibres nash ou epsilon nash ou non.

Alors que l'annonce des bourses en février ouvrait à l'origine le processus de sélection aux doctorants, le comité de sélection a été tellement impressionné par l'équipe d'étudiants de premier cycle à Berkeley que nous avons décidé de créer une bourse supplémentaire. En effet, toutes les propositions ont été évaluées en fonction de leur plausibilité et de leur importance pour la communauté informatique répartie. Mechanism Labs, ainsi que Easwar Vivek Mangipudi, Saleet Mossel et Goran Zuzic, ont démontré une application impressionnante de leurs domaines de recherche respectifs pour sécuriser un système distribué.

À ce titre, nous sommes ravis d'annoncer que le programme de bourses DFINITY 2019 sera ouvert aux doctorants et aux étudiants de premier cycle! Restez à l'écoute pour plus de détails sur cette initiative.

Jusque-là, si vous souhaitez discuter du programme de bourses d’études, rendez-vous sur le site officiel DFINITY Rocket Chat et rejoignez la conversation. Vous voulez en savoir plus sur ce qu’est l’internat chez DFINITY? Regardez la vidéo Inside DFINITY ci-dessous avec Easwar Vivek Mangipudi.