Mau Tandatangan Kontrak secara Digital tapi Aman??

SIMULTANEOUS CONTRACT SIGNING Simultaneous Contract Signing adalah salah satu istilah di dalam kriptografi yang digunakan untuk menandatangani kontrak secara bersama-sama. Salah satu contoh adalah ketika Alice dan Bob sama-sama menyetujui kontrak, maka untuk mengesahkan kontrak yang mereka buat mereka harus menandatanganinya. Ada beberapa cara yang mereka lakukan untuk menandatangani pesan. Cara yang pertama yakni dengan [...]

Pengenalan “Oblivious Transfer”

Oblivious Transfer Semakin bingung membaca artikel yang saya tulis? Yah betul, itu komentar sebagian besar rekan-rekan saya yang bukan orang kripto. Memang benar apa yang saya tulis sebagian besar adalah istilah yang dalam dunia yang sedang saya pelajari yakni kriptografi. Di dunia inilah saya InsyaAllah akan mengabdikan hidup saya demi nusa dan bangsa saya Indonesia [...]

Introduction Oblivious Signature

Pendahuluan Skema Digital Signature adalah protokol antara signer dan recipient. Pada sistem kunci publik, protokol memiliki secret key sebagai tambahan input rahasia bagi signer. Dengan mengeksekusi protokol, maka recipient akan mendapatkan pesan m yang sudah ditandatangani. Signature s(m) dapat diverifikasi dengan kunci publik yang berkorespondensi. Pada beberapa skema kriptografi, digital signature digunakan sebagai subroutines dari [...]

ABSTRAK “Oblivious Signature”

Oblivious Signature ABSTRAK Oblivious signature secara mudah dapat diartikan sebagai signature yang signernya tidak mempunyai pengetahuan apa-apa tentang baik pesan yang ditandatangani ataupun kunci yang digunakan karena yang memilih kunci atau pesan yang ditandatangani adalah recipient. Ada dua jenis Oblivious Signature. Jenis yang pertama adalah signer memiliki n pesan tetapi hanya memiliki satu kunci. Recipient [...]

Generalities and Noninteractive Zero-Knowledge Proofs

Noninteractive Zero-Knowledge Proofs Carol tidak dapat diyakinkan karena protokol yang digunakan interaktif, dan dia tidak termasuk dalam interaksi. Protokol yang interaktif adalah protokol yang hanya bisa meyakinkan pihak yang berinteraksi. Jika Carol tidak berada dalam interaksi maka tidak akan bisa diyakinkan. Oleh karena itu, untuk meyakinkan pihak ke tiga maka protokol  yang digunakan adalah protokol [...]

Parallel Zero-Knowledge Proofs

Parallel Zero-Knowledge Proofs Beberapa algoritma di atas selalu menyebutkan proses yang dilakukan sebanyak n kali. Proses ini bisa dilakukan secara paralel sehingga tidak harus dilakukan berulang kali. Peggy menggunakan informasinya dan n bilangan acak untuk mentransformasikan hard problem ke n masalah yang isomorfis. Kemudian dia menggunakan informasi dan n bilangan yang ia miliki untuk menyelesaikan [...]

Hamiltonian Cycles

Hamiltonian Cycles Hamiltonian Cycles adalah graf yang lintasannya cycle dan juga melewati setiap titik dari graf itu. Skenario protokol ini adalah Peggy mengetahui graf G dan juga Hamiltonian Cyclesnya tetapi Viktor hanya tahu G tanpa tahu Hamiltonian Cyclesnya. Dengan protokol di bawah ini, maka Peggy dapat meyakinkan Viktor pengetahuannya tentang Hamiltonian Cycles tanpa harus memberitahukan [...]

Graf Isomorfis

Graph Isomorphism Graf adalah jaringan yang menghubungkan titik dengan menggunakan garis. Suatu graf disebut isomorfis jika graf itu sama kecuali namanya. Pada graf dengan ukuran yang besar, maka untuk membuktikan dua graf isomorfik merupakan masalah NP. Misalkan Peggy tahu isomorfis antara G1 dan G2. Protokol di bawah ini akan meyakinkan Viktor pengetahuan Peggy : Peggy [...]

Zero-Knowledge Proof that n Is a Blum Integer

Zero-Knowledge Proof that n Is a Blum Integer Tidak ada zero-knowledge proofs secara praktek yang benar-benar menggunakan Blum Integer. Bagaimanapun jika  nilai n diformat dalam bentuk prqs di mana r dan s adalah bilangan ganjil, maka properti Blum Integer masih bisa digunakan dalam kriptografi. Asumsikan Alice tahu faktorisasi Blum Integer n. Berikut adalah cara yang [...]

Overview Blum Integer

Blum Integer Definisi : Jika p dan q adalah dua bilangan prima yang keduanya kongruen dengan 3 mod 4, maka n=p.q disebut dengan Blum Integer. Fakta     : Jika n adalah Blum Integer, dan a adalah elemen kuadratik residu modulus n, maka a tepat memiliki empat akar modulo n, dan tepat satu diantara empat akar [...]