Shafi Goldwasser
Shafi Goldwasser es quizás mejor conocido como el co-inventor de las pruebas de conocimiento cero. La idea básica es que una de las partes (el probador) puede probar a otra parte (el verificador) que una declaración dada es verdadera sin revelar ningún otro conocimiento. Un ejemplo es si Alice sabe acerca de un camino hamiltoniano en un gran gráfico G y quiere demostrarle a Bob que G contiene un camino hamiltoniano sin revelar cuál es el camino hamiltoniano. (más detalles)
Las pruebas de conocimiento cero tienen implicaciones sobre cómo se pueden diseñar protocolos que conserven la privacidad tanto como sea posible. De hecho, gran parte del trabajo más conocido de Shafi Goldwasser se basa en los fundamentos teóricos que sustentan la criptografía y los protocolos criptográficos. Por sus contribuciones, recibió el Premio ACM Turing 2012, que es el premio más alto en Ciencias de la Computación.
- Cómo saber si tengo el potencial de convertirme en un gran científico
- ¿Isaac Newton tenía algún tipo de amor por el oro, ya que estaba tan dedicado a la alquimia?
- ¿Cómo reaccionarían los científicos si nuestro planeta comenzara a enfriarse solo?
- ¿Cómo se determina la serie de reactividad?
- ¿Quién es más inteligente: Albert Einstein o Stephen Hawking?