ZHE: Efficient Zero-Knowledge Proofs for HE Evaluations

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.서버의 비밀 입력을 보호하면서 동형암호(HE) 연산의 정확한 실행을 증명하는 검증가능 HE 프레임워크 ZHE 제안
2.모듈로 연산과 (역)NTT에 대한 신규 고효율 영지식증명(ZKP) 두 종 설계
3.BGV·CKKS 등 Ring-LWE 기반 HE 전반에 적용, 비대화형 온라인 단계 지원
4.기존 최신 기법 대비 증명자 오버헤드를 1~2자릿수 수준까지 절감

왜 중요한가?

악의적 서버가 HE 연산 결과를 조작해도 기존 검증 기법은 지나치게 느리거나 서버측 비밀 입력과 호환되지 않았는데, ZHE는 두 문제를 동시에 해결해 신뢰 없는 클라우드에서의 암호화 연산 검증을 실용화한다.

언급 프로젝트

ZHE BGV CKKS

본문 미리보기

Homomorphic Encryption (HE) allows computations on encrypted data without decryption. It can be used where the users’ information are to be processed by an untrustful server, and has been a popular choice in privacy-preserving applica- tions. However, in order to obtain meaningful results, we have to assume an honest-but-curious server, i.e., it will faithfully follow what was asked to do. If the server is malicious, there is no guarantee that the computed result is correct. The notion of verifi

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기