Ayırt edilemezlik gizleme - Indistinguishability obfuscation

Ayırt edilemezlik gizleme (IO) bir kriptografik ilkel resmi bir fikir veren program gizleme. Gayri resmi olarak gizleme, bir programın uygulanmasını gizlerken, yine de kullanıcıların onu çalıştırmasına izin verir.[1] Bir aday IO inşaatı kanıtlanabilir güvenlik beton altında sertlik varsayımları ilgili çok çizgili haritalar 2013 yılında yayınlandı, ancak bu varsayım daha sonra geçersiz kılındı.[2][3] Çalışmalar, daha standart varsayımlardan, özellikle de Jain, Lin ve Sahai'nin 2020 çalışmasına dayanan önkoşullar oluşturmaya çabalamaya devam etti. XDH, LWE, ve LPN varsayımlar.[3] Bununla birlikte, hiçbiri bugüne kadar yaygın bir kabul görmedi ve Jain, Lin ve Sahai'nin önerisi de üstel gerilmenin varlığını gerektiriyor sözde rasgele üretici fonksiyon sınıfında NC0. Varoluşu hiç NC'de sözde rasgele üreteçler0 2006 yılına kadar uzun süredir devam eden açık bir sorundu,[4] bu varsayımı şüpheli yapmak.

Ayrıca bakınız

Referanslar

  1. ^ Klarreich, Erica (2014-02-03). "Kriptografi Atılımı Yazılımı Hacklenemez Hale Getirebilir". Quanta Dergisi.
  2. ^ Sanjam Garg; Craig Gentry; Shai Halevi; Mariana Raykova; Amit Sahai; Brent Waters (2013). "Tüm Devreler için Aday Ayırt Edilemezlik Gizleme ve İşlevsel Şifreleme". Focs 2013. IEEE: 40–49. CiteSeerX  10.1.1.672.1968. doi:10.1109 / FOCS.2013.13. ISBN  978-0-7695-5135-7.
  3. ^ a b Klarreich, Erica (2020-10-10). "Bilgisayar Bilimcileri Kriptografinin 'Taç Mücevheri'ni Elde Etti". Quanta Dergisi.
  4. ^ Applebaum, B; Ishai, Y; Kushilevitz, E (2006). "NC0'da Kriptografi" (PDF). Bilgi İşlem Üzerine SIAM Dergisi. 36 (4): 845–888.