Category talk:Computational hardness assumptions