[논문 리뷰] Barrington Plays Cards: The Complexity of Card-based Protocols

Pavel Dvořák, Michal Koucký|arXiv (Cornell University)|2020. 10. 16.

graph theory and CDMA systems인용 수 5

한 줄 요약

이 논문은 보안 양자 계산을 위한 새로운 카드 기반 프로토콜을 제안하며, 임의의 NC1 함수를 계산하기 위해 필요한 카드 수를 n + O(1)으로 줄이는 1/2장 카드 인코딩을 제안한다. 독서 전용 프로토콜이 상수 개의 보조 카드를 사용할 경우 정확히 NC1 함수를 계산하며, 로그 수준의 보조 카드를 사용할 경우 비균일한 로그-스페이스(L/poly)를 계산한다. 입력을 수정할 수 있는 프로토콜은 NL-완전 문제와 같은 더 복잡한 함수를 계산할 수 있다.

ABSTRACT

In this paper we study the computational complexity of functions that have efficient card-based protocols. Card-based protocols were proposed by den Boer [EUROCRYPT '89] as a means for secure two-party computation. Our contribution is two-fold: We classify a large class of protocols with respect to the computational complexity of functions they compute, and we propose other encodings of inputs which require fewer cards than the usual 2-card representation.

연구 동기 및 목표

• 프로토콜의 구조와 보조 카드 사용에 따라 카드 기반 프로토콜의 계산 복잡도를 분류하는 것.
• 기본적인 2장 표현을 초월하여 보안 계산에 필요한 물리적 카드 수를 줄이는 것.
• 특히 1장 및 1/2장 인코딩과 같은 대체 입력 인코딩 방식을 탐색하여, 보안을 유지하면서도 카드 수를 최소화하는 것.
• 입력 카드를 수정할 수 있는 프로토콜이 NC1을 초월한 함수, 예를 들어 NL-완전 문제를 계산할 수 있는지 탐구하는 것.
• 1/2장 카드 인코딩을 통해 단지 n + O(1)장의 카드로 NC1 회로를 안전하게 시뮬레이션하는 것.

제안 방법

• 각 비트를 ♥ 또는 ♣ 한 장의 카드로 표현하고, 빈 위치 ×는 누락된 카드를 나타내며, 랜덤한 배치를 통해 입력의 기밀성을 보장하는 1/2장 카드 인코딩을 제안한다.
• 계산 중에 단일 카드에서 동적으로 2장 표현을 생성함으로써 1/2장 표현을 사용해 2장 표현을 안전하게 시뮬레이션하는 프로토콜을 설계한다.
• 상수 또는 로그 수준의 보조 카드를 사용하는 무관심이고 독서 전용 프로토콜을 통해 각각 NC1 및 L/poly 함수를 시뮬레이션한다.
• 카드의 위치를 구분할 수 없도록 하여 정보 泄露를 방지하기 위해 셔플링 및 순열 기법을 적용하여 보안을 확보한다.
• 조건부 논리 연산을 카드 기반 연산을 통해 계산할 수 있도록 하는 안전한 선택(Sel) 프로토콜을 활용하여 회로 시뮬레이션을 가능하게 한다.
• 비독서 전용 프로토콜에서는 입력 카드를 재사용할 수 있지만, 정보 泄露를 방지하기 위해 엄격한 보안 조건을 충족해야 한다.

실험 결과

연구 질문

• RQ1 입력을 수정하지 않고 상수 개의 보조 카드를 사용하는 카드 기반 프로토콜의 계산 복잡도는 무엇인가?
• RQ2 입력 카드를 수정할 수 있는 프로토콜은 NC1 클래스를 초월한 함수, 예를 들어 NL-완전 문제를 계산할 수 있는가?
• RQ3 각 비트당 2장 이하의 카드로 입력을 안전하게 표현하는 것이 가능한가, 동시에 보안성과 기능성을 유지할 수 있는가?
• RQ4 1/2장 카드 인코딩을 사용하여 입력 이외의 O(1)장의 추가 카드만으로도 임의의 NC1 함수를 시뮬레이션할 수 있는가?
• RQ5 카드 기반 프로토콜에서 입력 카드를 수정할 때의 한계는 무엇이며, 유출 없이 입력 카드를 재사용할 수 있는 안전한 프로토콜을 설계할 수 있는가?

주요 결과

• 상수 개의 보조 카드를 사용하는 무관심이고 독서 전용 프로토콜은 정확히 NC1 함수를 계산하며, 이는 다항식 크기의 부울 공식으로 계산 가능한 함수의 집합이다.
• 로그 수준의 보조 카드를 사용하는 무관심이고 독서 전용 프로토콜은 정확히 L/poly 함수를 계산하며, 이는 결정론적 로그-스페이스의 비균일한 형태이다.
• 입력 카드를 수정할 수 있는 프로토콜는 NC1을 초월하는 것으로 여겨지는 함수, 예를 들어 NL-완전 언어를 계산할 수 있으며, 이는 독서 전용 프로토콜보다 더 강력하다는 것을 시사한다.
• 1/2장 카드 인코딩은 임의의 NC1 함수를 계산하기 위해 필요한 총 카드 수를 n + O(1)로 줄여, 기존의 2장 표현에 비해 효율성을 크게 향상시킨다.
• 1/2장 카드 인코딩은 누락된 카드의 위치를 무작위로 선택하므로 입력 기밀성이 보장되어, 입력 값의 泄露를 방지한다.
• 1/2장 카드 인코딩을 사용할 경우 독서 전용 프로토콜의 안전한 시뮬레이션은 가능하지만, 이 인코딩을 사용해 입력 카드를 수정하는 프로토콜에 대해선 아직 안전한 방법이 알려져 있지 않다.