Cryptology ePrint Archive: Report 2019/988

RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications

David W. Archer and Jose Manuel Calderon Trilla and Jason Dagit and Alex J. Malozemoff and Yuriy Polyakov and Kurt Rohloff and Gerard Ryan

Abstract: Homomorphic Encryption (HE) is an emerging technology that enables computing on data while the data is encrypted. A major challenge with homomorphic encryption is that it takes extensive expert knowledge to design meaningful and useful programs that are constructed from atomic HE operations.

We present RAMPARTS to address this challenge. RAMPARTS provides an environment for developing HE applications in Julia, a high-level language, the same way as ``cleartext'' applications are typically written in Julia. RAMPARTS makes the following three contributions. First, we use symbolic execution to automate the construction of an optimized computation circuit where both the circuit size and multiplicative depth are chosen by the compiler. Second, RAMPARTS automatically selects the HE parameters for the generated circuit, which is typically done manually by an HE expert. Third, RAMPARTS automatically selects the plaintext encoding for input values, and performs input and output data transformations. These three operations are not easily performed by programmers who are not HE experts. Thus, RAMPARTS makes HE more widely available and usable by the the population of programmers.

We compare our approach with Cingulata, the only previously known system that automatically generates circuits for HE computations. The HE circuits generated by RAMPARTS are significantly more efficient than the circuits compiled by Cingulata. For instance, our runtimes for key generation/circuit compilation and all online operations are more than one order of magnitude lower for a sample image processing application used for performance evaluation in our study.

Category / Keywords: implementation / Homomorphic encryption; Automatic arithmetic circuit generation; Lattice-based cryptography; Usable security and privacy

Original Publication (with minor differences): WAHC 2019 7th Workshop on Encrypted Computing & Applied Homomorphic Cryptography

Date: received 30 Aug 2019, last revised 3 Sep 2019

Contact author: polyakov at njit edu

Available format(s): PDF | BibTeX Citation

Version: 20190903:154535 (All versions of this report)

Short URL: ia.cr/2019/988


[ Cryptology ePrint archive ]