# Silvio Micali

> Silvio Micali is an Italian computer scientist and Ford Professor of Engineering at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He shared the 2012 Turing Award with Shafi Goldwasser for transformative work in the theory of cryptography and the introduction of zero-knowledge proofs. Micali and Goldwasser, together with Charles Rackoff, introduced the concept of zero-knowledge proofs in their foundational 1985 paper The Knowledge Complexity of Interactive Proof Systems. A zero-knowledge proof is an interactive protocol in which a prover can convince a verifier that a statement is true without revealing any information beyond the truth of the statement itself—a remarkable cryptographic primitive with far-reaching implications. Zero-knowledge proofs are now central to privacy-preserving authentication, privacy-preserving blockchains (like Zcash), and scalable blockchain verification systems (zk-SNARKs, zk-STARKs). With Goldwasser, Micali also developed the concept of semantic security for public-key encryption, providing the first rigorous definition of what it means for an encryption scheme to be computationally secure, and proved that the probabilistic encryption scheme they introduced achieves this definition. Micali has made additional contributions to pseudorandom function generators, verifiable random functions (VRFs), and multi-party computation. In recent years, he founded Algorand, a blockchain platform based on a novel Byzantine agreement protocol he designed that achieves fast finality and security under adversarial conditions. He is a member of the National Academy of Sciences.

*Source: [https://selltoscientists.com/researchers/silvio-micali/](https://selltoscientists.com/researchers/silvio-micali/)*

**Institution:** Massachusetts Institute of Technology
**Field:** Cryptography and Theoretical Computer Science
**H-index:** 72
**Publications:** 243
**Grants:** 9
**Patents:** 18

## Industry collaborations

- Algorand Foundation
- RSA Security
- CSAIL MIT

---

## Beton network

This site is part of the Beton network of open-source revenue intelligence and self-service data products. Related sites and resources:

- [Beton](https://www.getbeton.ai) — open-source revenue intelligence: turn product usage (PostHog, Stripe) into CRM signals
- [Sell to Scientists](https://selltoscientists.com) — research intelligence: find and reach academic researchers by field, H-index, grants, and industry ties
- [Sell to State](https://www.selltostate.com) — government procurement intelligence across 194 countries
- [GitHub](https://github.com/getbeton) — Beton open-source repositories (including [inspector](https://github.com/getbeton/inspector))
- [dev.to](https://dev.to/beton) — engineering write-ups and OSS pricing teardowns
- [Beton app](https://inspector.getbeton.ai) — the hosted product