Correlation-Intractable Hash Functions and Their Appliction to NIZK

Please enable javascript in your browser.

Vahdani Ghaleh Ghourineh, Behzad | 2021

311 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 54570 (02)
University: Sharif University of Technology
Department: Mathematical Sciences
Advisor(s): Khazaei, Shahram
Abstract:
Correlation-intractability is a random-oracle-like property of hash functions, so one can expect that constructions that are secure in random-oracle-model, remain secure when implemented using a correlation-intractable hash function. This is true about Fiat-Shamir transform which is a method for eliminating interaction from public-coin interactive proofs. One can see that when this method is applied to a public-coin three-round honest-verifier zero-knowledge proof, using a correlation-intractable hash function that also satisfies some mild assumption, the result is a NIZK argument. This is the basis for the correlation-intractability framework for NIZK which recently has been used to construct NIZK based on assumptions like LWE and subexponential DDH. In this thesis, we review the works done in this area
Keywords:
Random Oracle Model ; Fiat-Shamir Heuristic ; Non-Interactive Zero-Knowledge Proof (NIZK) ; Correlation-Intractable Hash Functions