Shafi Goldwasser: Modern Kriptografinin İsrailli-Amerikalı Anne Figürü

Modern kriptografinin "anne figürü"

Shafi Goldwasser (1958-) — modern kriptografinin kavramsal temellerini atan bilim insanlarından biri.

Erken yaşam

• Doğum: 14 Kasım 1958, New York City.
• Aile: İsrailli matematikçi göçmen.
• 1969 (11 yaşında): ailesi İsrail'e döndü.
• Eğitim:
  • Tel Aviv'de lise.
  • Carnegie Mellon (BSc 1979, ABD'ye geri dönüş).
  • UC Berkeley (PhD 1984): danışman Manuel Blum.

İlginç: hayatın çoğunluğu iki ülke arasında geçti — ABD ve İsrail.

Akademik kariyer

• MIT (1984-): yardımcı profesör → tam profesör.
• Weizmann Institute (İsrail, 1993-): paralel pozisyon.
• Simons Institute for the Theory of Computing (Berkeley): direktör (2018-).

40 yıl MIT'de + 30+ yıl Weizmann'da.

Sıfır-bilgi kanıtları (1985)

Silvio Micali ve Charles Rackoff ile birlikte makale: "Knowledge complexity of interactive proof systems".

Bu makale modern kriptografinin kavramsal devrimiydi:

• "Etkileşimli kanıt" kavramı.
• "Sıfır-bilgi" tanımı.
• Bilgi karmaşıklığı hierarchy'si.

Goldwasser-Micali şifreleme

İlk semantically secure açık-anahtar şifreleme şeması (1982). Modern kriptografinin güvenlik standardını tanımladı.

Önceden RSA güvenli ama "semantically secure" kavramı yoktu. Goldwasser-Micali bu kavramı tanıttı + ilk örneği verdi.

Olasılıksal kanıt sistemleri (PCP)

Arora-Lund-Motwani-Sudan-Szegedy (1992)'in PCP teoreminin felsefi temelleri Goldwasser'in çalışmalarına dayanır.

PCP teoremi: NP problemleri için kısa olasılıksal kanıtlar. Modern karmaşıklık teorisinin başyapıtı.

Probabilistic Computing

Modern kriptografi olasılıksal hesaplamaya dayanır. Goldwasser bu paradigmaşa öncülük etti.

Öğrencileri

• Cynthia Dwork (diferansiyel gizlilik mucidi).
• Avi Wigderson (Abel Ödülü 2021).
• Sayısız modern kriptograf.

Ödüller

• Gödel Prize (1993, 2001).
• Turing Award (2012, Silvio Micali ile): "kriptografinin kavramsal temellerinin yeniden tanımlanması".
• National Academy of Sciences üye.
• American Academy of Arts and Sciences üye.

Turing Ödülü kriptografi alanında nadir verilir. Goldwasser'in kavramsal etkisi tanındı.

Kişilik

Goldwasser:

• Mütevazı, derin düşünür.
• Eğitime adanmış: öğrencilerini sıkı destekler.
• İki kültürlü: İsrail-Amerika.
• Aileli: eşi, çocukları.

Siyasi-felsefi görüşler

Goldwasser gizlilik haklarının önde gelen savunucusu. Modern dünyada veri gizliliği için lobicilik yapar.

Mirası

• Sıfır-bilgi kanıtları: modern kriptografinin temel kavramı.
• Semantik güvenlik: modern şifreleme standardı.
• Olasılıksal kanıt sistemleri: modern karmaşıklık teorisi.
• Turing Ödülü 2012.
• Öğrencileri: Cynthia Dwork (DP), Avi Wigderson (Abel), vs.

Goldwasser modern kriptografinin "anne figürü" olarak hatırlanır. Kavramsal temellerle çalıştı — bilim olarak somut algoritma yerine felsefi-matematik teorisi.

Modern blockchain, gizlilik teknolojileri, kuantum kriptografi — hepsinin temelinde Goldwasser'in 1985 kavramları var.

"Bilgi kaynak, paylaşım seçim." Goldwasser'in paradigması.