暗号学における解析関数:応用例(楕円曲線暗号における解析的証明など)