ما الذي يجعل تعدين بيتكوين حلالاً