Toward Provable One Way Functions. - Hagar Dolev; Shlomi Dolev (IACR Cryptol. ePrint Arch., 2020)