Вычислительно необратимая функция - функция, для которой
- легко вычисляется значение функции по заданному аргументу; и
- сложно вычисляется значение аргумента по заданному значению функции.
Для хорошо спроектированной вычислительно необратимой функции вычисление аргумента по заданному значению функции невозможно способом более эффективным способом, чем перебор по множеству возможных значений аргументов.