[논문 리뷰] PySEAL: A Python wrapper implementation of the SEAL homomorphic encryption library

Alexander Titus, Shashwat Kishore외 3명|arXiv (Cornell University)|2018. 03. 05.

Cryptography and Data Security참고 문헌 4인용 수 11

한 줄 요약

PySEAL는 Microsoft의 SEAL 동형 암호화 라이브러리를 랩핑한 파이썬 랩퍼로, pybind11를 사용하여 생물정보학 분야에서의 빠른 프로토타이핑을 가능하게 한다. 이는 파이썬 워크플로우에 완전 동형 암호화를 원활하게 통합할 수 있도록 하며, 도커 컨테이너를 통해 간편한 배포를 지원함으로써, C++ 전문 지식이 없는 생물학자들과 연구자들이 게놈 데이터의 기밀 보존 계산을 실험하는 데 있어 훨씬 낮은 장벽을 제공한다.

ABSTRACT

Motivation: The ability to perform operations on encrypted data has a growing number of applications in bioinformatics, with implications for data privacy in health care and biosecurity. The SEAL library is a popular implementation of fully homomorphic encryption developed in C++ by Microsoft Research. Despite the advantages of C++, Python is a flexible and dominant programming language that enables rapid prototyping of bioinformatics pipelines. Results: In an effort to make homomorphic encryption accessible to a broader range of bioinformatics scientists and applications, we present a Python binding implementation of the popular homomorphic encryption library, SEAL, using pybind11. The software contains a Docker image to facilitate easy installation and execution of the SEAL build process. Availability: All code is publicly available at https://github.com/Lab41/PySEAL Contact: [e-mail] Supplementary information: Supplementary information is available on the Lab41 GitHub.

연구 동기 및 목표

• C++ 기반의 SEAL 동형 암호화 라이브러리가 생물정보학 연구자들, 특히 정규 컴퓨터 과학 교육을 받지 않은 이들에게 접근하기 어려운 문제를 해결하기 위해.
• 생물정보학 분야에서 널리 사용되는 파이썬을 활용해 기밀 보존 기반의 게놈 데이터 분석 파이프라인을 빠르게 프로토타이핑할 수 있도록 하기 위해.
• SEAL에 대한 고수준의 사용자 友好的 인터페이스를 제공하여 동형 암호화의 구현 장벽을 낮추어 생물의학 연구 분야에서의 적용을 촉진하기 위해.
• 다중 기관 간 분산된 플랫폼에서도 데이터 기밀을 유지하면서 민감한 게놈 데이터에 대한 안전한 계산을 지원하기 위해.
• 완전 동형 암호화의 생물정보학 분야에서의 도입을 촉진하기 위해, 널리 사용되는 생물정보학 워크플로우와의 통합을 지원하기 위해.

제안 방법

• PySEAL는 pybind11를 사용하여 C++ SEAL 라이브러리에 대한 파이썬 바인딩 계층을 생성하여, 파이썬에서 SEAL의 핵심 기능을 직접 접근할 수 있도록 한다.
• 소프트웨어는 전체 SEAL 빌드 및 실행 환경을 봉인한 도커 컨테이너를 포함하여 재현 가능성과 배포 용이성을 보장한다.
• SEALv2.3를 지원하며, 암호문과 평문 간의 동형 연산 기능을 포함하여 런타임 오버헤드를 줄인다.
• 파이썬스러운 인터페이스를 통해 EncryptionParameters, SEALContext, Encryptor, Decryptor, IntegerEncoder, Evaluator 등의 핵심 SEAL 컴포넌트를 노출한다.
• 빌드 프로세스를 자동화하고 예제 사용 사례를 실행하기 위한 바시 스크립트가 제공되어 신규 사용자에게 사용성 향상을 제공한다.
• 구현은 원본 SEAL 라이브러리의 보안 모델 및 암호 기반 원리와 호환성을 유지한다.

실험 결과

연구 질문

• RQ1 C++ 전문 지식이 없는 생물정보학 연구자들이 동형 암호화를 얼마나 쉽게 접근할 수 있도록 만들 수 있는가?
• RQ2 SEAL의 파이썬 랩퍼가 기밀 보존 기반의 게놈 분석 프로토타이핑을 얼마나 빠르게 가능하게 하는가?
• RQ3 도커 기반 배포 모델이 생물정보학 분야에서 동형 암호화 워크플로우의 설정 및 실행을 얼마나 효과적으로 단순화할 수 있는가?
• RQ4 파이썬과의 통합이 실제 게놈 데이터 분석 파이프라인에서 성능과 사용성에 어떤 영향을 미치는가?
• RQ5 PySEAL를 사용하여 분산된 기관 간 다중 당사자 게놈 데이터 계산을 안전하게 구현하는 데 실현 가능한가?

주요 결과

• PySEAL는 pybind11를 통해 파이썬 기반으로 C++ SEAL 동형 암호화 라이브러리의 전체 기능에 접근할 수 있도록 성공적으로 구현하였다.
• 도커 컨테이너 덕분에 설치 및 실행이 간편해져 다양한 컴퓨팅 환경에서 사용자에게 설정의 번거로움을 줄였다.
• 랩퍼는 고급 SEALv2.3 기능을 지원하며, 암호문과 평문 간 최적화된 동형 연산을 통해 런타임 효율성을 향상시켰다.
• 소프트웨어는 GitHub에서 공개되어 활발히 유지 보수 중이며, 포괄적인 문서와 예제 스크립트를 제공한다.
• PySEAL는 생물정보학 연구자들이 게놈 데이터 분석에서 완전 동형 암호화를 실험해보는 데 있어 진입 장벽을 낮췄다.
• 이 도구는 민감한 게놈 데이터에 대한 안전한 계산을 가능하게 하며, 암호화된 돌연변이 검색 및 시퀀스 비교와 같은 응용 분야를 지원한다.