암호학의 해석 함수: 응용 사례 (예: 타원 곡선 암호학의 해석적 증명)