On Best-Possible One-Time Programs

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.범용 최선(best-possible) 일회성 프로그램 컴파일러는 SZK⊄BQP 가정 하에 존재 불가능함을 증명
2.'테스트 가능한 일회성 프로그램' 개념과 SEQ(Single-Effective-Query) 보안 정의를 새로 제시
3.고전 오라클 모델에서 모든 양자 채널에 대한 SEQ-안전 OTP 최초 구성
4.스테이트풀 양자 난독화(stateful quantum iO)를 플레인 모델 OTP로 가는 경로로 제안

왜 중요한가?

양자 계산 기반 OTP는 하드웨어 가정이 없는 일회성 프로그램의 유력한 대안이지만 근본 한계가 불명확했는데, 이번 불가능성 증명과 SEQ 보안 개념이 양자 난독화·OTP 연구의 이론적 기준선을 다시 세운다.

본문 미리보기

One-time programs (OTPs) aim to let a user evaluate a program on a single input while revealing nothing else. Classical OTPs require hardware assumptions. Quantum measurement offers a possible physical basis for one-time use: obtaining an output may irreversibly disturb the program needed for further computation. Yet deterministic functionalities remain impossible due to gentle-measurement attacks (Broadbent, Gutoski and Stebila, 2013). While recent works achieve positive results for randomized

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기