[논문 리뷰] Pseudorandom number generation by p-adic ergodic transformations: an addendum

Vladimir Anashin|arXiv (Cornell University)|2004. 02. 26.

advanced mathematical theories참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $p$-adic 에르고딕 변환 이론을 다변량 의사난수 생성기로 확장하여, $\mathbb{Z}_2$ 위에서의 단변량 에르고딕 매핑이 체계적으로 $m$-변량 형태로 변환되어 성능과 암호학적 성질이 향상됨을 보여준다. 주요 기여는 공액 매핑과 와이어드 프로덕트 기법을 활용하여 순환 구조가 향상되고 등확률 출력 시퀀스를 갖는 카운터 의존적 생성기를 설계하는 프레임워크를 제공하는 것이다.

ABSTRACT

The paper study counter-dependent pseudorandom number generators based on $m$-variate ($m>1$) ergodic mappings of the space of 2-adic integers $\Z_2$. The sequence of internal states of these generators is defined by the recurrence law $\mathbf x_{i+1}= H^B_i(\mathbf x_i)\bmod{2^n}$, whereas their output sequence is %while its output sequence is of the $\mathbf z_{i}=F^B_i(\mathbf x_i)\mod 2^n$; here $\mathbf x_j, \mathbf z_j$ are $m$-dimensional vectors over $\Z_2$. It is shown how the results obtained for a univariate case could be extended to a multivariate case.

연구 동기 및 목표

• 단변량에서 다변량 $m$-차원 매핑으로의 카운터 의존적 의사난수 생성기를 $\mathbb{Z}_2$ 위에서 일반화하기.
• 단변량 매핑으로부터 다변량 호환성 있고 에르고딕인 매핑을 유도하는 체계적인 방법을 제시하기 위해 이중사상 $B$를 사용하기.
• $n$-비트 단일 순환 치환을 $(n+K)$-비트 단일 순환 치환으로 상향시켜 다변량 생성기를 설계함으로써 $(n+K)$-비트 단어에서의 단일 순환 치환을 가능하게 하기.
• 다변량 표현을 활용하여 선형 및 $2$-adic 스펜, $k$-튜플 분포와 같은 암호학적 특성을 향상시키기.

제안 방법

• 열 기반 비트 인터리빙을 통해 $m$-튜플의 $2$-adic 정수를 단일 $2$-adic 정수로 인코딩하는 이중사상 $B: (\mathbb{Z}_2)^{(m)} \to \mathbb{Z}_2$ 정의하기.
• 에르고딕일 경우 $H$에 대해 $(\mathbb{Z}_2)^{(m)}$에서의 공액 매핑 $H^B = B^{-1} \circ H \circ B$를 구성하여 에르고딕성과 호환성을 유지하기.
• 논문 [1]의 에르고딕성 기준—특히 $\varphi_i^T$ 가 홀수 무게이자 차수 $i$여야 함—을 활용하여 $H^B$ 가 에르고딕임을 보장하기.
• 와이어드 프로덕트 기법을 활용하여 $n$-비트 순환 치환의 단일 순환 구조를 $(n+K)$-비트 순환 치환으로 상향시키기.
• 기존 $H_i^B$ 기반의 출력 함수 $F_i^B$를 설계하여 기간이 연장되고 통계적 성질이 향상된 시퀀스 생성하기.
• 등분포성 및 치환 행동을 검증하기 위해 $2$-adic 분석과 균일하게 미분 가능한 근사 기법을 적용하기.

실험 결과

연구 질문

• RQ1 단변량 $p$-adic 에르고딕 매핑을 체계적으로 다변량 $m$-차원 매핑으로 변환하면서 에르고딕성과 호환성을 유지할 수 있는 방법은 무엇인가?
• RQ2 단변량 매핑 $H$ 가 $\mathbb{Z}_2$ 에서 에르고딕일 경우, $(\mathbb{Z}_2)^{(m)}$ 에서의 공액 매핑 $H^B$ 가 에르고딕임을 보장하는 조건은 무엇인가?
• RQ3 다변량 표현과 와이어드 프로덕트 기법을 통해 $n$-비트 순환 치환의 순환 구조를 $(n+K)$-비트 순환 치환으로 상향시킬 수 있는가?
• RQ4 다변량 표현은 출력 시퀀스의 선형 및 $2$-adic 스펜, $k$-튜플 분포에 어떤 영향을 미치는가?
• RQ5 $2$-adic 분석과 도함수 기반 방법을 통해 다변량 $T$-함수에서 등분포성 및 치환 행동을 얼마나 정밀하게 검증할 수 있는가?

주요 결과

• 원래 단변량 매핑 $H$ 가 $\mathbb{Z}_2$ 에서 에르고딕일 때이고 그뿐일 때, $(\mathbb{Z}_2)^{(m)}$ 에서의 공액 매핑 $H^B$ 는 호환성과 에르고딕성을 유지하며 핵심 암호학적 성질을 그대로 보존한다.
• 다변량 표현은 $n$-비트 단어에서 단일 순환 치환을 갖는 $T$-함수의 설계를 가능하게 하며, [7]의 예시에서 이를 입증하였다. 이는 장기 주기 생성기를 가능하게 한다.
• 이 방법을 통해 $n$-비트 순환 치환의 단일 순환 구조를 $(n+K)$-비트 순환 치환으로 상향시켜 생성기의 최대 주기를 보장할 수 있다.
• $F_i^B$ 를 통한 출력 시퀀스는 $k$-튜플의 균일 분포 및 연장된 선형 및 $2$-adic 스펜과 같은 유리한 통계적 성질을 그대로 이어받는다.
• $2$-adic 도함수와 균일하게 미분 가능한 근사 기법의 활용은 다변량 $T$-함수에서 등분포성 및 치환 행동을 체계적으로 검증할 수 있는 엄밀한 프레임워크를 제공한다.
• 에르고딕 이론 원리와 $p$-adic 연속성에 기반하여, 증명 가능하고 강력한 암호학적 성질을 갖는 카운터 의존적 생성기 설계를 지원하는 프레임워크이다.