[논문 리뷰] Improved code-based identification scheme

Pierre-Louis Cayrel, Pascal Véron|arXiv (Cornell University)|2010. 01. 18.

Coding theory and cryptography참고 문헌 18인용 수 11

한 줄 요약

이 논문은 Fq에서 q-ary 심호드 디코딩을 사용한 5단계 코드 기반 신원 확인 체계를 제안하며, 도용 확률을 슈터의 원래 3단계 체계에서 2/3이던 것을 1/2으로 감소시킨다. 준주기적 구성 방식을 적용함으로써 공개 키 크기를 66KB였던 슈터의 것보다 반 이하인 34KB로 줄였으며, 128비트 보안 수준을 유지함으로써 경량 암호화에 매우 실용적인 솔루션을 제공한다.

ABSTRACT

We revisit the 3-pass code-based identification scheme proposed by Stern at Crypto'93, and give a new 5-pass protocol for which the probability of the cheater is 1/2 (instead of 2/3 in the original Stern's proposal). Furthermore, we propose to use quasi-cyclic construction in order to dramatically reduce the size of the public key. The proposed scheme is zero-knowledge and relies on an NP-complete problem coming from coding theory (namely the q-ary Syndrome Decoding problem). Taking into account a recent study of a generalization of Stern's information-set-decoding algorithm for decoding linear codes over arbitrary finite fields Fq we suggest parameters so that the public key be 34Kbits while those of Stern's scheme is about 66Kbits. This provides a very practical identification (and possibly signature) scheme which is mostly attractive for light-weight cryptography

연구 동기 및 목표

• 2−16 도용 확률을 달성하기 위해 27라운드가 필요한 슈터의 3단계 코드 기반 신원 확인 체계의 높은 통신 비용 문제를 해결한다.
• 제한된 환경에서의 구현에 있어 주요 장애 요소인 코드 기반 신원 확인 체계의 공개 키 크기를 줄인다.
• 5단계 프로토콜을 통해 각 라운드의 도용 확률을 2/3에서 1/2로 낮춤으로써 코드 기반의 제로 지식 신원 확인의 효율성을 향상시킨다.
• q-ary 코드와 준주기적 구조를 활용하여 공개 키 크기를 극적으로 줄이고 ISD 공격에 대한 보안을 유지한다.
• 스마트 카드, 페이티브, 자판기 등에 적합한 실용적이고 양자 컴퓨팅에 강건한 신원 확인 체계를 제공한다.

제안 방법

• Fq에서의 q-ary 심호드 디코딩(qSD) 문제를 기반으로 한 5단계 제로 지식 신원 확인 프로토콜을 제안하며, 증명자는 Hs^T = y 를 만족하는 낮은 무게의 오류 벡터 s 를 안다고 증명한다.
• 공개 키를 나타내기 위해 H ∈ Fq^{k×n} 의 체계적 형태의 부호화 행렬 H 를 사용하여 저장 및 통신 오버헤드를 줄인다.
• H 에 준주기적(이중순환) 구조를 적용하여 전체 n×k 행렬을 저장하는 대신 k×k 블록만으로도 압축된 표현이 가능하도록 한다.
• q-ary 질베르트-바르샤모프 경계와 ISD 공격 복잡도 추정치(피터스의 코드 기반)를 활용해 안전한 매개변수를 선택한다: q=256, n=128, k=64, wt(s)=49.
• 도전 단계에서 무작위 순열과 무작위 벡터를 사용함으로써 제로 지식 성질을 확보하며, 이는 슈터의 체계와 유사하지만 q-ary 필드에 맞게 수정된 방식이다.
• 공개 키를 추가로 압축하기 위해 비밀 키를 H 의 이중 코드에 삽입하고, 영 심호드를 활용하지만, 이는 향후 연구 과제로 남겨둔다.

실험 결과

연구 질문

• RQ1 5단계 코드 기반 신원 확인 체계는 각 라운드의 도용 확률을 2/3에서 1/2로 낮추면서도 제로 지식 보안을 유지할 수 있는가?
• RQ2 준주기적 또는 준이중성 코드 구조는 ISD 공격에 대한 저항력을 약화시키지 않고도 q-ary 코드 기반 신원 확인 체계의 공개 키 크기를 줄일 수 있는가?
• RQ3 q-ary 코드의 매개변수(q, n, k, wt(s))를 어떻게 설정하면 최소한의 공개 키 크기와 통신 비용으로 128비트 보안 수준을 달성할 수 있는가?
• RQ4 제안된 체계의 통신 및 계산 복잡도는 슈터의 원래 체계 및 기타 변형과 비교해 어떻게 다른가?
• RQ5 보안 또는 제로 지식 성질을 해치지 않고도 비밀 키를 공개 행렬에 직접 통합할 수 있는가?

주요 결과

• 제안된 5단계 체계는 각 라운드의 도용 확률을 1/2로 낮춰 2−16 이하의 도용 확률을 달성하기 위해 단 16라운드로 충분하며, 이는 슈터의 체계가 요구하는 27라운드보다 훨씬 효율적이다.
• q=256, n=128, k=64, wt(s)=49 를 사용함으로써 공개 키 크기가 33,792비트(34KB)로 줄었으며, 이는 슈터의 66KB 대비 뚜렷한 개선이다.
• 라운드 수 감소와 최적화된 메시지 구조 덕분에 통신 복잡도는 30,848비트로 줄었으며, 이는 슈터의 체계 37,872비트보다 낮다.
• 선택된 매개변수에 대해 ISD 공격의 추정 작업량은 최소 2^87 이상이며, 이는 128비트 보안 수준을 제공한다.
• 체계는 제로 지식 보안을 유지하며, SPA 및 DPA와 같은 사이드 채널 공격에 저항력이 있으며, 원래 슈터 체계의 특성을 이어받는다.
• 준주기적 코드의 사용은 압축된 키 표현과 효율적인 계산을 가능하게 하여, 스마트 카드 및 임베디드 시스템과 같은 경량 장치에 적합한 체계를 제공한다.