Inom kryptografi är ett hårt predikat för en envägsfunktion en funktion som tar värdet 0 eller 1, medan dess värde är lätt att beräkna med vetskap och svårt att beräkna endast med kännedom om . Formellt är en polynomiskt beräkningsbar funktion ett hårt predikat för en funktion om den slumpmässiga variabeln är svår att beräkna från slumpvariabeln , där är en slumpvariabel likformigt fördelad på .