Tighter Proofs for PKE-to-KEM Transformations under Average-Case Decryption Error and without $\gamma$-Spread | AIChainDay

0단 자동

AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.

규칙 판: 규칙 판 도입 이전 기사입니다.
남기는 것: 규칙 판 · 모델 · 시각
판 기록: 아직 없습니다.

블록체인2026년 3월 6일AI 점수: 90%

Tighter Proofs for PKE-to-KEM Transformations under Average-Case Decryption Error and without $\gamma$-Spread

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.포스트양자 KEM 구성 핵심인 FO류 변환을 FOAC0'·FOAC'로 개선, 감마-스프레드 가정을 완전히 제거
2.QROM 환산 손실을 기존 O(q^4)에서 O(q^2)~O(q^3)까지 줄여 더 타이트한 증명 달성
3.결정적이거나 IND-CPA 안전한 PKE에서는 손실을 O(q)까지 낮춤
4.Zhandry의 압축 오라클 기법을 확장한 새 QROM 증명 기법 3종 제시, 다른 연구에도 응용 가능

왜 중요한가?

NIST 포스트양자 표준화의 핵심 도구인 FO 변환의 보안 증명을 더 타이트하고 가정이 적은 형태로 개선해, 실제 파라미터 선택과 보안 강도 산정의 신뢰도를 높인다.

본문 미리보기

In the NIST post-quantum standardization process, Fujisaki-Okamoto-like (FO-like) transformation has become the de facto paradigm for constructing IND-CCA secure key encapsulation mechanisms (KEMs) from public-key encryption (PKE). However, most post-quantum PKE schemes exhibit decryption error, which poses significant challenges for the security proofs of FO-like PKE-to-KEM transformations, particularly in the quantum-accessible random oracle model (QROM). Hofheinz, Hövelmanns, and Kiltz (TCC 2

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기