Menjava sporočil med dvema nezaupljivima strankama : magistrsko delo

Klanjšček, Klemen (avtor), Jurišić, Aleksandar (mentor)

Namen magistrske naloge je konstruirati in implementirati protokol, ki omogoča dvema nezaupljiva strankama pošteno izmenjavo zasebnih rešitev problemov iz razreda NP brez posredovanja zaupanja vredne tretje osebe. Protokol omogoča preverjanje ustreznosti rešitev problemov iz razreda NP brez razkritja znanja in zagotavlja poštenost menjave, tj. če ena stranka predčasno odstopi od protokola, potem morata obe stranki vložiti primerljivo enako časa za pridobitev zaprošenih rešitev. Verifikacija sporočil temelji na protokolu "popačeno vezje", postopna poštena izmenjava le-teh pa na časovnih zaprisegah. Omejili smo se na izmenjavo rešitev problema iskanja praslik kriptografskih zgoščevalnih funkcij. Pri predpostavki da imamo dovolj dobro mrežno povezavo med sodelujočima, lahko s tako implementacijo izmenjamo krajša sporočila.

• Jezik: Slovenski jezik
• Ključne besede: večstrankarsko računanje, varna evalvacija funkcij, protokol popačeno vezje, dokaz brez razkritja znanja, sheme za zapriseganje, kriptografija javnih ključev, zgoščevalne funkcije
• Vrsta gradiva: Magistrsko delo/naloga
• Tipologija: 2.09 - Magistrsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko ; FRI - Fakulteta za računalništvo in informatiko
• Leto izida: 2019
• PID: 20.500.12556/RUL-110591
• COBISS.SI-ID: 18722905
• Datum objave v RUL: 18.09.2019

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Exchange of messages between two mistrusting parties

Izvleček

In this thesis we discuss the construction and our implementation of a protocol that allows two independent parties a fair exchange of private solutions of NP problems without a trusted third party. The protocol allows verification of solutions of a NP problem using zero knowledge and ensures fairness of exchange, i.e., if one party quits the protocol early, then the two parties must invest comparable amounts of time to retrieve requested solutions. Verification of solutions is based on the garbled circuit protocol and the fair exchange is formed on timed commitments. Our focus was on exchange of messages with respect to the preimage problem of cryptographic hash functions. Assuming that we have enough bandwidth available we are able to exchange shorter messages.

• Ključne besede: multiparty computation, secure function evalutaion, garbled circuit protocol, zero-knowledge proof, commitment schemes, public-key cryptography, hash functions