An infinitely-often one-way function based on an average-case assumption