Kapaklı Tek Yönlü Permütasyonlar


9

Kısacası: Tek yönlü permütasyonların var olduğu varsayılarak , kapalı kapı olmayan bir tane inşa edebilir miyiz?

Daha fazla bilgi:

Tek yönlü permütasyon, hesaplanması kolay, ancak ters çevrilmesi zor olan bir permütasyon pi'dir ( daha resmi bir tanım için bkz. Tek yönlü işlev etiketi wiki ). Genellikle dikkate aileleri tek yönlü permütasyon, , her yerde tek yönlü bir permütasyon, bir hareket eden sonlu alan . Bir kapaklı kapılı tek yönlü bir permütasyon bir kapaklı kapılı grubu vardır dışında, yukarıdaki gibi tanımlanır ve poli-zaman tersini algoritması , bu şekilde tüm , veππ={πn}nNπnDn{tn}nNIn|tn|poly(n)I invert olabilir o belirtilerek .πntn

Ben tuzak bulmak (ama tuzak var) mümkün değil böylece oluşturulan tek yönlü permütasyonlar biliyorum . Burada RSA varsayımına dayanan bir örnek verilmiştir . Soru,

Kapaklı (set) olmayan tek yönlü permütasyonlar (aileleri ) var mı?

Düzenle: (Daha Fazla Resmileştirme)

Bazı tek yönlü bir permütasyon vardır varsayalım (sonsuz) alanı ile . Yani, olasılıksal bir polinom-zaman algoritması var (giriş üzerinde bir miktar dağılım oluşturur ) herhangi bir polinom-zaman düşmanı , herhangi bir ve hepsi yeterince büyük tamsayı :πD{0,1}D1nDn=0,1nDAc>0n

Pr[xD(1n):A(π(x))=x]<nc

(Olasılık, D ve \ mathcal {A} iç jeton devirlerinden devralınır A.)

Soru, tek yönlü bir permütasyon gerçekleştirebilmesi olmadığıdır olasılıklı bir polinom-zaman vardır olan, algoritma , öyle ki herhangi biri için devrelerin poli boyutlu etti , herhangi bir ve tümü yeterince büyük tamsayı :πD A={An}nNc>0n

Pr[xD(1n):An(π(x))=x]<nc

( belirleyici olduğundan, olasılık nin iç para birimi devirlerine alınır .)DA


Polinom miktarı tavsiye edildiğinde bile tek yönlü kalan bir OWP istediğiniz gibi görünüyor. Bu arada, genellikle OWP ailelerini böyle tanımlamıyoruz - bkz. Goldreich Cilt 1, def. 2.4.4 ve 2.4.5.
David Cash

@David: Evet, her zamanki tanım olmadığını biliyorum, ama resmi tanımın (Goldreich'in kitabında görünen) bu tartışma için çok uzun olduğunu hissettim.
MS Dousti

@Sadeq: Yeterince adil, ama burada tanımlardaki değişiklik önemli olacak. Değer için, daha önce benzer bir güvenlik türü (tuzak yok) düşünmeye çalıştım. İyi bir tanım, inversiyon deneyi öncesinde aile endeksinin sınırsız işlemesine izin vermek için tavsiye vermek gibi görünüyordu.
David Cash

@David: düzenlenen bölümün daha fazla resmileştirme ihtiyacını karşılayıp karşılamadığına bakın.
MS Dousti

1
@Sadeq: Trapdoor tek yönlü permütasyonların tek yönlü permütasyonlarla ima edilip edilmediğinin belirlenmesi (her ikisinin de akla gelebilecekleri için ne anlama geldiği bile açık değildir), kriptografi teorisindeki en büyük açık problemlerden biridir. . Impagliazzo ve Rudich ( cseweb.ucsd.edu/~russell/secret.ps ) bunun kara kutu teknikleri kullanılarak gerçekleştirilemediğini kanıtladı ve mevcut tekniklerin ayrılmalarını atladığı bilinmemektedir.
Alon Rosen

Yanıtlar:


7

Aşağıdaki durumları göz önünde bulundurun:

1) Tek yönlü permütasyonlar (OWP) vardır, ancak kapalı kapı permütasyonları (TDP) yoktur (yani Impagliazzo'nun " minicrypt " dünyasının bir varyantındayız ). Bu durumda, varolduğu garanti edilen OWP'yi alırsınız ve bunun bir kapı kapağına sahip olmadığını bilirsiniz.

2) Hem OWP hem de TDP var. Burada iki seçeneğiniz var:

(a) Her OWP, örneklenmiş bir kapaklı t ile birlikte işlevin "genel" açıklamasını f veren bir anahtar oluşturma algoritmasına G sahiptir. Bu durumda, yalnızca f çıktısını alan değiştirilmiş bir anahtar oluşturma düşünün. Bu size bir OWP verir ve dahası, verilen f'yi bulmak mümkün değildir (aksi takdirde f'yi tersine çevirmek için etkili bir yolunuz vardır). Bu aynı zamanda homojen olmayan bir varyant için de geçerli olmalıdır.

(b) OWP f vardır, böylece hiçbir algoritma G hem f hem de t'yi veremez, böylece t rastgele bir x için f (x) inversiyonunu sağlar. Bu durumda f, kapaklı olmayan bir OWP'dir.

Yukarıdaki yazıda yer alan yorumlardan biri, aslında OWP'nin varlığının TDP'nin varlığını ima edip etmediği olup olmadığını sorguladığınızı gösteriyor. Bunun wrt kara kutu konstrüksiyonlarını / azaltımlarını tutmadığı gösterilmiştir ve genel olarak açıktır (yukarıdaki konudaki yorumuma bakın).


+1, teşekkürler. David cevap vermek için çok çaba harcadı ve ona minnettarım; ama bu ben aklındakini cevabı.
MS Dousti

2
Sorunun şu olduğunu düşündüm: (a) mümkün. Kriptografik olarak, eğer her OWP'nin bir kapı kapısı varsa, o zaman kapı kapağını da bilmemesi için size bir OWP veren birine güvenemezsiniz. Tabii ki, OWP'sini alıp kendi OWP'nizle besteleyebilirsiniz, bunun için sadece tuzak kapısını biliyorsunuz ve tek bir partinin tuzak kapısını bilmediği bir OWP alabilirsiniz.
Peter Shor

1
@Peter: Evet. Kompozisyon işi yapıyor gibi görünüyor. Başka bir seçenek, kayıtsız aktarma kullanmaktır (ki, (a) tutarsa, bazı küçük incelikleri modulo olarak bilinir). OT'yi kullanarak oyuncular, birinin kapı kapısını öğrenmeden diğerini hiçbir şey öğrenmemesi için f öğrenmesini sağlayan 2 taraflı güvenli bir hesaplama protokolü oluşturabilir. Ama çözümünüz gerçekten daha basit.
Alon Rosen

7

Genel varsayımlardan yapılan konstrüksiyonları bilmiyorum, ancak ayrık log modulo prime kullanarak "bir trapdoor olmadan tek yönlü permütasyon" için makul bir aday elde edebilirsiniz . Yani , ilkel bir kök modulo ve tanımlayın . Bu durumda , ile arasındaki tamsayılarda bir permütasyon olur ve genellikle tek yönlü olduğu varsayılır. "Trapdoor yok" kısmı için, bunun tam olarak ne anlama geldiğini tanımlamanız gerektiğini varsayalım, ancak bildiğim kadarıyla, tersine çevirme sağlamak için bir şey ayarlamanın bir yolumuz yok. (Eğer yapsaydık, o zaman kriptografide her türlü harika (pozitif) uygulamaya sahip olurdu!)pgpπ(x)=gxmodpπ1p1


+1. Cevap için teşekkürler. Eşit olmayan rakiplere karşı ayrık kütüğün sertliğini varsayıyorsunuz. Benim sorum şu: Tek yönlü permütasyonların varlığını varsayarak, tuzak olmayan bir tane inşa edebilir miyiz?
MS Dousti

@Sadeq: Tek yönlü permütasyonların varlığı, P = NP'den beri ayrı kütüğün sertliğini ima etmiyor mu?
Mohammad Alaggan

@Alaggan: Sanmıyorum. Tek yönlü permütasyonlar olabilir, ancak biri ayrı günlüğü ters çevirmek için etkili bir algoritma bulur.
MS Dousti

@Sadeq: P = BQP! = NP ise.
Mohammad Alaggan

@Sadeq: Doğru mu yanlış anladım?
Mohammad Alaggan
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.