Talk:Computational hardness assumption