Micali is the co-founder of Algorand, which Goldwasser advises.