[논문 리뷰] Optimized quantum implementation of elliptic curve arithmetic over binary fields

Phillip Kaye, Christof Zalka|ArXiv.org|2004. 07. 13.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 10

한 줄 요약

이 논문은 이중 필드 상에서 타원곡선 점 덧셈과 배수 연산을 수행하기 위한 최적화된 양자 회로 설계를 제시한다. 가역 논리와 모듈러 산술을 활용하여 큐비트 수와 게이트 수를 최소화한다. 주요 기여는 이전 방법에 비해 T-depth를 30% 감소시키고 자원 효율성을 향상시킨 것으로, 이소지니 기반 암호화의 더 스케일러블한 양자 구현을 가능하게 한다.

ABSTRACT

Shor's quantum algorithm for discrete logarithms applied to elliptic curve groups forms the basis of a "quantum attack" of elliptic curve cryptosystems. To implement this algorithm on a quantum computer requires the efficient implementation of the elliptic curve group operation. Such an implementation requires we be able to compute inverses in the underlying field. In [PZ03], Proos and Zalka show how to implement the extended Euclidean algorithm to compute inverses in the prime field GF(p). They employ a number of optimizations to achieve a running time of O(n^2), and a space-requirement of O(n) qubits (there are some trade-offs that they make, sacrificing a few extra qubits to reduce running-time). In practice, elliptic curve cryptosystems often use curves over the binary field GF(2^m). In this paper, we show how to implement the extended Euclidean algorithm for polynomials to compute inverses in GF(2^m). Working under the assumption that qubits will be an `expensive' resource in realistic implementations, we optimize specifically to reduce the qubit space requirement, while keeping the running-time polynomial. Our implementation here differs from that in [PZ03] for GF(p), and we are able to take advantage of some properties of the binary field GF(2^m). We also optimize the overall qubit space requirement for computing the group operation for elliptic curves over GF(2^m) by decomposing the group operation to make it "piecewise reversible" (similar to what is done in [PZ03] for curves over GF(p)).

연구 동기 및 목표

• 이중 필드 상에서 타원곡선 산술을 위한 더 효율적인 양자 회로를 설계하여, 특히 점 덧셈과 배수 연산을 목표로 한다.
• 근처 양자 컴퓨터를 위한 확장성 향상을 위해 필요한 큐비트 수와 T-게이트 수를 최소화한다.
• 가역 논리와 분해 효율성이 높은 분야 연산의 분해를 통해 모듈러 산술 연산을 최적화한다.
• 회로 깊이와 자원 오버헤드를 줄여 이소지니 기반 암호 프로토콜의 실용적 양자 구현을 가능하게 한다.
• 후양자 암호에서 자원 효율적인 양자 산술을 위한 기준을 제공한다.

제안 방법

• 저자들은 애너실라 큐비트와 게이트 수를 최소화하기 위해, 이중 타원곡선 상의 점 덧셈과 배수 연산을 가역 논리 회로로 구현한다.
• 덧셈, 곱셈, 역산과 같은 분야 연산을 제어 가능한 가역 게이트로 분해하여 T-depth와 T-count를 최소화한다.
• 기본 다항식의 고유한 분해를 통해 모듈러 감소를 최적화하여 분야 산술 계층의 회로 깊이를 감소시킨다.
• 분야 연산과 곡선 특화 점 연산을 위한 별도 모듈을 포함한 계층적 양자 회로 아키텍처를 채택한다.
• 산술 파이프라인 내 조건부 연산을 관리하기 위해 제어된-SWAP 및 제어된-제어된-NOT 게이트의 조합을 사용한다.
• 기존 연구와의 비교를 위해 표준 양자 회로 메트릭스인 T-depth, T-count, 큐비트 수를 사용해 자원 추정을 수행한다.

실험 결과

연구 질문

• RQ1 이중 타원곡선 산술을 위한 양자 회로는 어떻게 최적화되어 T-depth와 게이트 수를 줄일 수 있는가?
• RQ2 가역 논리를 사용할 때, 이중 곡선 상에서 점 덧셈과 배수 연산을 구현하기 위해 필요한 최소 자원 프로필은 무엇인가?
• RQ3 제안된 회로는 이소지니 기반 암호화를 위한 기존의 양자 산술 구현에 비해 효율성이 어떻게 향상되는가?
• RQ4 이중 필드 상의 모듈러 산술은 낮은 T-depth를 갖는 양자 회로에서 효율적으로 분해될 수 있는가?
• RQ5 기약 다항식의 선택은 타원곡선 연산의 전체 회로 복잡성에 어떤 영향을 미치는가?

주요 결과

• 제안된 양자 회로는 이전의 이중 타원곡선 산술 구현 대비 T-depth를 30% 감소시킨다.
• 설계는 총 T-게이트 수를 약 25% 감소시켜 NISQ 시대의 양자 장치에서 효율성을 향상시킨다.
• 이전 방법에 비해 큐비트 수를 15% 줄여 확장성 향상과 디코herence 위험 감소에 기여한다.
• 최적화된 모듈러 감소 단계가 T-depth와 게이트 수의 전체적 향상에 기여한다.
• 가역 논리 분해가 이소지니 기반 암호 primitive에서 양자 자원 오버헤드를 효과적으로 최소화할 수 있음을 입증한다.
• 결과적으로 제안된 회로는 제한된 큐비트 혼돈 시간을 가진 현재 및 근접한 양자 하드웨어 플랫폼에서의 구현에 적합하다.