[논문 리뷰] Communication and Round Efficient Information Checking Protocol

Arpita Patra, C. Pandu Rangan|arXiv (Cornell University)|2010. 04. 20.

Cryptography and Data Security참고 문헌 4인용 수 4

한 줄 요약

이 논문은 통신 및 라운드 효율성이 뛰어난 새로운 정보 검증 프로토콜(ICP)을 소개한다. 이 ICP는 동시에 다수의 검증자와 다수의 비밀을 지원하며, 다항수 기반 인증과 선형성 성질을 활용하여 통계적 검증 가능한 비밀 분할(VSS) 및 다자간 계산(MPC)의 최적 복잡도를 달성한다. 보안은 n=2t+1명의 참가자 중 최대 t명을 제어할 수 있는 정적, 비한계 적인 공격자에 대해 확립된다.

ABSTRACT

In this paper, we present a very important primitive called Information Checking Protocol (ICP) which plays an important role in constructing statistical Verifiable Secret Sharing (VSS) and Weak Secret Sharing (WSS) protocols. Informally, ICP is a tool for authenticating messages in the presence of computationally unbounded corrupted parties. Here we extend the basic bare-bone definition of ICP, introduced by Rabin et al. and then present an ICP that attains the best communication complexity and round complexity among all the existing ICPs in the literature. We also show that our ICP satisfies several interesting properties such as linearity property which is an important requirement in many applications of ICP. Though not presented in this paper, we can design communication and round efficient statistical (i.e involves negligible error probability in computation) VSS and Multiparty Computation (MPC) protocol using our new ICP.

연구 동기 및 목표

• 기본 ICP 모델을 다수의 검증자와 다수의 비밀을 동시에 지원하도록 확장하여, 비밀 분할 및 MPC 프로토콜의 효율성을 향상시키는 것.
• 기존 문헌의 ICP보다 뛰어난 통신 및 라운드 복잡도를 갖춘 최소화된 ICP를 설계하는 것.
• IC 서명에 대해 선형성 성질을 확립하여, 다수의 비밀을 효율적으로 집계하고 VSS 및 MPC와 같은 응용 분야를 지원하는 것.
• n=2t+1의 참가자 시스템에서 최대 t명의 참가자를 제어할 수 있는 정적, 활성, 비한계 공격자 조건 하에서 ICP의 형식적 보안 모델을 수립하는 것.
• 새로운 ICP를 핵심 원천으로 삼아 효율적인 통계적 VSS 및 MPC 프로토콜의 기반을 마련하는 것.

제안 방법

• 프로토콜은 생성, 검증, 폭로의 세 단계로 구성되며, 비밀을 검증 가능한 서명과 연결하기 위해 다항식 기반의 암호적 결합을 사용한다.
• 검증 단계에서 딜러 D와 중계자 INT는 랜덤 계수를 사용하여 비밀 S를 가리키는 차수 ℓ+t의 다항식 F(x)를 생성한다. 계수는 비밀과 공개된 기본값에서 유도된다.
• 각 검증자 Pi는 평가 지점 αi와 검증 정보 vji = Fj(αi)를 수신하며, 이는 폭로 단계에서 서명을 검증하는 데 사용된다.
• 폭로 단계는 브로드캐스트 메커니즘을 사용하며, 각 검증자는 로컬 검증 데이터와 서명 F(x) 간의 일관성을 확인하고, 잘못된 서명은 확률 1−ϵ 이상으로 기각한다.
• 선형성은 중계자가 다수의 비밀에 대해 F(x) = ΣFj(x)를 계산할 수 있도록 허용함으로써 달성되며, 서명에 대해 덧셈 및 뺄셈과 같은 히든 오브젝트 연산을 가능하게 한다.
• 프로토콜은 오류 매개변수 ϵ을 통해 보안을 확보하며, 위조된 서명은 신뢰할 수 있는 검증자에 의해 높은 확률로 기각되고, 비밀은 폭로 이전까지 정보 이론적으로 은폐된다.

실험 결과

연구 질문

• RQ1 통신 및 라운드 복잡도를 최소화하면서 동시에 다수의 비밀과 다수의 검증자를 지원할 수 있는 ICP를 설계할 수 있는가?
• RQ2 n=2t+1명의 참가자와 t명의 병해를 가진 시스템에서 ICP의 최적 라운드 및 통신 복잡도는 무엇인가?
• RQ3 ICP가 다수의 서명 집계를 효율적으로 가능하게 하는 선형성 성질을 갖는가? 이는 VSS 및 MPC에 필수적이다.
• RQ4 다수의 검증자 환경에서 계산적으로 비한계적인 활성 공격자 조건 하에서도 정보 이론적 보안을 유지할 수 있는가?
• RQ5 새로운 ICP를 사용하여 오차 확률이 무시할 만큼 작은 최적 내성 강도를 갖춘 통계적 VSS 및 MPC 프로토콜을 구축할 수 있는가?

주요 결과

• 제안된 MVMS-ICP는 n=2t+1명의 참가자에 대해 기존 문헌의 모든 ICP 중에서 가장 뛰어난 통신 및 라운드 복잡도를 달성한다.
• 프로토콜은 오류 확률이 ϵ 이하로 제한되는 ICP-Correctness1, ICP-Correctness2, ICP-Correctness3를 만족하여 정확하고 안전한 서명 검증을 보장한다.
• ICP는 비밀 S의 정보 이론적 은폐를 폭로 단계까지 유지한다. 비록 비한계 공격자가 t명의 검증자를 제어하더라도 마찬가지다.
• 선형성 성질 덕분에 중계자는 집계된 서명(예: 비밀의 합 또는 차)을 효율적으로 계산하고 폭로할 수 있으며, 검증자는 로컬 계산과 브로드캐스트를 통해 이를 검증한다.
• ICP는 핵심 원천으로서 기능하기 때문에, 최적 내성 강도(n=2t+1)를 갖춘 효율적인 통계적 VSS 및 MPC 프로토콜의 구축을 가능하게 한다.
• 프로토콜은 동기 네트워크에서 비밀 및 브로드캐스트 채널을 갖추고 있으며, 정적, 활성, 러시 공격자(계산 능력 비한계) 조건 하에서 보안이 확보된다.