Silvio Micali adalah Profesor Institut MIT dan pemenang Turing Award ACM 2012 yang kontribusi akademis fundamentalnya untuk kriptografi mencakup bersama-menemukan zero-knowledge proof (dengan Shafi Goldwasser dan Charles Rackoff), probabilistic encryption, dan Verifiable Random Functions (VRF); ia mendirikan Algorand pada 2017 untuk menerapkan primitif kriptografi ini ke konsensus blockchain — menciptakan protokol pure proof-of-stake yang mencapai finalitas blok instan, throughput 6.000+ TPS, dan tidak pernah melakukan fork.
Latar Belakang Akademis
Silvio Micali lahir di Palermo, Sisilia, pada 1954. Ia menerima PhD dalam Ilmu Komputer dari Universitas California, Berkeley pada 1982. Ia bergabung dengan fakultas MIT pada 1983 dan menjadi Profesor Institut — perbedaan fakultas tertinggi MIT — pada 2017.
Kontribusi Akademis Utama
| Kontribusi | Co-authors | Tahun |
|---|---|---|
| Probabilistic Encryption | Goldwasser, Micali | 1982 |
| Zero-Knowledge Proofs | Goldwasser, Micali, Rackoff | 1985 |
| Verifiable Random Functions (VRF) | Micali, Rabin, Vadhan | 1999 |
| Non-Interactive Zero-Knowledge (NIZK) | Blum, Feldman, Micali | 1988 |
Turing Award 2012 dibagi dengan Shafi Goldwasser “untuk karya transformatif yang meletakkan fondasi teori-kompleksitas untuk ilmu kriptografi.”
Algorand
Micali mendirikan Algorand pada 2017 dan menerbitkan whitepaper konsensus Algorand. Prinsip desain utama Algorand:
Pure Proof of Stake (PPoS):
- Pemegang ALGO mana pun dapat berpartisipasi dalam konsensus secara proporsional dengan stake.
- Tidak ada slashing (stake tidak pernah dihancurkan).
VRF sebagai mekanisme inti:
- Setiap pengguna secara privat menjalankan VRF dengan kunci privat mereka + data putaran saat ini.
- Output VRF menentukan apakah mereka dipilih sebagai pengusul blok atau anggota komite.
- Seleksi tidak dapat diprediksi oleh orang lain hingga terungkap, mencegah serangan yang ditargetkan.
Byzantine Agreement (BA★):
- Setelah komite dipilih, mereka menjalankan protokol perjanjian BFT.
- Mencapai finalitas dalam ~3,3 detik tanpa kemungkinan fork.
Tanggal Kunci
- 1985 — Makalah zero-knowledge proofs diterbitkan.
- 1999 — Bersama-menemukan Verifiable Random Functions.
- 2012 — Menerima Turing Award (bersama Shafi Goldwasser).
- 2017 — Mendirikan Algorand; menerbitkan makalah konsensus Algorand.
- Juni 2019 — Mainnet Algorand diluncurkan.
Istilah Terkait
Lihat Juga
Sumber
- Algorand Whitepaper — Micali (2017). Makalah konsensus Algorand asli.
- “Silvio Micali: How Algorand Works” — Bankless (2021). Diskusi panjang tentang desain konsensus Algorand.
- “Probabilistic Encryption” — Goldwasser & Micali (1982). Makalah seminal yang merevolusi fondasi kriptografi.
Terakhir diperbarui: 2026-04