Dalam bab 10 dari HAC (10.4.2) , kita melihat protokol identifikasi Feige-Fiat-Shamir yang terkenal berdasarkan pada bukti nol-pengetahuan menggunakan kesulitan (diduga) mengekstraksi modulo akar persegi modulo komposit yang sulit untuk faktor. Saya akan memberikan skema dengan kata-kata saya...
Ketika saya memikirkan perangkat lunak yang tidak aman saya pikir itu "terlalu berguna" dan dapat disalahgunakan oleh penyerang. Jadi dalam arti mengamankan perangkat lunak adalah proses membuat perangkat lunak kurang bermanfaat. Dalam Ilmu Komputer Teoritis Anda tidak bekerja dengan dunia nyata....
Beberapa latar belakang: Saya tertarik untuk menemukan batas bawah (atau hasil kekerasan) "kurang dikenal" untuk masalah Belajar dengan Kesalahan (LWE), dan generalisasi seperti Belajar dengan Kesalahan atas Cincin. Untuk definisi spesifik, dll., Ini adalah survei yang bagus oleh Regev:...
Saya mencoba memahami protokol bitcoin dalam konteks keamanan kriptografi komputasi. Pertanyaannya adalah permintaan referensi untuk dasar artikel kriptografi di bitcoin. Pertanyaan pertama saya adalah protokol bitcoin kriptografi abstrak apa yang coba diimplementasikan? Apakah kita memiliki...
Saya punya beberapa pertanyaan tentang menipu sirkuit kedalaman konstan. Ini diketahui bahwa kemerdekaan-bijaksana adalah diperlukan untuk menipu A C 0 sirkuit kedalaman d , di mana n adalah ukuran input. Bagaimana seseorang bisa membuktikan
Jika , periode akan selalu menjadi pembagi . Jika Anda memilih dan untuk prime, maka kecuali Anda sangat beruntung, kami akan memiliki . Saya juga percaya bahwa kita dapat secara efisien menemukan bilangan prima dengan dengan memilih kandidat secara acak dan mengujinya (ini benar jika peristiwa...
Matriks memiliki dimensi n × n ( n - 1 ) . Kami ingin mengisi A menggunakan bilangan bulat antara 1 dan n , inklusif.SEBUAHAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)SEBUAHAA111nnn Persyaratan: Setiap kolom adalah permutasi 1 , … , n .SEBUAHAA1 , … , n1,…,n1, \dots, n Setiap submatrix yang dibentuk...
Keamanan SHA-1 telah didiskusikan sejak algoritma untuk menemukan tabrakan pertama kali diterbitkan di CRYPTO 2004 dan kemudian ditingkatkan. Wikipedia mendaftar beberapa referensi , namun tampaknya penelitian terbaru yang diterbitkan (dan kemudian ditarik) pada subjek ini adalah pada tahun 2009...
Apakah ada yang tahu referensi bagus untuk arti simulabilitas garis lurus? Saat ini saya jauh ke dalam kerangka kerja Universal Composability (UC) dari Canetti, tetapi saya tidak dapat menemukan referensi yang baik untuk arti simulabilitas garis lurus. Bantuan apa pun
Pertanyaan saya adalah tentang kesetaraan keamanan berbagai fungsi kandidat satu arah yang dapat dibangun berdasarkan kekerasan anjak piutang. Dengan asumsi masalah FAKTOR: [Diberikan untuk bilangan prima acak P , Q < 2 n , temukan P , Q. ]N= PQN=PQN = PQP, Q < 2nP,Q<2nP, Q <...
Jika OWF ada, maka komitmen bit yang mengikat secara statistik adalah mungkin. [1] Apakah diketahui bahwa jika OWF ada, maka komitmen bit yang mengikat dengan sempurna dimungkinkan? Jika tidak, adakah pemisahan kotak hitam yang diketahui di antara mereka? [1]
Biarkan k>0k>0k>0 menjadi konstanta tetap. Diberikan bilangan bulat nnn , kami ingin membangun permutasi σ∈Snσ∈Sn\sigma \in S_n sedemikian rupa sehingga: Konstruksi menggunakan waktu dan ruang konstan (yaitu preprocessing membutuhkan waktu dan ruang konstan). Kita bisa menggunakan...
Katz dan Lindell menyebutkan dalam buku mereka bahwa LFSR telah mengerikan sebagai dasar untuk generator pseudorandom, dan menganjurkan bahwa mereka tidak digunakan lagi (well, mereka juga merekomendasikan agar orang menggunakan cipher blok dan bukan stream cipher). Tapi saya melihat misalnya bahwa...
Pertanyaan ini sama dengan pembicaraan inspirasional untuk siswa sekolah menengah akhir . Ph.D. saya penasihat meminta saya untuk memberikan ceramah inspirasional untuk M.Sc. baru siswa. Subjeknya adalah dasar-dasar kriptografi , yang paling baik diilustrasikan oleh buku Goldreich . Pembicaraan...
Generator kebal didefinisikan sebagai berikut: Biarkan menjadi hubungan NP, dan menjadi mesin yang menerima . Secara tidak resmi, sebuah program adalah generator yang kebal jika, pada input , ia menghasilkan pasangan instance-saksi , dengan , menurut distribusi di mana setiap musuh...
Biarkan menjadi permutasi. Perhatikan bahwa sementara bertindak pada domain tanpa batas, deskripsinya mungkin terbatas. Menurut deskripsi , maksud saya adalah program yang menjelaskan fungsionalitas . (Seperti dalam kompleksitas Kolmogorov.) Lihat penjelasan di bawah ini. π
Dalam Universal Blind Quantum Computation , autors menggambarkan protokol berbasis pengukuran yang memungkinkan pengguna yang hampir klasik untuk melakukan perhitungan sewenang-wenang pada server kuantum tanpa mengungkapkan hampir apa pun tentang konten perhitungan. Dalam deskripsi protokol,...
Dalam makalah dari Adi Shamir [1] dari 1979 ia menunjukkan, bahwa anjak piutang dapat dilakukan dalam sejumlah langkah aritmatika polinomial . Fakta ini disajikan kembali, dan dengan demikian menjadi perhatian saya, dalam makalah Borwein dan Hobart baru-baru ini [2] dalam konteks program garis...
Background––––––––––––––Background_\underline{\bf Background} Pada tahun 2005, Regev [1] memperkenalkan masalah Learning with Errors (LWE), generalisasi dari Learning Parity with Error error. Asumsi kekerasan masalah ini untuk pilihan parameter tertentu sekarang mendasari bukti keamanan untuk...
Singkatnya: Dengan asumsi permutasi satu arah ada, dapatkah kita membangun yang tidak memiliki pintu jebakan? Info lebih lanjut: Permutasi satu arah adalah permutasi yang mudah dihitung, tetapi sulit untuk dibalik (lihat wiki tag fungsi satu arah untuk definisi yang lebih formal). Kami biasanya...