Hardness assumptions in the foundations of theoretical computer science