⚛️ 양자물리학

Traceable Quantum Secret Sharing

이 논문은 유출된 쉐어를 추적하고 위조된 쉐어를 제출하는 참여자를 식별하기 위해 각각 누설 검증 가능 및 악의적 추적 가능 프로토콜을 구축함으로써 추적 가능한 양자 비밀 공유를 위한 프레임워크를 소개하며, 보안 정의를 제공하고 수치 시뮬레이션을 통해 노이즈에 대한 강건성을 입증한다.

원저자: Mengyan Qiao, Jian Long, Yu Li, Zhu Cao

게시일 2026-10-26

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Mengyan Qiao, Jian Long, Yu Li, Zhu Cao

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

보안 통신의 세계에는 '비밀 공유(secret sharing)'라고 불리는 오래된 난제가 존재합니다. 한 그룹의 사람들이 디지털 키나 기밀 메시지와 같은 가치 있는 정보를 보호해야 한다고 가정해 봅시다. 정보를 한 사람에게 통째로 주는 대신, 그들은 비밀을 여러 조각인 '쉐어(shares)'로 나누어 각 구성원에게 하나씩 전달합니다. 규칙은 간단합니다. 예를 들어 5명 중 3명과 같이 충분한 인원이 모이면 그들의 조각들을 결합하여 원래의 비밀을 재구성할 수 있습니다. 하지만 그보다 적은 인원이 조각을 모으려고 시도하면, 그들은 아무것도 알 수 없습니다. 이 방식은 양자 암호학의 초석이 되었으며, 여기서는 데이터가 고전적 컴퓨터가 할 수 없는 방식으로 보호되도록 물리 법칙이 사용됩니다. 수십 년 동안 이러한 시스템의 주요 목표는 비밀이 허가되지 않은 눈으로부터 숨겨진 상태를 유지하고, 적절한 사람들이 올바르게 재구성할 수 있도록 보장하는 것이었습니다.

하지만 현실적인 시나리오에서는 새로운 문제가 발생했습니다. 만약 정직해야 할 누군가가 자신의 비밀 조각을 낯선 사람에게 유출하기로 결정한다면 어떻게 될까요? 혹은 불성실한 참여자가 재구성 단계에서 가짜 조각을 제출하여 과정을 방해하려고 한다면 어떨까요? 전통적인 시스템에서는 비밀이 유출되거나 재구성이 실패하더라도 누가 그 책임을 져야 하는지 알 방법이 없습니다. 시스템은 데이터를 보호하지만, 누구에게 책임을 물을 수 있는 방법은 제공하지 않습니다. 이러한 책임 추궁의 부재는 신뢰가 제한적이고 유출의 결과가 심각한 분산 네트워크 환경에서 중요한 공백입니다. 연구자들은 비밀을 안전하게 지킬 뿐만 아니라, 문제를 일으킨 사람을 명확하게 지목할 수 있는 경로를 남기는 양자 비밀 공유 시스템을 구축하는 것이 가능한지 오랫동안 의문을 품어왔습니다.

동부 화동 사범 대학교와 동제 대학교의 연구팀은 이제 '추적 가능한 양자 비밀 공유(traceable quantum secret sharing)'라고 부르는 프레임워크를 확립함으로써 이 질문에 답했습니다. 그들은 단순히 이론적인 아이디어를 제안한 것이 아니라, 두 가지 뚜렷한 유형의 위협 하에서도 작동함을 수학적으로 증명한 구체적인 프로토콜을 설계했습니다. 그들이 다룬 첫 번째 시나리오는 규칙을 따르던 참여자가 자신의 유효한 쉐어를 외부인에게 유출하는 경우입니다. 두 번째 시나리오는 재구성 과정 중에 위조된 가짜 쉐어를 제출하여 시스템을 적극적으로 파괴하려는 참여자를 다룹니다. 이러한 특정 위험에 맞춤화된 시스템을 만듦으로써, 연구진은 양자 비밀 공유를 단순한 기밀 유지를 넘어 책임을 할당할 수 있는 영역으로 진전시켰습니다.

쉐어 유출 문제를 처리하기 위해 연구팀은 '유출 검증 및 추적 가능한 양자 비밀 공유'라는 방법을 개발했습니다. 이 시스템에서는 모든 비밀 조각에 양자 데이터 내부에 숨겨진 일련번호와 같은 고유한 디지털 태그가 함께 제공됩니다. 그룹이 훔친 조각과 정직한 조각들을 사용하여 비밀을 재구축하려고 할 때, 검증자는 재구성을 확인할 수 있습니다. 만약 비밀이 성공적으로 재구축되면, 검증자는 특수 키를 사용하여 숨겨진 태그를 해독하고 정확히 어떤 참여자가 훔친 조각을 기여했는지 확인할 수 있습니다. 연구진은 이 과정이 안전함을 증명했습니다. 즉, 공격자가 자신의 정체를 숨기는 것은 불가능하며, 시스템이 아무것도 유출하지 않은 정직한 사람을 허위로 비난하는 것 또한 불가능합니다. 이 시스템은 유출이 발생할 경우 그 출처를 높은 확실성으로 식별할 수 있도록 보장합니다.

가짜 데이터를 제출하여 과정을 방해하려는 악의적인 행위자를 대상으로 하는 두 번째 위협을 위해, 연구진은 '악의적 추적 및 책임 추궁이 가능한 양자 비밀 공유'라는 다른 프로토콜을 도입했습니다. 여기서 목표는 단순히 유출을 찾는 것이 아니라 재구성을 방해하려는 사람을 잡아내는 것입니다. 이 설정에서는 그룹이 비밀을 재구축하려고 시도할 때 시스템이 과정의 기록을 생성합니다. 만약 누군가 위조된 쉐어를 제출하면, 시스템은 기록을 분석하여 정직한 참여자와 부정직한 참여자를 분리할 수 있습니다. 연구진은 이 방법이 부정행위자를 식별하고 타인이 독립적으로 검증할 수 있는 증거를 제공할 수 있음을 보여주었습니다. 결정적으로, 이 시스템은 추적 행위가 원래 데이터의 비밀성을 훼손하지 않도록 설계되었습니다. 즉, 체커를 찾아내는 데 사용되는 키는 비밀 자체에 대해서는 아무것도 드러내지 않습니다.

이 새로운 프로토콜들이 실용적인지 확인하기 위해, 연구진은 실제 양자 장치에서 흔히 발생하는 노이즈와 오류에 어떻게 견디는지 확인하고자 광범한 컴퓨터 시뮬레이션을 실행했습니다. 그들은 각 비밀 조각이 데이터를 부패시킬 수 있는 '탈분극 노이즈(depolarizing noise)'라고 알려진 무작위 간섭의 영향을 받는 시나리오를 시뮬레이션했습니다. 결과에 따르면, 노이즈 수준이 너무 높지 않은 한, 이 시스템들은 비밀 재구성과 문제의 출처 추적 모두에서 높은 정확도를 유지하며 견고함을 유지했습니다. 연구진은 증거를 검증하는 능력이 가장 민감한 부분임을 발견했는데, 이는 시스템이 강력하긴 하지만 완벽하게 작동하기 위해서는 최종 확인 단계에서 매우 깨끗한 데이터가 필요함을 의미합니다. 이러한 어려움에도 불구하고, 시뮬레이션은 노이즈가 있는 환경에서도 프로토콜이 유출자와 부정행위자를 성공적으로 식별할 수 있음을 확인해주었습니다.

이 연구는 우리가 양자 보안을 생각하는 방식에 있어 중대한 변화를 나타냅니다. 오랫동안 초점은 거의 전적으로 엿보는 눈으로부터 비밀을 안전하게 지키는 것에 맞춰져 있었습니다. 이 새로운 연구는 분산된 세상에서 비밀을 안전하게 지키는 것은 전투의 절반에 불과하며, 누가 신뢰를 저버렸는지 아는 것 또한 똑같이 중요하다는 것을 보여줍니다. 추적 및 책임 추궁 능력을 양자 프로토콜에 직접 통합함으로써, 연구진은 더 탄력적이고 신뢰할 수 있는 양자 네트워크를 위한 토대를 마련했습니다. 그들의 연구 결과는 물리 법칙이 데이터를 보호하고 프로토콜 설계가 누구도 들키지 않고 잘못된 행동을 할 수 없도록 보장하는, 비밀스러우면서도 공정한 시스템을 갖추는 것이 가능하다는 것을 시사합니다. 이러한 접근 방식은 책임이 통신의 근간에 내재된, 더 복잡하고 안전한 양자 기술의 응용 분야를 향한 문을 열어줍니다.

기술 요약: 추적 가능한 양자 비밀 공유 (Traceable Quantum Secret Sharing)

문제 정의

양자 비밀 공유(Quantum Secret Sharing, QSS)는 분산된 양자 정보를 보호하기 위한 근본적인 프리미티브로, 권한이 있는 하위 집합만이 비밀을 재구성할 수 있고 권한이 없는 하위 집합은 아무것도 알 수 없도록 보장한다. 그러나 기존의 QSS 스킴들은 오로지 기밀성(confidentiality)과 정확성(correctness)에만 집중하고 있다. 이들은 현실적인 분산 환경에서의 **책임 추적성(accountability)**을 위한 내재적 메커니즘이 결여되어 있다. 구체적으로, 현재의 프로토콜은 다음 두 가지 핵심 위협 모델을 다룰 수 없다:

유효한 쉐어의 유출 (Leakage of Valid Shares): 탈취된 참여자가 유효한 자신의 쉐어를 제3자에게 유출하거나 판매할 수 있다. 기존 스킴은 유출의 근원을 식별할 수 없다.
악의적인 위조 (Malicious Forgery): 악의적인 참여자가 재구성 단계에서 위조된 쉐어를 제출하여 프로세스를 방해하거나 결과를 조작할 수 있다. 기존 스킴은 이러한 일탈에 대한 책임을 물을 수 없다.

추적 가능성의 부재는 QSS를 기밀성 지향적인 프리미티브에 머물게 하며, 쉐어가 노출되거나 재구성이 손상되었을 때 그 원인을 규명하지 못하게 한다. **추적 가능한 비밀 공유(Traceable Secret Sharing, TSS)**가 고전적 설정에서는 정형화되었으나, 이를 양자 영역으로 확장하는 것은 양자 상태, 양자 연산, 그리고 분산된 양자 정보 처리의 요구사항으로 인해 매우 까다롭다.

방법론

저자들은 두 가지 구별되는 위협 모델 하에서의 추적 가능한 양자 비밀 공유를 위한 프레임워크를 구축하고, 두 가지 새로운 프로토콜인 **유출 검증 및 추적 가능 QSS (LVT-QSS)**와 **악의적 행위 추적 및 책임 추적 가능 QSS (MTA-QSS)**를 도입한다.

1. 정직하지만 유출하는 모델 (Honest-but-Leaky Model, LVT-QSS)

이 모델에서 참여자들은 프로토콜을 준수하지만 유효한 쉐어를 유출할 수 있다. 목표는 유출된 쉐어를 특정 유출 집단(coalition)으로 추적하는 것이다.

메커니즘: 딜러는 비밀 양자 상태 $|\psi\rangle$ 를 $m$ 개의 쉐어로 인코딩한다. 각 쉐어는 보조 레지스터에 저장된 고유한 **태그(tag)**와 연관된다. 이 태그들은 포스트 양자 대칭 키 암호화 방식과 양자 보안 해시 함수를 사용하여 암호화된다.
추적 과정: 만약 $f$ 개의 유출된 쉐어와 $k-f$ 개의 추가 쉐어를 사용하여 재구성 박스가 구축되면, 검증자는 **추적 키(tracing key)**를 사용하여 재구성된 출력의 보조 레지스터를 복호화한다. 이를 통해 유출된 쉐어와 관련된 태그를 복구한다.
검증: 검증 알고리즘은 복구된 태그가 유효한 검증 키와 일치하는지 확인하여 증거가 위조되지 않았음을 보장한다.
보안 정의: 이 스킴은 비밀성(권한 없는 집합은 아무것도 알 수 없음), 추적 비밀성(추적 키에 대한 접근이 비밀을 해치지 않음), 추적 가능성(유출된 쉐어를 특정 집단에 귀속시킬 수 있음), 비불가책성(정직한 당사자가 허위로 비난받지 않음)을 정의한다.

2. 악의적이지만 책임 추적이 가능한 모델 (Malicious-but-Accountable Model, MTA-QSS)

이 모델에서 악의적인 참여자들은 재구성 중에 위조된 쉐어를 제출함으로써 능동적으로 이탈한다. 목표는 악의적인 행위자를 식별하고 그들의 부적절한 행위에 대한 공개적으로 검증 가능한 증거를 제공하는 것이다.

메커니즘: LVT-QSS와 유사하게, 쉐어는 보조 클래식 정보(태그 및 추적 키)를 포함한다. 그러나 재구성 과정은 블랙박스 추상화가 아닌 명시적으로 모델링된다.
추적 과정: 재구성 과정 중에 알고리즘은 보조 레지스터를 측정하여 클래식 결과(보조 정보)를 얻으며, 이는 **추적 트랜스크립트(tracing transcript)**를 생성하는 데 사용된다. 추적 알고리즘은 이 정보를 추적 키와의 일관성을 바탕으로 정직한 참여자와 악의적인 참여자에 해당하는 태그 세트로 분류한다.
검증: 검증 알고리즘은 추적된 증거가 검증 키와 일치하는지 확인하여, 어떤 참여자가 유효한 쉐어를 기여했고 어떤 참여자가 위조된 쉐어를 기여했는지 확정한다.
보안 정의: 이 스킴은 비밀성, 추적 비밀성, 추적 가능성(악의적인 자를 식별하기 위해 정직한 기여자를 식별함), 비불가책성(정직한 자에게 위조된 쉐어의 책임을 전가하는 것을 방지함)의 정의를 적용한다.

기술적 기초

두 프로토콜 모두 다음 사항에 의존한다:

양자 오류 정정 코드 (QECC): 구체적으로, 유한체 상의 다항식 보간법에 기반한 코히런트 임계값 인코딩(coherent threshold encoding)을 사용한다.
포스트 양자 암호학: **희소 히트 속성(sparse-hit property)**을 만족하는 대칭 키 암호화 방식( $\Pi_{SKE}$ )과 양자 보안 충돌 저항성 해시 함수( $H$ )를 사용한다.
양자 연산: 재구성을 위한 역 반데르몽드 변환(Inverse Vandermonde transforms)과 잔여 의존성을 제거하기 위한 선형 변환을 사용한다.

주요 기여

본 논문은 세 가지 주요 기여를 한다:

LVT-QSS 프로토콜: 명시적인 유출 검증 메커니즘을 통해 유출된 쉐어를 귀속시켜, 유효한 쉐어를 유출한 참여자를 식별할 수 있는 스킴을 도입한다.
MTA-QSS 프로토콜: 재구성 중에 위조된 쉐를 제출하는 참여자를 식별하는 스킴을 제안하며, 공개적으로 검증 가능한 책임 추적을 지원한다.
보안 프레임워크 및 분석:
- 두 설정 모두에 대한 엄격한 보안 정의(비밀성, 추적성, 비불가책성, 추적 비밀성)를 정립한다.
- 제안된 프로토콜이 관련 공격자(양자 다항 시간 공격자)에 대해 이러한 보장을 충족함을 증명한다.
- 쉐어당 데폴라라이징 노이즈(per-share depolarizing noise) 하에서의 수치 시뮬레이션을 수행하여 강건성을 평가한다.

결과

이론적 보장: 저자들은 LVT-QSS와 MTA-QSS가 모두 정확성, 비밀성, 추적 비밀성, 추적 가능성, 비불가책성을 만족함을 증명한다. 이 증명은 기초가 되는 다항식 인코딩의 특성과 암호학적 프리미티브(충돌 저항성 및 희소 히트 속성)의 보안성에 기반한다.
노이즈 탄력성:
- LVT-QSS: 시뮬레이션 결과, 재구성 충실도(fidelity)와 추적 정확도는 노이즈 확률 $p$ 에 따라 단조 감소한다. 검증 성공률은 다른 지표들보다 더 빠르게 감소하는데, 이는 검증이 더 엄격한 공동 성공 조건(정확한 추적 및 일관성 체크)을 요구하기 때문이다. 결과적으로, 검증이 LVT-QSS에서 가장 노이즈에 민감한 단계로 식별되었다. 액세스 구조(access structure)의 크기( $k, m$ )가 작을수록 더 강한 강건성을 보인다.
- MTA-QSS: LVT-QSS에 비해 더 높은 강건성을 보여준다. 보조 키가 딜러에 의해 유지되고 추적/검증이 재구성으로부터 얻은 클래식 정보(양자 측정에서 파생됨)를 기반으로 작동하기 때문에, 노이즈가 검증 경로를 따라 축적되지 않는다. 따라서 추적 정확도와 검증 성공률은 거의 일치하며 저노이즈 영역에서 높게 유지되며, LVT-QSS와 같은 단일 지배적 노이즈 민감 단계를 보이지 않는다.
지배적 노이즈 민감도: LVT-QSS에서는 검증이 지배적인 노이즈 민감 단계인 반면, MTA-QSS에서는 추적과 검증이 거의 동일한 민감도 프로필을 보인다.

의의 및 주장

본 논문은 공개적으로 검증 가능한 책임 추적성을 포함하는 최초의 체계적인 추적 가능한 양자 비밀 공유 프레임워크를 제공한다고 주장한다.

기밀성을 넘어: 본 연구는 QSS를 전통적인 비밀 유지와 정확한 재구성을 넘어, 책임 추적성을 핵심 보안 목표로 설정함으로써 확장한다.
시나리오별 추적 가능성: 저자들은 양자 환경에서의 추적 가능성은 특정 공격자 행동(수동적 유출 vs 능동적 위조)에 따라 특징지어져야 하며, 이에 따라 별개의 LVT 및 MTA 프레임워크가 도출되어야 한다고 주장한다.
향후 연구를 위한 토대: 결과는 추적 가능한 분산 양자 암호학을 위한 이론적 출발점을 제공한다. 저자들은 본 연구가 특정 위협 모델을 별도로 다루고 있음을 언급하며, 유출과 위조를 동시에 포착하는 통합된 프레임워크는 향로 연구의 과제로 남겨두었다. 또한, 추적 가능성을 구현하는 데 비용(통신, 저장, 복잡성)이 발생하며, 더 강력한 보장(예: 악의적 참여자에도 불구하고 재구성을 수행하는 것)이나 오버헤드가 낮은 변형 모델에 대한 추가 연구가 필요함을 강조한다.

결론적으로, 본 논문은 분산 양자 암호 프로토콜의 보안 특성에 추적 가능성을 포함하는 것이 현실적인 다자간 설정에서 자연스럽고 의미 있는 작업임을 밝히고 있다.