Pertanyaan yang diberi tag «cr.crypto-security»

Ini adalah pos-silang dari math.stackexchange. Biarkan FACT menunjukkan masalah anjak bilangan bulat: diberikan cari bilangan prima dan bilangan bulat sehinggap i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},halsaya∈ N ,pi∈N,p_i \in \mathbb{N},esaya∈ …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Anjak piutang tidak dikenal sebagai NP-complete. Pertanyaan ini menanyakan konsekuensi dari Anjak piutang menjadi NP-lengkap. Anehnya, tidak ada yang meminta konsekuensi Anjak di P (mungkin karena pertanyaan seperti itu sepele). Jadi pertanyaan saya adalah: Yang akan menjadi konsekuensi teoritis dari Anjak berada di P? Bagaimana gambaran keseluruhan kelas kompleksitas akan …

34 cc.complexity-theory  cr.crypto-security  conditional-results  factoring 

Posting blog Scott Aaronson hari ini memberikan daftar masalah / tugas terbuka yang menarik dalam kompleksitas. Seseorang khususnya menarik perhatian saya: Bangun perpustakaan umum dengan instance 3SAT, dengan sesedikit mungkin variabel dan klausa, yang akan memiliki konsekuensi penting jika diselesaikan. (Misalnya, contoh yang mengkode tantangan anjak piutang RSA.) Selidiki kinerja …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

(Maaf jika ini sudah diketahui.) Saya ingin memberikan beberapa item kepada salah satu agen , sehingga agen akan mendapatkan item dengan probabilitas . Apakah ada alat kriptografi (atau lainnya) sehingga setiap agen (dan bahkan setiap pengamat) akan dapat diyakinkan bahwa gambar acak itu memang adil?kkkjjjpipip_i

27 cr.crypto-security 

Misalkan dan algoritma linear-waktu yang cepat untuk SAT muncul besok. Tiba-tiba RSA tidak aman, sebagian besar sistem komunikasi modern kita rusak, dan kita perlu mempertimbangkan kembali cara menjaga rahasia satu sama lain.P= NPP=NPP = NP Pertanyaan: Apakah ada referensi tunggal yang baik (atau daftar pendek) untuk mendapatkan gambaran besar tentang …

25 cr.crypto-security 

Saya telah membaca di beberapa makalah bahwa keberadaan fungsi satu arah diyakini secara luas. Adakah yang bisa menjelaskan mengapa ini terjadi? Argumen apa yang kita miliki untuk mendukung keberadaan fungsi satu arah?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

Wikipedia mendefinisikan serangan preimage kedua sebagai: diberi pesan tetap m1, cari pesan berbeda m2 sedemikian sehingga hash (m2) = hash (m1). Wikipedia mendefinisikan serangan tabrakan sebagai: temukan dua pesan berbeda sembarang m1 dan m2 sedemikian sehingga hash (m1) = hash (m2). Satu-satunya perbedaan yang bisa saya lihat adalah bahwa dalam …

24 cr.crypto-security  hash-function 

Saat ini bitcoin memiliki sistem proof of work (PoW) menggunakan SHA256. Fungsi hash lainnya menggunakan bukti sistem kerja menggunakan grafik, inversi fungsi hash parsial. Apakah mungkin untuk menggunakan masalah Keputusan dalam Knot Theory seperti pengakuan Knot dan menjadikannya sebagai bukti fungsi kerja? Adakah yang pernah melakukan ini sebelumnya? Juga, ketika …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Pertanyaan ini dimigrasikan dari Cross Validated karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 8 tahun yang lalu . Saya memiliki masalah yang cukup unik untuk dipecahkan dan saya berharap seseorang di sini dapat memberi saya wawasan tentang cara terbaik untuk mengatasinya. Masalah: Misalkan daftar nomor N dibagikan …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Saat ini saya mengajar kursus kecil (Empat dua jam kuliah di tingkat Master) tentang Metode Logika dalam Keamanan , meskipun judul Metode Formal dalam Keamanan mungkin lebih tepat. Ini mencakup secara singkat topik-topik berikut (dengan metode logis terkait): Manajemen Hak Digital dan Penegakan Kebijakan (formalisasi umum, logika modal, penegakan via …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

Setelah membaca jawaban ini beberapa waktu yang lalu, saya tertarik pada enkripsi homomorfik sepenuhnya. Setelah membaca pengantar tesis Gentry, saya mulai bertanya-tanya apakah skema enkripsi-nya dapat digunakan untuk eksekusi kode yang tidak dikenali sebagaimana didefinisikan dalam paragraf ketiga. Dalam skema enkripsi yang sepenuhnya homomorfik, kami biasanya mengenkripsi beberapa data, mengirimkannya …

22 cr.crypto-security  homomorphic-encryption  obfuscation 

Apa perbedaan menarik yang ada antara teori dan praktik keamanan dan kriptografi? Paling menarik tentu saja akan menjadi contoh yang menunjukkan jalan baru untuk penelitian teoritis berdasarkan pengalaman praktis :). Jawaban mungkin termasuk (tetapi tidak terbatas pada): Contoh di mana teori menyarankan sesuatu itu mungkin tetapi itu tidak pernah digunakan …

21 cr.crypto-security 

Tampaknya tidak ada gunanya penambangan cryptocurrency mengangkat pertanyaan tentang alternatif yang berguna, lihat pertanyaan ini tentang Bitcoin , CST , MO . Saya bertanya-tanya apakah ada algoritma yang dapat mengubah hampir semua tantangan komputasi (yang solusinya dapat diverifikasi secara efisien) menjadi tantangan lain seperti (yang digunakan untuk pembuktian kerja) sehinggaCC\mathcal …

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

Pertanyaan ini terutama terkait dengan masalah rekayasa-perangkat lunak praktis, tetapi saya ingin tahu jika para ahli teori dapat memberikan wawasan lebih dalam. Sederhananya, saya memiliki simulasi Monte Carlo yang menggunakan generator nomor pseudorandom, dan saya ingin memparalelkannya sehingga ada 1000 komputer yang menjalankan simulasi yang sama secara paralel. Karena itu …

20 cr.crypto-security  dc.parallel-comp  pseudorandom-generators 

Apakah sudah ada penelitian dalam mengimplementasikan konstruksi pengacakan acak? Tampaknya bukti ekstraktor menggunakan Big-Oh, meninggalkan kemungkinan untuk konstanta tersembunyi yang besar, membuat implementasi terprogram berpotensi tidak realistis. Beberapa konteks: Saya tertarik menggunakan ekstraktor acak sebagai sumber cepat (terbukti?) Bilangan acak untuk digunakan dalam simulasi Monte Carlo. Kami (grup Fisika Komputasi …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory