Certified-Everlasting Quantum NIZK Proofs

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.CRS 모델에서 LWE 가정만으로 검증 가능한 '영구삭제' 양자 NIZK(CE-NIZK) 최초 구성
2.기존 대화형 CE-ZK 프로토콜을 일반화하는 방식은 CRS 모델에서 근본적 장벽에 부딪힘을 규명
3.일방향함수(OWF)를 비-블랙박스로 활용해 이 장벽을 우회하는 새 구성법 제시
4.공유 EPR 모델에서는 LWE 기반 통계적 바인딩 은닉비트생성기만으로 CE-NIZK 구성, 단일 큐비트 측정만 필요

왜 중요한가?

양자 검증자가 증명을 열람한 뒤 이를 암호학적으로 '증명 가능하게' 폐기할 수 있다는 점에서, 사후 기밀성이 요구되는 양자 통신·검증 프로토콜에 표준 가정(LWE) 기반의 실용적 경로를 처음 제시한다.

본문 미리보기

We study non-interactive zero-knowledge proofs (NIZKs) for NP satisfying: 1) statistical soundness, 2) computational zero-knowledge (ZK) and 3) certified-everlasting zero-knowledge (CE-ZK). The CE-ZK property allows a verifier of a quantum proof to revoke the proof in a way that can be checked (certified) by the prover. Conditioned on successful certification, the verifier's state can be efficiently simulated with only the statement, in a statistically indistinguishable way. Our contributions re

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기