@article {634702, title = {Inaccessible entropy II: IE functions and universal one-way hashing}, journal = {Theory of Computing}, volume = {16}, number = {8}, year = {2020}, pages = {1-55}, publisher = {Springer-Verlag}, abstract = { Version History: published earlier in\ Henri Gilbert, ed., Advances in Cryptology{\textemdash}EUROCRYPT {\textquoteleft}10, Lecture Notes on Computer Science, as "Universal one-way hash functions via inaccessible entropy":\  https://link.springer.com/chapter/10.1007/978-3-642-13190-5_31 \  This paper revisits the construction of Universal One-Way Hash Functions (UOWHFs) from any one-way function due to Rompel (STOC 1990). We give a simpler construction of UOWHFs, which also obtains better efficiency and security. The construction exploits a strong connection to the recently introduced notion of\ inaccessible entropy\ (Haitner et al. STOC 2009). With this perspective, we observe that a small tweak of any one-way function\ \(f\)\ is already a weak form of a UOWHF: Consider\ \(F(x{\textquoteright}, i)\)\ that outputs the\ \(i\)-bit long prefix of \(f(x)\). If\ \(F\)\ were a UOWHF then given a random\ \(x\)\ and\ \(i\)\ it would be hard to come up with\ \(x{\textquoteright} \neq x\)\ such that\ \(F(x, i) = F(x{\textquoteright}, i)\). While this may not be the case, we show (rather easily) that it is hard to sample\ \(x{\textquoteright}\)\ with almost full entropy among all the possible such values of\ \(x{\textquoteright}\). The rest of our construction simply amplifies and exploits this basic property. With this and other recent works, we have that the constructions of three fundamental cryptographic primitives (Pseudorandom Generators, Statistically Hiding Commitments and UOWHFs) out of one-way functions are to a large extent unified. In particular, all three constructions rely on and manipulate computational notions of entropy in similar ways. Pseudorandom Generators rely on the well-established notion of pseudoentropy, whereas Statistically Hiding Commitments and UOWHFs rely on the newer notion of inaccessible entropy. }, url = {http://theoryofcomputing.org/articles/v016a008/}, author = {Iftach Haitner and Thomas Holenstein and Omer Reingold and Salil Vadhan and Hoeteck Wee} }