인터넷을 거대하고 북적이는 도시라고 상상해 보세요. 그 안에는 저마다의 작고 연약한 작업실을 가진 사람들이 살고 있습니다. 이제, 이 작업실 중 일부가 '양자 컴퓨터'라는 놀랍고도 경이로운 기계를 만들기 시작했다고 상상해 봅시다. 이 기계들은 일반 컴퓨터가 수백만 년 걸릴 문제를 해결할 수 있을 만큼 강력하지만, 동시에 믿기 힘들 정도로 섬세합니다. 열기로 인한 단 한 번의 재채기나 아주 작은 진동조차 계산을 망가뜨릴 수 있습니다. 너무나 연약하고 비싸기 때문에 대부분의 사람들은 이를 직접 소유하지 못할 것입니다. 대신, 대기업들이 소유한 거대하고 중앙 집중적인 '양자 클라우드'의 시간을 빌려 쓰게 될 것입니다.

하지만 여기 문제가 있습니다. 만약 당신의 비밀 레시피나 개인 데이터를 거대한 클라우드로 보내서 요리하게 한다면, 그 클라우드가 요리하는 동안 당신의 레시피를 훔쳐보고 있지 않다는 것을 어떻게 확신할 수 있을까요? 더 나아가, 클라우드가 음식을 태워버리고는 무작위의 가짜 요리를 내놓은 것이 아니라는 것을 어떻게 알 수 있을까요? 이것이 바로 '블라인드(blind)' 및 '검증 가능(verifiable)' 컴퓨팅의 문제입니다. 당신은 클라우드가 당신이 요청한 내용이 무엇인지 알지 못한 채 작업을 수행하기를 원하며(블라인드), 동시에 잘못된 답을 내놓으며 당신을 속이지 못하기를 원합니다(검증 가능). 이 논문은 바로 그 과제를 다루며, 노이즈가 있고 불완전한 기계라는 현실적인 문제를 처리할 수 있는 보안된 분산 양자 클라우드를 구축하는 새로운 방법을 제안합니다.

훔쳐보거나 속일 수 없는 양자 클라우드

사니디아 굽타(Sanidhiya Gupta)와 앙쿠르 라이나(Ankur Raina)는 단일 거대 서버라기보다는 비밀리에 협력하는 스파이 팀에 더 가까운 느낌을 주는 '보안 양자 클라우드'의 청사진을 설계했습니다. 그들의 목표는 사용자(여기서는 앨리스라고 부릅시다)가 일련의 신뢰할 수 없는 서버들(리프 노드들)에게 개인적인 양자 작업을 보낼 때, 서버들이 그 작업이 무엇인지 절대 알 수 없게 하고, 결과에 대해 거짓말을 할 수도 없게 만드는 것입니다.

저자들은 고도의 기술이 집약된 요새와 같은 3단계 시스템을 제안합니다.

1. 비밀 나누기 (분산 저장)
앨리스가 종이 한 장에 비밀 메시지를 적었다고 상상해 봅시다. 메시지 전체를 한 명의 스파이에게 주는 대신, 그녀는 종이를 작고 의미 없는 조각들로 찢어서 열 명의 서로 다른 스파이들에게 나누어 줍니다. 각 스파이는 혼자서는 메시지를 읽을 수 없습니다. 그들이 보는 것은 오직 무작위의 낙서뿐입니다. 설령 세 명의 스파이가 결탁하여 조각들을 비교한다 하더라도, 메시지를 읽을 수 없습니다. 왜냐하면 이 '찢는' 방식은 최소 네 개의 조각이 있어야만 메시지를 복원할 수 있도록 설계되었기 때문입니다.

논문의 용어로 이는 **분산 스테빌라이저 코드 인코딩(distributed stabilizer-code encoding)**이라고 불립니다. 클라이언트의 양자 상태는 여러 서버 노드에 걸쳐 나뉩로 저장됩니다. 수학적으로, 특정 수의 서버(구체적으로는 코드의 '거리' $d$를 기준으로 $d-1$명) 미만이 결탁하는 한, 그들은 원래 데이터에 대해 아무것도 알 수 없음을 보장합니다. 이는 마치 물리 법칙에 의해 규칙이 정해진 양자 버전의 비밀 공유 게임과 같습니다.

2. 노이즈 방지 방패 (로컬 오류 수정)
양자 컴퓨터는 노이즈에 매우 취약합니다. 큐비트(qubit)들이 쉽게 뒤집히거나 오류를 일으키기 때문입니다. 저자들은 만약 각 서버에서 발생하는 모든 미세한 글리치(glitch)를 중앙의 책임자인 앨리스에게 보고해야 한다면, 통신량의 무게 때문에 시스템이 무너질 것이라는 점을 깨달았습니다.

그래서 그들은 두 번째 보호 계층을 추가했습니다. 각 서버 노드를 하나의 독립된 작은 요새라고 생각하십시오. 각 요새 내부에서, 데이터의 단일 '조각'은 더 많은 큐비트로 만들어진 보호 버블에 싸여 있습니다. 이것이 로컬 오류 수정(local error correction) 계층입니다. 만약 요새 내부에서 글리치가 발생하면, 요새는 앨리스를 번거롭게 하지 않고 스스로 문제를 해결합니다. 논문은 이 버블을 만드는 두 가지 방법을 제시합니다. 하나는 헬퍼들이 완벽하다는 가정하에 단일 오류를 수정하기 위해 4개의 큐비트를 사용하는 방식이고, 다른 하나는 가장 흔한 유형의 오류(X 또는 Y 플립)를 매우 효율적으로 수정하면서 드문 오류(Z 플립)는 단순히 '경고'로 표시하는 영리한 6-큐비트 설계입니다. 이는 전체 시스템을 훨씬 더 견고하고 효율적으로 만듭니다.

3. 숨겨진 함정 (검증)
스파이들이 조각을 무작위 종이로 바꿔치기하거나 그녀의 지시를 무시하고 있지 않다는 것을 앨리스는 어떻게 알 수 있을까요? 그녀는 스파이들에게 보내는 패키지 안에 몇 개의 '부비트랩'을 숨겨둡니다. 이 트랩들은 알려진 상태(예를 들어 반드시 앞면이 나온다고 확신하는 동전)로 준비된 특수 큐비트들입니다. 그녀는 스파이들에게 트랩을 포함한 모든 것에 대해 특정하고 단순한 연산을 수행하라고 명령합니다. 만약 스파이들이 정직하다면, 트랩은 정확히 이전 상태를 유지할 것입니다. 만약 스파이가 속임수를 쓰거나 데이터를 망가뜨리려 한다면, 그들은 실수로 트랩을 건드릴 확률이 높습니다. 앨리스는 결과를 돌려받았을 때 트랩을 확인합니다. 만약 트랩이 변했다면, 그녀는 즉시 스파이들이 속임수를 썼음을 알게 되고 그 결과를 폐기합니다.

논문은 이러한 숨겨진 트랩의 수를 늘림으로써, 스파이가 들키지 않고 속임수를 쓸 확률을 거의 제로에 가깝게 낮출 수 있음을 보여줍니다. 트랩을 더 많이 사용할수록 더 안전해지지만, 이는 자원(예: 공유된 양자 링크인 '벨 쌍(Bell pairs)')을 더 많이 소모하는 비용을 수반합니다.

큰 그림: 통합된 프레임워크

이 논문의 진정한 참신함은 새로운 마법 기술을 발명한 데 있는 것이 아닙니다. 대신, 저자들은 분산 인코딩, 로컬 오류 수정, 그리고 트랩 검증이라는 세 가지 기존의 잘 알려진 도구들을 가져와 이를 하나의 작동하는 청사진으로 엮어냈습니다.

그들은 현실 세계에서 이 요소들을 별개로 다룰 수 없다고 주장합니다. 서버가 조각을 유지할 수 없을 정도로 노이즈가 심하다면 비밀을 나누는 것 자체가 무의미합니다. 또한, 서버가 거짓말을 하지 않는지 검증할 수 없다면 오류 수정을 하는 것도 의미가 없습니다. 이들을 결합함으로써, 그들은 다음과 같은 시스템을 만들었습니다:

• 블라인드(Blind): 서버들은 (일정 수 이상 결탁하지 않는 한) 데이터에 대해 아무것도 알 수 없습니다.
• 검증 가능(Verifiable): 클라이언트는 높은 확률로 기만을 탐지할 수 있습니다.
• 노이즈 인식(Noise-Aware): 시스템은 전체 네트워크를 망가뜨리기 전에 로컬 글리치를 자동으로 처리합니다.

저자들은 이 과정에 얼마나 많은 통신이 필요한지에 대한 상세한 '레시피'를 제공합니다. 예를 들어, 7-큐비트 코드를 사용하고 40개의 트랩을 사용하는 특정 테스트 케이스에서, 간단하고 안전한 계산을 실행하는 데 약 114개의 '벨 쌍'과 113개의 고전적 비트가 필요하다는 것을 계산했습니다. 그들은 이것이 모두가 보스(앨리스)와 가까운 곳에 있는 단순한 네트워크를 가정한 '최선의 시나리오'이며, 실제 거리감이 있는 실제 네트워크에서는 더 많은 자원이 필요할 것이라고 인정했습니다.

이것이 의미하는 바 (그리고 의미하지 않는 것)

이 논문은 완성된 제품이라기보다 견고한 건축적 계획안입니다. 저자들은 서버들이 게임의 규칙을 따르고 기초 하드웨어가 예상대로 작동한다는 전제하에, 자신들의 시스템이 수학적으로 작동함을 증명합니다. 그들은 만약 너무 많은 서버($d-1$명 초과)가 결탁한다면 비밀 유지가 깨질 것이라고 명시적으로 밝힙니다. 또한, 그들의 로컬 오류 수정은 '노이즈 인식' 방식이므로, 하드웨어가 특정 유형의 노이즈(편향된 노이즈를 위한 6-큐비트 코드 등)를 가질 때 가장 잘 작동하며, 하드웨어 특성이 달라지면 다른 코드로 교체해야 할 수도 있다고 언급합니다.

이 연구는 오늘날 양자 클라우드를 구축했다는 주장이 아닙니다. 대신, 신뢰할 수 있는 클라우드를 구축하기 위한 '건축적 청사진'을 제공합니다. 이는 우리가 보안된 분산 양자 미래를 가질 수 있지만, 이를 위해서는 프라이버시, 오류 처리, 그리고 속임수를 잡아내는 비용 사이의 균형을 맞추는 세심한 엔지니어링이 필요하다는 것을 알려줍니다. 이 논문은 앞으로 나아갈 여정을 위한 지도와 같습니다. 비밀 나누기, 로컬 방패, 그리고 숨겨진 함정의 적절한 조합이 있다면, 우리는 결국 가장 사적인 비밀까지도 양자 클라우드에 믿고 맡길 수 있게 될 것임을 보여줍니다.