리드무어 다항식 기반 임의 모듈러 연산 구현

초록

본 논문은 리드무어(RM) 다항식 전개를 이용해 X mod P 연산을 하드웨어 수준에서 효율적으로 구현하는 새로운 방법을 제시한다. 임의의 정수 P에 대해 적용 가능하며, 기존 방식에 비해 연산 속도와 회로 복잡도에서 경쟁력을 보인다. 9비트 입력 X와 P = 7인 사례를 통해 성능을 실험적으로 검증하였다.

상세 분석

본 연구는 모듈러 연산을 디지털 회로에 직접 매핑하는 방식을 재고한다. 전통적으로 모듈러 연산은 나눗셈 기반 알고리즘(예: Montgomery, Barrett)이나 반복 뺄셈 방식으로 구현되었으며, 이들 방법은 연산 주기가 길어지거나 특정 모듈러 값에 특화된 최적화가 필요했다. 저자는 이러한 한계를 극복하기 위해 리드무어(RM) 다항식 전개, 즉 불 대수식의 0‑1 계수를 이용한 다항식 형태로 X mod P를 표현한다. RM 전개는 입력 비트 X₀…Xₙ₋₁을 논리곱·합 연산만으로 결합해 원하는 출력 비트를 생성하므로, 하드웨어 레벨에서 AND, XOR 게이트만으로 구현이 가능하다. 특히, RM 전개는 모듈러 값 P가 어떤 정수이든지 상관없이 전개 과정을 자동화할 수 있는 알고리즘을 제공한다. 논문에서는 P를 이진수로 표현한 뒤, 각 비트 위치에 대한 계수를 구하는 절차를 상세히 설명하고, 이를 기반으로 회로의 논리식 트리를 구성한다.

핵심적인 기술적 기여는 두 가지이다. 첫째, RM 전개를 이용해 모듈러 연산을 ‘정적’ 회로로 변환함으로써 실행 시점에 동적인 나눗셈 연산을 제거한다. 둘째, 전개 과정에서 불필요한 항을 최소화하는 최적화 기법을 도입해 게이트 수와 전력 소비를 감소시킨다. 저자는 전통적인 LUT‑based 구현과 비교했을 때, 동일한 비트 폭에 대해 약 30 % 이상의 지연 감소와 20 % 이하의 면적 절감을 달성했다고 보고한다.

또한, 논문은 X =