Abstract:Privacy and security have rapidly emerged as priorities in system design. One powerful solution for providing both is privacy-preserving computation, where functions are computed directly on encrypted data and control can be provided over how data is used. Garbled circuits (GCs) are a PPC technology that provide both confidential computing and control over how data is used. The challenge is that they incur significant performance overheads compared to plaintext. This paper proposes a novel garbled circuits accelerator and compiler, named HAAC, to mitigate performance overheads and make privacy-preserving computation more practical. HAAC is a hardware-software co-design. GCs are exemplars of co-design as programs are completely known at compile time, i.e., all dependence, memory accesses, and control flow are fixed. The design philosophy of HAAC is to keep hardware simple and efficient, maximizing area devoted to our proposed custom execution units and other circuits essential for high performance (e.g., on-chip storage). The compiler can leverage its program understanding to realize hardware's performance potential by generating effective instruction schedules, data layouts, and orchestrating off-chip events. In taking this approach we can achieve ASIC performance/efficiency without sacrificing generality. Insights of our approach include how co-design enables expressing arbitrary GCs programs as streams, which simplifies hardware and enables complete memory-compute decoupling, and the development of a scratchpad that captures data reuse by tracking program execution, eliminating the need for costly hardware managed caches and tagging logic. We evaluate HAAC with VIP-Bench and achieve an average speedup of 589$\times$ with DDR4 (2,627$\times$ with HBM2) in 4.3mm$^2$ of area.

Efficiency Optimizations on Yao's Garbled Circuits and Their Practical Applications

SoK: Modular and Efficient Private Decision Tree Evaluation.

Secure Computation for G-Module and Its Applications

A Practical, Secure, and Verifiable Cloud Computing for Mobile Systems

A Ciphertext Reduction Scheme for Garbling an S-Box in an AES Circuit with Minimal Online Time

Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values

Efficient Secure Multiparty Computation Based on Homomorphic Encryption

Fast Evaluation of S-Boxes With Garbled Circuits

Efficient Secure Computation from SM Series Cryptography

SHAPER: A General Architecture for Privacy-Preserving Primitives in Secure Machine Learning.

A Practical Solution to Yao's Millionaires' Problem and Its Application in Designing Secure Combinatorial Auction

Blind Turing-Machines: Arbitrary Private Computations from Group Homomorphic Encryption

Secure Yannakakis

Communication-Efficient (Client-Aided) Secure Two-Party Protocols and Its Application

Revisiting Secure Computation Using Functional Encryption: Opportunities and Research Directions

HAAC: A Hardware-Software Co-Design to Accelerate Garbled Circuits

Secure Computation Framework for Multiple Data Providers Against Malicious Adversaries

Symmetric cryptographic solution to Yao’s millionaires’ problem and an evaluation of secure multiparty computations

Secure Computation in Decentralized Data Markets

Efficient 3PC for Binary Circuits with Application to Maliciously-Secure DNN Inference