Classical Verifier Position Verification from Non-Local Games

디지털 시대에 데이터나 사람의 정확한 위치를 아는 것은 단순한 편의를 넘어 보안의 초석이 됩니다. 뉴욕의 특정 금고에서 거래가 일어나고 있는지, 아니면 다른 나라에 있는 해커의 노트북에서 발생하는 것인지 확신해야 하는 은행을 상상해 보십시오. 암호학의 세계에서 이를 위치 검증(position verification)이라고 부릅니다. 수십 년 동안 과학자들은 표준 컴퓨터와 고전적 신호만을 사용하여 위치를 증명하는 것이 협력하는 공격자 그룹을 상대로는 불가능하다는 것을 알고 있었습니다. 이러한 공격자들은 메시지를 매우 빠르게 주고받아, 실제로는 멀리 떨어져 있더라도 특정 장소에 있는 것처럼 검증자를 속일 수 있습니다. 이를 해결하기 위해 연구자들은 미시 세계의 물리학인 양자 역학에 주목했습니다. 복제하면 상태가 변하는 빛의 입자를 보냄으로써 위치를 증명할 수 있는 시스템을 만들어낸 것입니다. 그러나 이러한 양자 시스템에는 중대한 결함이 있습니다. 취약한 입자를 먼 거리로 보내면 입자가 사라지기 때문에, 이 기술은 실험실 수준을 넘어서는 실용성을 갖추기 어려웠습니다.

JP모건 체이스의 연구진은 양자 채널을 장거리로 보낼 필요 없이 이 문제를 해결할 수 있는 새로운 방법을 제안했습니다. 그들의 연구는 위치를 확인하는 사람들인 검증자(verifiers)가 오직 일반적인 디지털 메시지만을 주고받는 방식을 도입합니다. 핵심적인 역할은 확인을 받는 사람들인 증명자(provers)가 수행하며, 이들은 자신의 로컬 장치 내에서만 양자 자원을 사용합니다. 연구진은 특정한 유형의 협력적 양자 게임을 보안 위치 테스트로 전환하는 일반적인 프레임워크를 구축했습니다. 이 게임에서 떨어진 플레이어들은 공유된 양자 연결에 의존하여 서로 대화하지 않고도 답변을 조율해야 합니다. 연구진은 플레이어들이 실제로 올바른 위치에 있다면, 그들의 답변이 속임수를 쓰지 않고서는 불가능한 수준의 조율을 보여줄 것임을 증명했습니다. 결정적으로, 그들은 이 보안성이 플레이어들이 함께 생성하는 무작위성에 의존하는 것이 아니라, 참여자들의 물리적 배치에 의해 강제되는 특정한 종류의 국소적 예측 불가능성에 달려 있음을 보여주었습니다.

이 새로운 시스템의 핵심은 비국소 게임(non-local game)이라 알려진 개념을 영리하게 번역한 것입니다. 이러한 게임에서 두 명 이상의 플레이어는 심판으로부터 질문을 받고, 그 질문에 대해 특정한 방식으로 상관관계가 있는 답변을 제공해야 합니다. 만약 플레이어들이 얽힘(entanglement)이라는 특별한 양자 연결을 공유한다면, 그들은 고전 물리학만을 사용하는 어떤 집단보다 더 정확하게 답변할 수 있습니다. 연구진은 이 양자적 이점을 활용하여 검증자에게 양자 입자를 전혀 보내지 않고도 위치를 검증할 수 있다는 점을 깨달았습니다. 대신, 검증자는 증명자에게 고전적인 질문을 보내고, 증명자는 자신의 로컬 양자 장치를 사용하여 답변을 생성합니다. 그 후 증명자는 모든 검증자에게 답변을 보냅니다. 시스템은 두 가지를 확인합니다. 첫째, 답변이 양자 역학을 사용하고 있음을 증명할 만큼 충분히 정확한지, 둘째, 서로 다른 검증자들에게 보내진 답변들이 서로 일치하는지입니다. 만약 공격자가 위치를 시뮬레이션하려 한다면, 필요한 양자 정보에 접근하지 못한 채 증명자의 답변을 예측해야 하는데, 연구진은 기하학적 구조가 올바르다면 이것이 통계적으로 불가능함을 증명했습니다.

가장 중요한 발견 중 하나는 이 시스템의 보안이 참여자들의 물리적 배치에 크게 의존한다는 점입니다. 연구진은 단순히 양자적 이점을 가진 게임을 갖추는 것만으로는 충분하지 않으며, 검증자와 증명자의 위치가 단 한 명의 공격자라도 필요한 정보를 제시간에 모으지 못하도록 배치되어야 함을 입증했습니다. 그들은 어떤 배치에서는 공격자가 다른 이들의 답변을 살펴봄으로써 이론적으로 증명자의 답변을 예측할 수 있지만, 검증자의 위치를 변경함으로써 이러한 정보의 흐름을 차단할 수 있음을 보여주었습니다. 이는 각 증명자의 답변이 다른 이들에게 예측 불가능한 상태로 남게 만들며, 저자들은 이를 '블라인드 로컬 랜덤니스(blind local randomness)'라고 부릅니다. 이 통찰은 이러한 시스템의 보안이 모든 플레이어의 결합된 출력값의 전역적 무작위성에 의존한다는 기존의 가정을 뒤집는 것입니다. 대신, 보안은 공간적 분리와 빛의 속도에 의해 부과되는 시간 제약의 직접적인 결과입니다.

연구진은 이 프레임워크가 실제 세상에서 작동함을 증명하기 위해, CHSH 게임으로 알려진 가장 단순한 형태의 양자 게임을 사용하여 테스트했습니다. 이 게임은 두 명의 플레이어와 물리학의 기초를 테스트하는 실험에서 이미 입증된 기본적인 양자 장비만을 필요로 합니다. 연구진은 이 설정을 통해 기존 기술로 높은 확실성을 가지고 위치를 검증할 수 있음을 계산했습니다. 그들은 적은 횟수의 라운드만으로도 매우 높은 확률로 공격자를 탐지할 수 있음을 보여주었습니다. 이 접근 방식의 아름다움은 검증자가 양자 하드웨어를 전혀 필요로 하지 않는다는 점에 있습니다. 즉, 검증자는 일반적인 네트워크로 연결된 표준 컴퓨터일 수 있습니다. 양자 복잡성은 전적으로 증명자의 장치 내에 포함되며, 이 장치는 보안 데이터 센터나 보호된 시설에 위치할 수 있습니다. 이러한 분리는 검증자와 증명자 사이의 값비싸고 취약한 양자 통신선 없이도, 기존의 고전적 네트워크를 단계적으로 업그레이드하여 시스템을 배포할 수 있음을 의미합니다.

논문은 또한 장치가 질문을 처리하고 답변을 보내는 데 걸리는 실제적인 시간 문제를 다룹니다. 완벽한 이론적 세계에서는 장치가 즉각적으로 반응하겠지만, 현실에는 지연 시간이 존재합니다. 연구진은 이 지연이 보안에 어떤 영향을 미치는지 분석했으며, 동일한 수준의 보호를 유지하기 위해서는 증명자들이 더 멀리 떨어져 있어야 한다는 점을 발견했습니다. 그들은 이러한 지연 시간에도 불구하고 공격자가 위치를 조작할 수 없도록 거리를 계산하는 명확한 방법을 제공했습니다. 이러한 세부적인 주의는 이 개념을 이론적 가능성에서 실질적인 시스템의 청사진으로 격상시킵니다. 이 연구는 가까운 미래에 독립적인 데이터 센터들이 규제 요건을 충족하기 위해 스스로의 위치를 검증할 수 있으며, 장기적으로는 양자 네트워크가 성숙해짐에 따라 동일한 인프라를 사용하여 더 넓은 네트워크의 여러 노드의 위치를 검증할 수 있음을 시사합니다.

연구진은 자신들의 방법이 위치 보안의 모든 문제를 해결하는 마법 같은 해결책은 아니라는 점을 주의 깊게 언급합니다. 그들은 이 시스템이 단순히 한 명의 증명자와 한 명의 검증자가 있는 단순한 설정으로는 작동하지 않는다는 점을 명시적으로 밝히며, 반드시 특정 기하학적 구조로 배치된 다수의 증명자와 다수의 검증자가 필요하다고 말합니다. 또한 증명자들이 너무 가깝거나 검증자가 잘못된 위치에 배치되면 이전에 불가능하다고 생각되었던 공격에 취약해질 수 있음을 보여줍니다. 이러한 기하학적 제약 조건을 매핑함으로써, 그들은 보안 시스템을 구축하기 위한 명확한 가이드를 제공합니다. 이 연구는 양자 통신의 장거리 문제를 해결했다고 주장하는 것이 아니라, 오히려 그 문제를 완전히 우회하는 방법을 제시하는 것입니다.

결론적으로, 이 연구는 디지털 자산의 물리적 위치를 확보하기 위한 새로운 경로를 제시합니다. 양자적 부담을 증명자에게 옮기고 검증자를 고전적으로 유지함으로써, 연구진은 실질적인 배포의 가장 큰 장벽인 거리로 인한 양자 신호의 손실 문제를 제거했습니다. 그들의 결과는 우리가 위치를 안전하게 검증하기 위해 글로벌 양자 인터넷을 기다릴 필요가 없음을 시사합니다. 대신, 우리는 이미 보유한 양자 자원을 로컬 장치 내에 한정하여 사용하고, 이를 스마트한 기하학적 배치와 결합함으로써 강력하면서도 실행 가능한 시스템을 만들 수 있습니다. 이 연구는 공간과 시간에 대한 명확한 이해를 바탕으로 물리학 법칙이 어떻게 디지털 세계에서 신뢰의 토대를 제공할 수 있는지를 보여주는 증거입니다.