Silvio Micali
Professor of Computer Science at Massachusetts Institute of Technology, known for his work on probabilistic proofs, verifiable computation, and cryptographic protocols.
Last updated 13 Nov 2026 · Named in 23 answers across 5 engines
Bing AI Mode starts a separate baseline. Copilot remains a separate public engine and keeps its history; changes across the switch are not like-for-like growth.
How AI engines see them
All five engines agree that Micali co-invented zero-knowledge proofs with Shafi Goldwasser and Charles Rackoff in their 1985 paper on interactive proof systems, and most mention his Turing Award shared with Goldwasser. Copilot adds that he showed all NP problems have zero-knowledge proofs and names his probabilistic encryption work. Gemini and Google AI Mode add his link to MIT. ChatGPT adds verifiable random functions. The most cited pages are on amturing.acm.org, csail.mit.edu and en.wikipedia.org.
- ChatGPTNot named
ChatGPT says Micali introduced zero-knowledge proofs with Goldwasser and Rackoff in 1985, also contributed probabilistic encryption and verifiable random functions, and shared the Turing Award.
Known for- zero-knowledge proofs
- probabilistic encryption
- verifiable random functions
- GeminiNot named
Gemini says Micali co-created zero-knowledge proofs with Goldwasser and Rackoff and shared the 2012 Turing Award for foundations of probabilistic encryption and interactive proofs.
Known for- zero-knowledge proofs
- probabilistic encryption
- interactive proof systems
- Google AI ModeNot named
Google AI Mode says Micali is an MIT professor and Turing Award recipient who co-invented zero-knowledge proofs and quantified knowledge complexity.
Known for- co-creating zero-knowledge proofs
- knowledge complexity
- zero-knowledge proofs for NP
- PerplexityNot named
Perplexity says Micali is a central founder of zero-knowledge cryptography who developed the interactive proof framework with Goldwasser and Rackoff and introduced zero-knowledge proofs.
Known for- interactive proofs framework
- zero-knowledge proofs
- rigorous cryptographic concept of zero knowledge
- Bing AI ModeNot named
No description yet.
- CopilotNot named
Copilot says Micali co-invented zero-knowledge proofs and showed with collaborators that all NP problems have zero-knowledge proofs, alongside work on probabilistic encryption and non-interactive proofs.
Known for- interactive proof systems
- zero-knowledge proofs for NP
- non-interactive zero-knowledge
Top Segments
- #8Zero-Knowledge Proofsof 31Named in 19 answers
Track Silvio
Follow Silvio's measured AI visibility and see the questions where they rank.