Secure Multi-Party Computation
[BOOK DESCRIPTION]
Secure Multi-Party Computation (MPC) is one of the most powerful tools developed by modern cryptography: it facilitates collaboration among mutually distrusting parties by implementing a virtual trusted party. Despite the remarkable potential of such a tool, and decades of active research in the theoretical cryptography community, it remains a relatively inaccessible and lesser-known concept outside of this field. Only a handful of resources are available to students and researchers wishing to learn more about MPC. The editors of this book have assembled a comprehensive body of basic and advanced material on MPC, authored by experts in the field. It will serve as a starting point for those interested in pursuing research related to MPC, whether they are students learning about it for the first time or researchers already working in the area. The book begins with tutorials introducing the concept of MPC and zero-knowledge proofs, an important theoretical platform where many of the concepts central to MPC were shaped. The remaining chapters deal with classical as well as recent MPC protocols, and a variety of related topics. Each chapter is self-contained and can be read independently of the others.
[TABLE OF CONTENTS]
Foreword v
Andrew Chi-Chih Yao
Preface vii
Manoj Prabhakaran
Amit Sahai
General Cryptographic Protocols: The Very Basics 1 (27)
Oded Goldreich
A Short Tutorial of Zero-Knowledge 28 (33)
Oded Goldreich
Security and Composition of Cryptographic 61 (59)
Protocols: A Tutorial
Ran Canetti
The BGW Protocol for Perfectly-Secure 120(48)
Multiparty Computation
Gilad Asharov
Yehuda Lindell
Information-Theoretic Secure Multiparty 168(33)
Computation
Ueli Maurer
Vassilis Zikas
The IPS Compiler 201(21)
Abhishek Jain
Amit Sahai
Randomization Techniques for Secure Computation 222(27)
Yuval Ishai
Complexity of Multi-Party Computation 249(36)
Functionalities
Hemanta K. Maji
Manoj Prabhakaran
Mike Rosulek
Author Index 285