[math-fun] Why cryptosystems should be tiny