[논문 리뷰] Verifiable Fully Homomorphic Encryption

Alexander Viand, Christian Knabenhans외 1명|arXiv (Cornell University)|2023. 01. 17.

Cryptography and Data Security인용 수 15

한 줄 요약

이 논문은 FHE 무결성 격차를 분석하고, 악의적 보안을 보장하는 새로운 verifiable FHE 개념(vFHE)을 도입하며, 커밋먼트와 ZK 증명을 이용한 일반적인 구성 및 구체화, 그리고 다양한 설정에서의 평가를 제공합니다.

ABSTRACT

Fully Homomorphic Encryption (FHE) is seeing increasing real-world deployment to protect data in use by allowing computation over encrypted data. However, the same malleability that enables homomorphic computations also raises integrity issues, which have so far been mostly overlooked. While FHEs lack of integrity has obvious implications for correctness, it also has severe implications for confidentiality: a malicious server can leverage the lack of integrity to carry out interactive key-recovery attacks. As a result, virtually all FHE schemes and applications assume an honest-but-curious server who does not deviate from the protocol. In practice, however, this assumption is insufficient for a wide range of deployment scenarios. While there has been work that aims to address this gap, these have remained isolated efforts considering only aspects of the overall problem and fail to fully address the needs and characteristics of modern FHE schemes and applications. In this paper, we analyze existing FHE integrity approaches, present attacks that exploit gaps in prior work, and propose a new notion for maliciously-secure verifiable FHE. We then instantiate this new notion with a range of techniques, analyzing them and evaluating their performance in a range of different settings. We highlight their potential but also show where future work on tailored integrity solutions for FHE is still required.

연구 동기 및 목표

• 기존 FHE 무결성 개념과 실제 배포 필요성 사이의 격차를 강조한다.
• 표준 FHE와 무결성 특성을 결합하는 깨끗하고 모듈식의 악의적 보안 verifiable FHE(vFHE) 개념을 정의한다.
• 표준 FHE, 커밋먼트, 그리고 영지식증명으로부터 vFHE의 일반적인 구성들을 제공하고, 실용적 구현에 대해 논의한다.

제안 방법

• 기존 FHE 무결성 접근법을 MAC 기반, ZKP 기반, 및 attestation 기반 패러다임으로 통합하고 분류한다.
• 구속성, 완전성, 정확성 및 보안 속성을 갖춘 악의적 보안 verifiable FHE(vFHE)를 형식적으로 정의한다.
• 서버 입력 프라이버시와 입력 술어를 갖춘 vFHE를 확장하는 방법을 보인다.
• IND-CPA 보안 FHE, 커밋먼트, 및 호환 가능한 ZKP 시스템으로부터 vFHE의 일반적인 구성을 기술한다.
• FHE와 ZKPs를 연결하는 데 따른 도전 과제를 분석하고, FHE 링 산술을 체계 기반 ZKP 내에서 모방하기 위한 최적화를 제안한다.

실험 결과

연구 질문

• RQ1 실세계 배치에서 기존 FHE 무결성 개념의 한계는 무엇인가?
• RQ2 깨끗하고 모듈식인 vFHE 개념은 어떻게 정의되고 달성될 수 있는가?
• RQ3 표준 FHE, 커밋먼트, 및 ZKP로부터 vFHE를 구현하기에 충분한 일반 아키텍처와 핵심 기본 원리는 무엇인가?
• RQ4 FHE와 ZKP를 결합할 때 발생하는 실무적 도전과제는 무엇이며 이를 어떻게 완화할 수 있는가?

주요 결과

• 현실 세계의 위협 모델 및 입력 설정과의 불일치로 인해 기존의 무결성 개념은 실제 FHE 배치에 충분하지 않다.
• 모듈식 vFHE 개념은 표준 FHE를 무결성 원시요소와 결합하여 악의적 서버 및 복호화/오류 오라클을 다룰 수 있다.
• 표준 FHE, 커밋먼트, 및 ZKP로부터의 일반적인 구성은 vFHE를 실현할 수 있어, 확장 가능한 프라이버시 특성을 갖춘 다양한 배치 설정을 가능하게 한다.
• ZKP 기반 구현은 체계 기반 ZKP에서 FHE 링 산술을 모방하는 데 있어 근본적인 도전과제를 드러내며, 맞춤형 최적화가 필요하다.
• FHE-in-TEE 및 다른 접근 방식은 비교 지점을 제공하지만, FHE 특성에 맞춰 특별히 설계된 ZKP 시스템에 대한 향후 연구가 필요하다.