Anticipating Decoder Side-channel Attacks in Fault-tolerant Quantum Computers

양자 컴퓨터를 고도의 긴장감이 흐르는 마술 쇼라고 상상해 보십시오. 마술사(양자 프로세서)는 수백 개의 작고 흔들리는 물리적 카드들로 만들어진 보이지 않는 카드(논리 큐비트)를 사용하여 놀라운 기술을 선보입니다. 이 쇼가 무너지지 않고 계속 진행되도록 하기 위해, 백스테이지 크루(디코더)는 끊임없이 실수를 점검합니다. 이 크루는 마술 기술 자체를 보지는 못하며, 오직 "에러 보고서"라고 불리는 **증후군 데이터(syndrome data)**라는 스트림만을 봅니다. 이 보고들을 마치 "여기서 카드가 뒤집혔어!"라거나 "저기서 무언가 흔들렸어!"라고 알려주는 긴박한 텔레타이프 전송문처럼 생각하십시오.

수년 동안 모든 이들은 이 텔레타이프 전송문이 그저 지루한 소음—마치 음악이 연주될 수 있도록 정리가 필요한 라디오의 정전기 같은 것—이라고 가정해 왔습니다. 하지만 Shukla, Browne, 그리고 Nishio의 논문은 놀라운 새로운 아이디어를 제시합니다: 그 정전기는 단순한 소음이 아니라, 비밀 일기일 수도 있다는 것입니다.

정전기 속에 숨겨진 비밀 일기

저자들은 새로운 종류의 스파이 게임을 제안합니다. 디코더를 "정직하지만 호기심 많은" 직원이라고 상상해 보십시오. 그들은 마술 쇼가 계속되도록 실수를 완벽하게 수정하며 자신의 직무를 수행하지만, 동시에 몰래 엿보기도 합니다. 그들은 쇼를 망치거나 결과를 바꿀 수는 없지만, 텔레타이프 전송문을 읽는 것은 허용됩니다.

이 논문의 주요 발견은 논리 게이트(마술 기술)가 에러 보고서에 고유한 "지문"을 남긴다는 것입니다. 마치 특정 종류의 신발이 진흙에 독특한 발자국 패턴을 남기는 것처럼, 특정 양자 게이트는 증후군 데이터에 독특한 패턴을 남깁니다. 디코더가 현재 어떤 기술이 수행되고 있는지 알지 못하더라도, 에러의 패턴은 그 기술을 드러냅니다.

지문이 작동하는 방식

연구진은 타일 격자 형태인 **표면 코드(surface code)**라는 특정 양자 컴퓨터 아키텍처에 집중했습니다. 그들은 다양한 "기술"(게이트)이 이 격자에 어떤 영향을 미치는지 시뮬레이션했으며, 에러가 기술에 따라 다르게 행동한다는 것을 발견했습니다:

• 무대 설정 (초기화): 만약 마술사가 "0" 카드로 시작한다면 에러 보고서는 한 가지 방식으로 나타납니다. 만약 "플러스" 카드로 시작한다면 보고서는 다르게 나타납니다. 이는 젖은 스펀지가 마른 스펀지보다 다른 물보라 패턴을 남기는 것과 같습니다.
• 아이덴티티 기술 (Identity Trick): 아무것도 하지 않는 것(Identity 게이트)은 기계의 배경 소음과 똑같은 패턴을 남깁니다.
• 파울리 기술 (X, Y, Z): 이것들은 단순한 반전입니다. 논문은 기계의 배경 소음이 완벽하게 균형을 이루고 있다면, 이 세 가지 기술이 디코더에게 동일하게 보인다는 것을 발견했습니다. 이는 마치 빨간 공, 파란 공, 초록 공을 모두 동일하고 흐릿한 안개로 감싸 놓았을 때 그 차이를 구별하려고 애쓰는 것과 같습니다.
• 하다마드(Hadamard) 및 페이즈(Phase) 기술: 이것들은 더 복잡합니다. 이들은 에러를 시간적으로 재배치합니다. 디코더는 "X" 계열의 에러가 갑자기 "Z" 계열의 에러처럼 보이게 되는 것을 목격할 수 있으며, 이를 통해 하다마드 게이트가 사용되었음을 드러냅니다.
• 두 개의 카드를 사용하는 큰 기술 (CX 게이트): 두 논리 카드가 상호작용할 때, 에러 패턴은 더욱 흥미로워집니다.
  • 횡단 CX (Transversal CX): 이것은 두 팀의 사람들이 특정하고 조율된 대열로 악수를 하는 것과 같습니다. 에러 보고서는 두 팀 전체에 걸친 동기화된 "물결"을 보여줍니다.
  • 격자 수술 CX (Lattice Surgery CX): 이것은 두 개의 별도 방을 하나의 큰 방으로 합쳤다가 다시 나누는 것과 같습니다. 에러 보고서는 방이 합쳐진 경계 부분에서 발생하는 활동의 폭발을 보여줍니다.

연구진은 이러한 시나리오들에 대해 시뮬레이션을 실행했습니다. 그 결과, 일부 게이트(단순 반전 등)는 구별하기 어렵지만, 하다마드, 페이즈, 그리고 두 가지 유형의 CX 게이트와 같은 다른 게이트들은 독특한 시그니처를 남긴다는 것을 발견했습니다. 시뮬레이션에서 디코더는 하다마드 게이트의 경우 약 86.7%, 페이즈 게이트의 경우 **91.9%**의 확률로 이 게이트들을 정확히 식별할 수 있었던 반면, 단순한 X, Y, Z 게이트는 여전히 혼란스러운 잔상으로 남았습니다.

전체 쇼의 재구성

논문은 여기서 멈추지 않습니다. "만약 스파이가 개별 기술의 지문을 시간의 흐름에 따라 관찰한다면, 전체 대본을 알아낼 수 있을까?"라고 질문합니다.

저자들은 다양한 게이트 유형의 수가 시간이 지남에 따라 어떻게 변하는지를 관찰함으로써, 디코더가 실행 중인 알고리즘을 추측할 수 있다고 제안합니다. 그들은 세 가지 유명한 양자 알고리즘을 시뮬레이션했습니다:

1. 진폭 증폭 (Amplitude Amplification): 시뮬레이션에서의 게이트 수는 심장 박동처럼 완벽하고 반복적인 리듬을 타며 오르내렸습니다.
2. HHL 알고리즘: 패턴은 드라마틱한 절정이 있는 이야기처럼, 중간 부분에 집중적인 활동이 몰리는 대칭성을 보여주었습니다.
3. 양자 푸리에 변환 (Quantum Fourier Transform): 게이트 밀도는 낮게 시작하여 중간에 정점에 도달한 후 끝에서 떨어졌는데, 이는 군중이 모였다가 흩어지는 모습과 같았습니다.

논문은 이러한 "이동 평균(rolling averages)"을 살펴봄으로써, 디코더가 회로도를 보지 않고도 알고리즘을 구별할 수 있다고 시사합니다. 만약 알고리즘이 반복적인 구조(예: 그로버 탐색)를 가지고 있다면, 디코더는 "다수결"을 사용하여 실수를 바로잡고 전체 회로를 높은 정확도로 재구성할 수 있습니다.

이 논문이 배제하는 것

이 논문이 주장하는 바를 이해하는 것이 매우 중요합니다.

• 이 논문은 디코더가 데이터 자체의 암호를 풀 수 있다고 말하는 것이 아닙니다. 이 공격은 데이터의 무결성(결과의 정확성)이 아니라 프로세스의 기밀성(어떤 알고리즘이 실행되는지)에 관한 것입니다.
• 모든 게이트를 쉽게 식별할 수 있다고 주장하는 것도 아닙니다. 논문은 편향되지 않은 노이즘 하에서 X, Y, Z 게이트는 구별 불가능하다고 명시적으로 밝히고 있습니다.
• 이 논문이 아직 실제 기계에 적용 가능한 입증된 현실 세계의 공격이라고 주장하는 것도 아닙니다. 결과는 시뮬레이션과 이론적 모델에 기반하고 있습니다. 저자들은 이러한 발견을 검증하기 위해 향후 "실시간 시연이 구현되어야 한다"고 명시적으로 언급했습니다.

핵심 요점

논문의 결론은 우리가 더 이상 증후군 데이터를 단순히 무시해도 되는 "배경 소음"으로 취급해서는 안 된다는 것입니다. 그것은 보안에 민적인 정보입니다.

저자들은 트레이드오프(절충 관계)를 제안합니다. 디코더를 더 똑똑하고 빠르게 만들기 위해 엔지니어들은 종로종종 회로에 대한 더 많은 정보를 제공합니다. 하지만 회로를 비밀로 유지하고 싶다면, 디코더에게 더 적은 정보를 주어야 할 수도 있으며, 이는 속도를 늦추거나 정확도를 떨어뜨릴 수 있습니다.

현재로서는, 이 논문의 유일한 보안 권고 사항은 간단합니다: 당신의 디코더를 믿으십시오. 만약 당신이 실행 중인 알고리즘을 누군가 알기를 원치 않는다면, 반드시 디코더 시스템이 신뢰할 수 있는 당사에 의해 구축되어야 하며 엿보는 눈으로부터 안전해야 합니다. 이 지문들을 데이터에서 지우는 방법을 알아내기 전까지, 디코데가 바로 당신의 양자 비밀로 가는 지도를 쥐고 있는 자입니다.