Vitalik Buterin, yeni bir blog yazısında kriptografik gizlemeyi "kriptografinin son boss'u" olarak çerçeveledi ve belirsizlik gizleme (indistinguishability obfuscation, iO) üzerine onlarca yıllık çalışmayı gözden geçirdi.
Buterin, araştırmacıların ürettiği en titiz yön olarak kafes tabanlı iO'ya işaret etti, ancak bugünün yapılarının hâlâ son derece pratik dışı olduğu konusunda uyardı. Bu yapıların hesaplama gereksinimleri, kendisinin yazdığı gibi, "kelimenin tam anlamıyla galaktik" olup mevcut donanımın kaldırabileceğinin çok ötesinde.
Neden önemli
Verimli bir iO şeması, tek bir programın kendi mantığını gizlemesine ve yine de doğrulanabilir kalmasına izin verir, böylece bir yığın kriptografik temel öğeyi tek bir araçta birleştirir. Araştırmacılar bu yapıyı yirmi yıldan fazladır kovalıyor, çünkü işlevsel şifrelemeyi, özel girdilerle güvensiz akıllı sözleşme yürütmesini ve iç yapısını sızdırmayan ispat sistemlerini mümkün kılacak.
Piyasa etkisi
Buterin'in çerçevelemesi, kötümserliğinden daha önemli. Gizlemeyi alanın "son boss'u" olarak adlandırmak, Ethereum'un temel araştırma topluluğunun bunu kanonik çözülmemiş problem olarak gördüğüne işaret eder; bu da hibe paralarını, akademik işbirliklerini ve protokol yol haritası varsayımlarını yönlendirir. Çizdiği gerçekçi kısa vadeli yol, kafes optimizasyonunda kademeli ilerleme, daha cesur varsayımlar veya kafes dışı alternatifler olmak üzere, kapıyı bir zaman çizelgesine bağlı kalmadan açık tutuyor.
Sıkça sorulan sorular
-
Belirsizlik gizleme (iO) nedir?
Belirsizlik gizleme, bir programın kendi mantığını gizlemesine ve doğrulanabilir kalmasına izin veren kriptografik bir temel öğedir. Pratik hale gelirse, işlevsel şifreleme ve özel akıllı sözleşme yürütmesi dahil bir yığın temel öğeyi tek bir araçta birleştirebilir.
-
Vitalik Buterin neden gizlemeyi 'kriptografinin son boss'u' olarak adlandırdı?
Buterin, iO'yu alanın yirmi yıldan fazladır kovaladığı kanonik çözülmemiş problem olarak çerçeveledi, çünkü çalışan bir şema işlevsel şifrelemeyi, özel girdilerle güvensiz yürütmeyi ve iç yapıyı sızdırmayan ispat sistemlerini mümkün kılacak.
-
Bugünün iO yapıları neden pratik dışı?
Buterin, kafes kriptografisine dayanan mevcut en titiz şemaların, kendisinin "kelimenin tam anlamıyla galaktik" dediği, mevcut donanımın kaldırabileceğinin çok ötesinde hesaplama gereksinimlerine sahip olduğunu yazdı.
-
Buterin hangi ileri yolları çizdi?
Üç yol belirledi: mevcut kafes tabanlı tasarımları optimize etmek, maliyeti düşürmek için daha cesur kriptografik varsayımlar yapmak veya alternatif kafes dışı yöntemler keşfetmek. Hiçbirinde bir zaman çizelgesi yok.
-
Bu neden Ethereum için önemli?
Gizlemeyi "son boss" olarak adlandırmak, Ethereum'un temel araştırma topluluğunun bunu kanonik çözülmemiş problem olarak gördüğüne işaret eder; bu da hibe tahsisini, akademik işbirliklerini ve uzun vadeli protokol tasarımının varsayımlarını şekillendirir.
TheBlock