V kryptografii je pevným predikátem pro jednosměrnou funkci funkce , která nabývá hodnoty 0 nebo 1, přičemž její hodnotu lze snadno vypočítat s vědomím a obtížně vypočítat pouze s vědomím . Formálně je polynomiálně vyčíslitelná funkce tvrdým predikátem pro funkci , pokud je náhodná proměnná těžko vypočítatelná z náhodné proměnné , kde je náhodná proměnná rovnoměrně rozdělena na .