Silvio Micali: Proofs, Knowledge, and Computation