Title
Batch Logical Protocols For Efficient Multi-Party Computation
Abstract
It is becoming more and more important to make use of personal or classified information while keeping it confidential. A promising tool for meeting this challenge is secure multi-party computation (MPC). It enables multiple parties, each given a snippet of a secret s, to compute a function f(s) by communicating with each other without revealing s. However, one of the biggest problems with MPC is that it requires a vast amount of communication. Much research has gone into making each protocol (equality testing, interval testing, etc.) more efficient. In this work, we make a set of multiple protocols more efficient by transforming them into their equivalent batch processing form and propose two protocols: "Batch Logical OR" and "Batch Logical AND." Using proposed protocols recursively, we also propose "Batch Logical OR-AND" and "Batch Logical AND-OR," and show arbitrary formula consisting of Boolean protocols, OR gates, and AND gates can be batched. Existing logical OR and logical AND protocols consisting of t equality testing invocations have a communication complexity of O(lt), where l is the bit length of the secrets. Our batched versions of these protocols reduce it to O(l+t). For t interval testing invocations, they reduce both communication and round complexity. Thus they can make the queries on a secret shared database more efficient. For example, the use of the proposed protocols reduces the communication complexity for a query consisting of equality testing and interval testing by approximately 70% compared to the use of the corresponding existing protocols. The concept of the proposed protocols is versatile and can be applied to logical formulae consisting of protocols other than equality testing and interval testing, thereby making them more efficient as well.
Year
DOI
Venue
2012
10.1587/transfun.E95.A.1718
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
Keywords
Field
DocType
multi-party computation, secret sharing, batch logical protocol, secret shared database
Signal processing,Secret sharing,Computer science,Theoretical computer science,Computation
Journal
Volume
Issue
ISSN
E95A
10
0916-8508
Citations 
PageRank 
References 
0
0.34
5
Authors
5
Name
Order
Citations
PageRank
Naoto Kiribuchi111.38
Ryo Kato211.72
Tsukasa Endo311.37
Takashi Nishide435727.86
Hiroshi Yoshiura500.34