Computational_hardness_assumption loading ...