CRGC – A Practical Framework for Constructing Reusable Garbled Circuits

In this work, we introduce two schemes to construct reusable garbled circuits (RGCs) in the semi-honest setting. Our completely reusable garbled circuit (CRGC) scheme allows the generator (party A) to construct and send an obfuscated boolean circuit along with an encoded input to the evaluator (Party B). In contrast to Yao's garbled circuit protocol, the evaluator can securely evaluate the same CRGC with an arbitrary number of inputs. As a tradeoff, CRGCs come with predictable input bit leakage. We also propose a partially reusable garbled circuit (PRGC) scheme that divides a circuit into reusable and non-reusable sections. PRGCs do not leak input bits of the generator. We benchmark our CRGC implementation against the state-of-the-art Yao's Garbled Circuit libraries EMP SH2PC and TinyGarble2. Using our framework, evaluating a CRGC is up to twenty times faster than evaluating an equivalent Yao's Garbled Circuit constructed by the two existing libraries. Our open-source library can convert any C++ function to an RGC at approx. 80 million gates per second and repeatedly evaluate a CRGC at approx. 350 million gates per second. Additionally, a compressed CRGC is approx. 75 unobfuscated boolean circuit.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/12/2023

Improved Lower Bounds for Monotone q-Multilinear Boolean Circuits

A monotone Boolean circuit is composed of OR gates, AND gates and input ...
research
11/02/2020

A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem

Generally, negation-limited inverters problem is known as a puzzle of co...
research
09/10/2023

Parallel RAM from Cyclic Circuits

Known simulations of random access machines (RAMs) or parallel RAMs (PRA...
research
09/22/2017

Quantified Derandomization of Linear Threshold Circuits

One of the prominent current challenges in complexity theory is the atte...
research
12/14/2018

Teleportation-based quantum homomorphic encryption scheme with quasi-compactness and perfect security

This article defines encrypted gate, which is denoted by EG[U]:|α〉→((a,b...
research
05/07/2019

Design Space Exploration as Quantified Satisfaction

We propose novel algorithms for design and design space exploration. The...
research
02/14/2019

Estimating the Circuit Deobfuscating Runtime based on Graph Deep Learning

Circuit obfuscation is a recently proposed defense mechanism to protect ...

Please sign up or login with your details

Forgot password? Click here to reset