Toward Provable One Way Functions

Hagar Dolev, Shlomi Dolev

Research output: Working paper/PreprintWorking paper


The existence of a provable one-way function is a long-standing open problem. This short note presents an example towards the existence a provable one-way function, example in which both directions are polynomial. Namely, we prove that given a sorted array it takes Θ(n) operations to randomly permute the array values uniformly over the permutation space, while (comparison based) sorting of the permuted array (of big enough values) requires in the worst case (and in the average case) Θ(n log n) compare operations. We also present a candidate cryptosystem based on permutations of random polynomial values.
Original languageEnglish
Number of pages4
StatePublished - 28 Oct 2020


  • One-way functions
  • Cryptography
  • Merkle Puzzles


Dive into the research topics of 'Toward Provable One Way Functions'. Together they form a unique fingerprint.

Cite this