자기동형사상 (Automorphism)

자기동형사상(automorphism)은 어떤 대수 구조(군, 환, 체, 타원곡선 등)를 자기 자신으로 보내는 동형사상, 즉 연산을 보존하는 전단사 함수입니다. 군 G라면 모든 a, b에 대해 f(a·b) = f(a)·f(b)이고 f가 일대일 대응이면 f는 G의 자기동형사상입니다. 구조의 '대칭'을 수학적으로 표현한 것입니다.

자세히 알아보기

한 구조의 자기동형사상들을 모두 모으면 함수 합성에 대해 다시 군을 이루며, 이를 자기동형군 Aut(G)라고 합니다. 항등 함수는 언제나 자기동형사상입니다.

대표적인 예는 다음과 같습니다.

• 정수 덧셈군에서 x ↦ −x.
• 아벨 군에서 원소를 역원으로 보내는 사상 x ↦ x⁻¹.
• 복소수체에서 켤레 사상 a + bi ↦ a − bi.
• 유한체 GF(p^k)에서 x ↦ x^p(프로베니우스 자기동형사상). 이것들이 GF(p^k)의 모든 자기동형사상을 생성하며, 갈루아 이론의 출발점입니다.

자기동형사상은 구조 안에 '구별할 수 없는 대칭'이 있다는 뜻이기도 해서, 암호 분석에서는 탐색 공간을 줄이는 지름길이 되고, 설계에서는 연산을 빠르게 하는 도구가 됩니다.

블록체인·암호화폐에서는

• 타원곡선 점의 부호 반전: 곡선 위 점 P를 −P로 보내는 사상은 그룹의 자기동형사상입니다. 이 대칭 덕분에 이산 로그를 푸는 폴라드 로 알고리즘이 약 √2배 빨라지며, 곡선의 안전성 수준 계산에 이 효과가 반영됩니다.
• secp256k1의 GLV 사상: 비트코인 곡선 secp256k1에는 φ(x, y) = (βx, y)(β는 1의 세제곱근)라는 효율적인 자기동형사상이 있어, φ(P) = λP가 됩니다. libsecp256k1은 이를 이용해 스칼라 곱을 두 개의 짧은 곱으로 나눠 서명 검증을 빠르게 합니다.
• 페어링과 영지식 증명: BLS12-381·BN254 같은 페어링 곡선 계산과 확장체 연산에는 프로베니우스 자기동형사상이 핵심적으로 쓰입니다.

쉽게 말하면

자기동형사상은 정사각형을 90도 돌려도 여전히 똑같은 정사각형으로 보이는 것처럼, 구조를 바꾸지 않는 '자기 자신으로의 재배치'입니다.

예시

GF(4) = {0, 1, ω, ω+1}에서 x ↦ x²는 0과 1은 그대로 두고 ω와 ω+1을 맞바꾸는 자기동형사상입니다.

또 GF(2⁸)에서 x ↦ x²는 AES가 쓰는 바이트 체의 자기동형사상으로, (a + b)² = a² + b², (ab)² = a²b²가 성립합니다. 이 체의 자기동형사상은 x ↦ x²ⁱ (i = 0, …, 7)의 여덟 개뿐입니다.