[Resource Topic] 2012/512: Constant-Overhead Secure Computation of Boolean Circuits using Preprocessing

Welcome to the resource topic for 2012/512

Title:
Constant-Overhead Secure Computation of Boolean Circuits using Preprocessing

Authors: Ivan Damgard, Sarah Zakarias

Abstract:

We present a protocol for securely computing a Boolean circuit C in presence of a dishonest and malicious majority. The protocol is unconditionally secure, assuming access to a preprocessing functionality that is not given the inputs to compute on. For a large number of players the work done by each player is the same as the work needed to compute the circuit in the clear, up to a constant factor. Our protocol is the first to obtain these properties for Boolean circuits. On the technical side, we develop new homomorphic authentication schemes based on asymptotically good codes with an additional multiplication property. We also show a new algorithm for verifying the product of Boolean matrices in quadratic time with exponentially small error probability, where previous methods would only give a constant error.

ePrint: https://eprint.iacr.org/2012/512

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .