Silvio Micali - The Power of Proofs (via searchlore.ai)