암호해독가의 증명 방법