«cr.crypto-security» etiketlenmiş sorular

Kriptografi ve bilgi güvenliğinin teorik yönleri.

3
Tamsayılı çarpanlara ayırma sorunu RSA çarpanlara ayırma işleminden daha mı zor:
Bu math.stackexchange'ten bir çapraz mesajdır. Tam sayı faktoring sorun göstermektedirler aslında izin: Verilen asal bulmak p i ∈ N , ve tamsayılar e i ∈ , N , öyle ki n = Π k i = 0 , s e i i .n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = …

3
Faktoringin P Olmasının Sonuçları?
Faktoringin NP tamamlanmış olduğu bilinmemektedir. Bu soru, Faktoring'in NP-eksiksiz olmasının sonuçlarını istedi. Merakla, kimse Faktoring'in P'de olmasının sonuçlarını sormadı (belki de böyle bir soru önemsizdir). Yani benim sorularım: Hangi olacağını teorik Faktoring P olmanın sonuçları? Karmaşıklık sınıflarının genel tabloları böyle bir durumdan nasıl etkilenir? Hangi olurdu pratik Faktoring P olmanın …

5
RSA'dan SAT'a Hızlı Azaltma
Scott Aaronson'un blog yazısı bugün, karmaşıklıktaki ilginç açık problemlerin / görevlerin bir listesini verdi. Özellikle biri dikkatimi çekti: Çözüldüğü zaman kayda değer sonuçlar doğurabilecek, mümkün olduğunca az değişken ve cümlecik içeren, 3SAT örneklerinden oluşan bir halk kütüphanesi oluşturun. (Örneğin, RSA faktoring zorluklarını kodlayan örnekler.) Bu kitaplıktaki en iyi güncel SAT-çözücülerinin …

4
Adil olduğuna ikna olabileceğiniz bir piyango
(Bu çok iyi biliniyorsa üzgünüm.) Bir maddeyi aracılarından birine vermek istiyorum , böylece aracı j öğeyi p i olasılığına sahip olacak . Her ajanın (ve hatta her gözlemcinin) rastgele çizimin gerçekten adil olduğuna ikna olabileceği bir şifreleme (veya başka) aracı var mı?kkkjjjpbenpip_i

3
Varsayımsız şifreleme - genel bakış
ve SAT için hızlı bir doğrusal zaman algoritmasının yarın göründüğünü varsayalım . Birden bire RSA güvensiz, modern iletişim sistemimizin çoğu bozuldu ve birbirinden nasıl sır saklanacağını yeniden düşünmemiz gerekiyor.P=NPP=NPP = NP Soru: Kriptoda (ve müttefiki "güvenlik" alanında) intraktabilite varsayımları olmadan mümkün olanın büyük bir resmini elde etmek için iyi bir …



2
İş Kanıtı Olarak Düğüm Tanıma
Şu anda bitcoin SHA256 kullanan bir çalışma kanıtı (PoW) sistemine sahiptir. Diğer karma fonksiyonlar, çalışma sistemi kullanım grafiklerini, kısmi karma fonksiyon inversiyonunu kullanır. Düğüm Teorisi'nde Düğüm tanıma gibi bir Karar problemi kullanmak mümkün müdür ve işin bir ispatı işlevi yapar mı? Ayrıca bunu daha önce kimse yapmış mı? Ayrıca, bu …

1
Değerleri açığa çıkarmadan dağıtılmış düğümler arasında bir yüzdelik tahmini
Teorik Bilgisayar Bilimi Yığın Değişimi alanında yanıtlanabildiği için bu soru Çapraz Doğrulama'dan taşındı . 8 yıl önce göç etmiş . Çözmem gereken oldukça benzersiz bir problemim var ve burada birinin nasıl en iyi şekilde mücadele edebileceği konusunda bana biraz fikir verebileceğini umuyorum. Sorun: N sayısının bir listesinin, hiçbir katılımcının paylaştığı …

6
Müfredat: Güvenlikte Mantıksal / Örgün Yöntemler
Şu anda Güvenlik Konusunda Mantıksal Yöntemler konulu küçük bir ders (Yüksek Lisans düzeyinde dört iki saat ders) öğretmekteyim , ancak Güvenlikte Örgün Yöntemler başlığı daha uygun olabilir. Kısaca şu konuları kapsar (ilişkili mantıksal yöntemlerle): Dijital Haklar Yönetimi ve Politika Uygulama (genel formalizasyon, modal mantık, otomata yoluyla yaptırım) Prova taşıma kodu …

2
Tamamen homomorfik şifreleme, unutulmaz bir kod yürütme için kullanılabilir mi?
Bu cevabı bir süre önce okuduktan sonra , tamamen homomorfik şifrelemeye ilgi duydum. Gentry'nin tezinin girişini okuduktan sonra, şifreleme şemasının üçüncü paragrafta tanımlandığı gibi unutulmaz kod yürütme için kullanılıp kullanılamayacağını merak etmeye başladım. Tamamen homomorfik bir şifreleme şemasında tipik olarak bazı verileri şifreleriz, bunu veriler üzerinde belirli bir fonksiyonun hesaplandığı …

6
Güvenlik teorisi ve pratiği ile kriptografi arasındaki fark?
Güvenlik teorisi ve pratiği ile kriptografi arasındaki ilginç farklar nelerdir? Elbette en ilginç irade, pratik deneyime dayanan teorik araştırmalar için yeni yollar öneren örnekler olacaktır :). Cevaplar içerebilir (ancak bunlarla sınırlı değildir): Teorinin bir şeyin mümkün olduğunu öne sürdüğü, ancak pratikte hiç kullanılmadığı örnekler Teorinin pratikte güvenli olmayan bir şeyin …

2
Herhangi bir hesaplama zorluğu iş kanıtına dönüştürülebilir mi?
Kripto para madenciliğinin görünüşte anlamsızlığı, yararlı alternatifler sorununu gündeme getirdi, Bitcoin , CST , MO ile ilgili bu soruları görün . Hemen hemen herhangi bir hesaplamalı meydan okuma (çözümü verimli bir şekilde doğrulanabilir) böyle bir meydan okuma (iş kanıtı için kullanılır dönüştürmek için bir algoritma olup olmadığını merak ediyorumCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal …

6
Paralel sözde sayı üreteçleri
Bu soru öncelikle pratik bir yazılım mühendisliği problemiyle ilgilidir, ancak teorisyenlerin bu konuda daha fazla bilgi verebileceğini merak ediyorum. Basitçe söylemek gerekirse, sahte bir sayı üreteci kullanan bir Monte Carlo simülasyonum var ve paralel olarak aynı simülasyonu çalıştıran 1000 bilgisayar olacak şekilde paralelleştirmek istiyorum. Bu nedenle 1000 bağımsız sahte sayı …

4
Rasgelelik Çıkarıcıların uygulanmasına yönelik güncel bir araştırma var mı?
Rasgelelik çıkarıcı yapıların uygulanması konusunda araştırmalar yapıldı mı? Çıkarıcı kanıtları, büyük gizli sabitler olasılığını bırakarak, programlı uygulamaları potansiyel olarak gerçekçi olmayan hale getiren Big-Oh'u kullanıyor gibi görünüyor. Bazı bağlamlar: Monte Carlo simülasyonlarında kullanım için rasgele sayıların (muhtemelen?) Rasgele sayıların hızlı bir kaynağı olarak kullanılmasıyla ilgileniyorum. Biz (bir ETHZ Hesaplamalı Fizik …

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.