Herhangi bir vücut, düz çizgi simülasyonunun anlamı için iyi bir referans biliyor mu? Şu anda Canetti'nin Universal Composability (UC) çerçevesinde derinlemesine çalışıyorum, ancak düz çizgi simülasyonunun anlamı için iyi bir referans bulamıyorum. Herhangi bir yardım takdir.
Yanıtlar:
Burada "düz çizgi", "geri sarma" ile karşılaştırılır. Bir simülatör, simülasyon yaptığı partiyi "geri sarmazsa" "düz çizgi" dir.
Örneğin, sıfır bilgili bir protokolde, simülatör genellikle "doğrulayıcı" yı geri sarar. "Düz çizgi" anlamında, bu geri sarma gerçekleşmez.
Rafael Pass'in makalesinde ( Ortak Referans Dizesi ve Rastgele Oracle Modellerinde Deniabililty'de. (CRYPTO'03) ) ve M.Sc. tez ( Sıfır Bilgi Kanıtlarının Alternatif Varyantları ).
Düzenleme: Daha önceki bir makale buldum: Eşzamanlı Sıfır Bilgi: Cynthia Dwork ve 1998 yılına kadar uzanan Amit Sahai tarafından Zamanlama Kısıtlamaları İhtiyacını Azaltma . Daha fazla işaretçi için aşağıdaki Alon Rosen yorumuna bakın.
Düz çizgi simülatörü olmanın ne anlama geldiğinin resmi bir tanımı yoktur . Sadece şeyleri gayri resmi bir şekilde tanımlamak için kullanılabilecek sezgisel bir fikirdir. Bir kişinin bir makineyi geri sarmamanın ne anlama geldiğini bile tanımlayıp tanımlayamayacağı konusunda çok şüphem var . Gerçekten de, bir makineyi geri sarmanın kendisi gayri resmi bir terimdir! Bir makineyi geri sararak gerçekten kastettiğimiz, belirli bir durumdan bir makinenin birçok olası yürütme yolunu keşfedebilmemizdir. Resmi argümanlar daha sonra bir kapı kapısını veya kanıtımızı daha da devam ettirmek için ihtiyacımız olan diğer bilgileri elde etmeden önce araştırmamız gereken bu tür infazların sayısına dayanır.