[논문 리뷰] Adding digit vectors

Peter Hellekalek|arXiv (Cornell University)|2012. 09. 17.

Digital Image Processing Techniques참고 문헌 12인용 수 3

한 줄 요약

이 논문은 기수 $ b \geq 2 $ 에서 길이 $ m $ 인 숫자 벡터에 대한 모든 가능한 아벨 군 연산(덧셈)을 조사하며, 이들 중 최소 $ 2^{m-1} $ 개의 서로 다른 연산이 존재함을 보여준다. 핵심 결과는 모든 유효한 덧셈이 $ m $ 의 분할과 잔여군 $ \mathbb{Z}/b^t\mathbb{Z} $ 의 자기동형사상의 조합으로 유도된다는 것이다. 이에 따라 소수 기수 $ p $ 에서는 $ (p-1)(2p-1)^{m-1} $ 개의 서로 다른 덧셈이 존재하며, 스트림 암호 및 블록 암호와 같은 암호 primitive의 설계 공간을 크게 확장한다.

ABSTRACT

In this paper, we study the different possibilities to add two vectors of digits of a given length $m$. Our results show that there are at least $2^{m-1}$ different additions of such vectors, while there exist only two types of addition that we may employ, addition with carry and addition without carry. The proofs of our results are elementary.

연구 동기 및 목표

• 숫자 벡터 집합 $ \mathcal{A}_b^m $ 에서 덧셈에 대해 아벨 군을 만족시키는 모든 이진 연산을 분류하기.
• 기수 $ b \geq 2 $ 에서 길이 $ m $ 인 숫자 벡터에 대해 이러한 군 연산이 얼마나 많은 서로 다른 종류로 존재하는지 파악하기.
• 스트림 암호 및 블록 암호 설계에 사용될 수 있는 표준 두 가지 유형 이외의 덧셈 방식(예: 캐리가 있는 덧셈과 캐리가 없는 덧셈, 즉 XOR 이외의 방식)이 존재하는지 탐색하기.
• 잔여군 $ \mathbb{Z}/b^t\mathbb{Z} $ 의 자기동형사상이 어떻게 추가로 서로 다른 덧셈 연산을 생성할 수 있는지 조사하기.
• 각 숫자 블록에서 덧셈 유형을 다양화함으로써 암호 키 공간을 확대하고, 스트림 암호 및 블록 암호의 혼동성과 확산성을 향상시키는 프레임워크 제공하기.

제안 방법

• 유한 아벨 군의 기본 정리를 활용하여, $ m $ 의 분할에 기반해 $ \mathcal{A}_b^m $ 을 순환군 $ \mathbb{Z}/b^{t_i}\mathbb{Z} $ 의 곱으로 분해하기.
• 각 성분 $ \mathbb{Z}/b^{t_i}\mathbb{Z} $ 에서 정수 덧셈 모듈로 $ b^{t_i} $ 를 사용하여 군 연산을 정의하고, 정수 표현에 대해 가능한 자기동형사상 $ \sigma $ 를 적용하기.
• 숫자 벡터를 정수로 변환하기 위해 $ \operatorname{int}_b(\mathbf{x}) = \sum_{j=0}^{t-1} x_j b^j $ 를 적용하고, $ \mathbb{Z}/b^t\mathbb{Z} $ 에서 연산을 수행한 후 $ \operatorname{dig}_b $ 를 통해 다시 숫자 벡터로 매핑하기.
• 잔여군 $ \mathbb{Z}/b^t\mathbb{Z} $ 의 유효한 자기동형사상의 수를 세며, 이는 오일러 파이 함수 $ \varphi $ 를 사용해 $ \varphi(b^t) $ 이다.
• $ m $ 의 모든 분할과 각 성분에 대한 모든 자기동형사상 선택을 조합하여 서로 다른 군 연산의 총 수를 계산하기.
• 소수 기수 $ p $ 에서의 폐쇄형 표현식 $ (p-1)(2p-1)^{m-1} $ 을 유도하고, 일반 기수 $ b $ 에 대해 $ b^{m} C_b (1 + C_b)^{m-1} $ 으로 일반화하며, 여기서 $ C_b = \prod_{i=1}^s (1 - 1/p_i) $ 이다.

실험 결과

연구 질문

• RQ1 숫자 벡터 $ \mathcal{A}_b^m $ 에서 아벨 군 구조를 만족시키는 덧셈 연산이 표준 두 가지 유형(캐리가 있는 덧셈과 캐리가 없는 덧셈, 즉 XOR) 이외에도 더 존재하는가?
• RQ2 분할과 잔여군의 자기동형사상을 고려할 때, $ \mathcal{A}_b^m $ 에 정의할 수 있는 서로 다른 아벨 군 연산의 수는 얼마인가?
• RQ3 성분 군 $ \mathbb{Z}/b^t\mathbb{Z} $ 에 자기동형사상 적용이 서로 다른 덧셈 연산의 수를 상당히 증가시킬 수 있는가?
• RQ4 소수 기수 $ p $ 에서 $ \mathcal{A}_p^m $ 에 정의된 서로 다른 아벨 군 연산의 정확한 수는 얼마인가? 이때 분할과 자기동형사상이 고려된다.
• RQ5 이러한 연산의 수는 $ m $ 과 함께 어떻게 증가하는가? 이러한 연산을 암호의 키 스케줄 부분으로 사용할 경우 암호 보안에 어떤 영향을 미치는가?

주요 결과

• 자동동형사상 고려 없이도, $ m $ 의 분할 수에 해당하는 $ 2^{m-1} $ 개 이상의 서로 다른 아벨 군 연산이 $ \mathcal{A}_b^m $ 에 존재한다.
• 소수 기수 $ p $ 에서 $ \mathcal{A}_p^m $ 에 존재하는 서로 다른 아벨 군 연산의 총 수는 $ (p-1)(2p-1)^{m-1} $ 이며, 이는 $ m $ 의 분할과 $ \mathbb{Z}/p^{t_i}\mathbb{Z} $ 의 자기동형사상으로 유도된다.
• 기수 $ p = 2 $ 이고 $ m = 8 $ 일 경우, 서로 다른 덧셈의 수는 $ 3^7 = 2187 $ 개이며, 이는 표준 XOR 및 정수 덧셈 방식을 크게 초월한다.
• $ \mathbb{Z}/b^t\mathbb{Z} $ 의 자기동형사상 수는 $ \varphi(b^t) $ 이며, 이는 multiplicative이며 $ b $ 의 소인수 분해에 따라 달라진다.
• 일반 기수 $ b $ 에서는 총 서로 다른 덧셈의 수가 $ b^m C_b (1 + C_b)^{m-1} $ 이며, 여기서 $ C_b = \prod_{i=1}^s (1 - 1/p_i) $ 이고, $ p_i $ 는 $ b $ 의 서로 다른 소인수이다.
• 이 구성 방식은 각 숫자 블록에서 덧셈 유형을 다양화함으로써 암호 시스템의 키 공간을 크게 확장하고, 혼동성과 확산성을 향상시키는 데 기여한다.