En los ‘80 presentó la prueba de conocimiento cero: un nuevo procedimiento de demostración de teoremas donde introdujo el concepto de complejidad del conocimiento. Hoy está ampliamente extendido en sistemas que requieren privacidad.

Shafi Goldwasser, presente en #Criptoria