Correlation-Intractable Hash Functions and Their Appliction to NIZK

Vahdani Ghaleh Ghourineh, Behzad | 2021

177 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 54570 (02)
  4. University: Sharif University of Technology
  5. Department: Mathematical Sciences
  6. Advisor(s): Khazaei, Shahram
  7. Abstract:
  8. 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
  9. Keywords:
  10. Random Oracle Model ; Fiat-Shamir Heuristic ; Non-Interactive Zero-Knowledge Proof (NIZK) ; Correlation-Intractable Hash Functions

 Digital Object List


...see more