Efficient Quantum-Safe Homomorphic Encryption for Quantum Computer Programs
Created by
- Haebom
Category
Empty
저자
Ben Goertzel
개요
본 논문은 양자 적대자에 대해 안전한 양자 프로그램 및 증명의 동형 평가를 위한 격자 기반 방식을 제시합니다. 복합 차수 그룹을 Module Learning-With-Errors (MLWE) 격자로 대체하고 다항식 函子를 경계가 있는 자연 초函子(BNSFs)로 일반화하여 고전적 동형 암호화를 양자 설정으로 끌어올립니다. 비밀 depolarizing BNSF 마스크는 진폭을 숨기는 반면, 각 양자 상태는 MLWE 암호문 쌍으로 저장됩니다. 암호화 오라클에 대한 일관된 접근을 허용하는 qIND-CPA 게임을 사용하여 보안을 공식화하고 의사 결정적 MLWE에 대한 4단계 하이브리드 환산을 제공합니다. 본 설계는 일반적으로 공개되지 않는 실질적인 문제들도 다룹니다. 형식화된 QC-브리지는 측정에 의해 생성된 고전적 비트를 암호화된 상태로 유지하면서 제어로 사용할 수 있도록 하며, 기대값 작업 부하에 대한 약한 측정 의미론을 제공합니다. 암호화된 Pauli twirls는 회로 개인 정보를 추가합니다. 고정된 지식 기반이 필요한 경우, 해당 공리는 MLWE "캡슐"로 제공됩니다. 평가자는 이를 사용할 수 있지만 읽을 수는 없습니다. rho-calculus 드라이버는 여러 QPU에 걸쳐 암호화된 작업을 예약하고 RChain 스타일 원장에 감사 가능한 추적 기록을 기록합니다. 성능 분석에 따르면 추가 격자 연산은 현재 QPU 유휴 시간 내에 맞출 수 있습니다. 100큐비트, 깊이 10^3 순간이동 기반 증명은 약 10ms 내에 실행되며, 공개 키(시드만)는 32바이트이고, CCA 수준 키조차도 300kB 미만입니다. 동형 순간이동과 지식 기반 상대 진폭 검사를 실행하는 광자 Dirac-3 프로토타입은 현재 하드웨어로 구현 가능해 보입니다. 이러한 결과는 완전 동형, 지식 기반 인식 양자 추론이 근시일 내 양자 클라우드 및 표준 양자 내성 보안 가정과 호환됨을 나타냅니다.
시사점, 한계점
•
시사점:
◦
양자 적대자에 대해 안전한 양자 프로그램 및 증명의 동형 평가를 위한 실용적인 격자 기반 방식 제시.
◦
현재 하드웨어로 구현 가능한 성능(100큐비트, 깊이 10^3 순간이동 기반 증명은 약 10ms).
◦
작은 공개 키 크기(32바이트).
◦
암호화된 제어 비트를 사용하는 QC-브리지와 암호화된 Pauli twirls를 통한 향상된 프라이버시.
◦
RChain 스타일 원장을 사용한 감사 가능한 추적 기록.
◦
근시일 내 양자 클라우드 및 표준 양자 내성 보안 가정과의 호환성.
•
한계점:
◦
구체적인 보안 증명의 세부 사항이나 제약에 대한 자세한 설명 부족.
◦
실제 구현 및 테스트 결과에 대한 제한된 정보.
◦
대규모 양자 프로그램에 대한 확장성에 대한 평가 부족.
◦
BNSFs의 실제 구현 복잡성에 대한 논의 부족.
