Bit taahhüdü, bilgi-teorik güvenlik modelinde açıkça aktarılma sağlıyor mu?

Birbirine güvenmeyen, keyfi olarak güçlü iki katılımcınız olduğunu varsayalım. Bit taahhüdüne erişebilirler (örneğin, bir oyuncunun diğerine verebileceği ancak ilk oyuncu ikinciye bir anahtar verene kadar açılamayan verileri içeren mühürlü zarflar). Bunu habersiz bir aktarım protokolü oluşturmak için kullanabilir misiniz? Oyuncular hile tespit etmek için sonunda tüm zarfları açmayı kabul etseler bile bu doğru mu (örneğin poker eli oynandıktan sonra herkes kartlarını açmayı kabul eder)?

Bit taahhüdünden habersiz aktarım alamayacağınızı varsayıyorum, çünkü habersiz aktarım kriptografik olarak evrenseldir ve bit taahhüdünün olduğunu söyleyen herhangi bir referans bulamıyorum, ancak bunu yapamayacağınız bir yerde kanıt var mı?

Son olarak, eğer oyuncular kuantumsa soruna kimse baktı mı?

Hayır, taahhüt OT'den daha az karmaşıklığa sahiptir. Bunu görmenin kolay bir yolunun Çok Partili Hesaplama Problemlerinin Karmaşıklığı'nda benimsenen yaklaşım olduğunu düşünüyorum : TCC 2009'da Maji, Prabhakaran, Rosulek tarafından yapılan 2 Taraflı Simetrik Güvenli Fonksiyon Değerlendirmesi Örneği (feragatname: kendi kendini tanıma!). Bu makalede, istatistiksel güvenliğe sahip UC modelinde ideal bağlılığa erişim sağlayarak neler yapabileceğinizi belirten bir sonuç elde ettik.

(Kötü niyetli muhaliflerin) istatistiksel güvenli protokol vardı varsayalım OT İdeal kara kutu bit taahhüt erişimi kullanmak için. O zaman π dürüst ama meraklı düşmanlara karşı da güvende olmalı (muhtemelen göründüğü kadar önemsiz değil, aynı zamanda göstermesi de çok zor değil). Ama oluşturmak olabilir π bağlılık için önemsiz meraklı dürüst ama-protokol ile ve istatistiki hiçbir ayarıyla güvenli bir merak dürüst ama-OT protokolümüz var. Ancak bunun imkansız olduğu bilinmektedir.$\pi$$\pi$$\pi$

Bunu görmenin bir başka yolu Impagliazzo-Rudich'tir . Hesaplama açısından sınırsız partileriniz ve rastgele bir kehanetiniz varsa, taahhütte bulunabilirsiniz (tek ihtiyacınız olan işlevler tek yönlü işlevlerdir), ancak anahtar anlaşma gibi şeyleri yapamazsınız ve dolayısıyla OT değil.

Kuantum durumunda, bir kuantum protokolü kullanarak (klasik) bit taahhüdüne dayalı (klasik) habersiz transfer oluşturan ilk protokol 1991 yılında Bennett, Brassard, Crépeau ve Skubiszewska (http://www.springerlink.com/content) tarafından önerilmiştir. / k6nye3kay7cm7yyx /), ancak yalnızca son zamanlarda Damgaard, Fehr, Lunemann, Salvail ve Schaffner tarafından http://arxiv.org/abs/0902.3918 adresinde tam bir güvenlik kanıtı verildi.

Çok taraflı hesaplamanın genişletilmesi ve evrensel uyumluluk çerçevesinde bir kanıt için Unruh'un çalışmalarına bakın: http://arxiv.org/abs/0910.2912