이산 로그

문제: 차수가 알려진 군 원소 `g`와 그 순환부분군 `⟨g⟩` 안의 원소 `h`가 주어졌을 때, `g^x = h`를 만족하는 정수 `x`를 찾아라 (곡선의 덧셈 표기로는 `xG = Q`). secp256k1처럼 잘 고른 타원곡선에서 알려진 가장 빠른 알고리즘조차 군 연산을 대략 `√n`번 필요로 한다 (`n`은 부분군 차수). `n ≈ 2²⁵⁶`이면 약 `2¹²⁸` 연산 — 현재나 가까운 미래의 어떤 컴퓨터로도 닿을 수 없는 규모.