Zero-knowledge from secure multiparty computation

By Yuval Ishai, Eyal Kushilevitz, Rafail M. Ostrovsky, Amit Sahai. 2007

478 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Srinath T. V. Setty
2. Michael Walfish
3. Dan Boneh
4. Eli Ben-Sasson
5. Andrew Justin Blumberg
6. Iddo Bentov
7. Michael Riabzev
8. Justin Thaler

In Computational Theory and Mathematics

1. Srinath T. V. Setty
2. Michael Walfish
3. Eli Ben-Sasson
4. Justin Thaler
5. Andrew Justin Blumberg
6. Michael Riabzev
7. Iddo Bentov
8. Yinon Horesh

Citations in the corpus

• PIR with Compressed Queries and Amortized Query Processing (2018, background): “[48] to describe the action of an entity who simulates the execution of a protocol (multiparty computation in their case).”
• Verifying computations with state (2013, background): “Each constraint corresponds to a “register operation” (arithmetic, assignment, etc.), which provides an interpretation of our metric.”
• Spartan: Efficient and general-purpose zkSNARKs without trusted setup (2020, methodology): “Second, Ligero [3] builds an interactive PCP [64] using the “MPC in the head” paradigm [61] and then transforms it to a zkSNARK.”
• Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation (2019, background): “Based on “(MPC)-in-the-head” introduced in [20, 27, 33], Ames et al.”
• A Pragmatic Introduction to Secure Multi-Party Computation (2019, background): “A black-box approach for transforming a semi-honest-secure protocol into a malicious-secure one (Ishai et al., 2007; Ishai et al., 2008) is known as “MPC in the head.”
• Doubly-Efficient zkSNARKs Without Trusted Setup (2018, background): “Another approach due to Ishai, Kushilevitz, Ostrovsky, and Sahai [60] (IKOS) transforms a secure multi-party computation protocol into a ZK argument.”
• Ligero: Lightweight Sublinear Arguments Without a Trusted Setup (2017, methodology): “In this regards we deviate from the original work of [60] which provided a general transformation from any honest majority MPC protocol that can compute arbitrary functionalities.”
• Scalable, transparent, and post-quantum secure computational integrity (2018, background): “[70] Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky, and Amit Sahai.”
• Founding Cryptography on Oblivious Transfer - Efficiently (2008, methodology): “Our main compiler was inspired by the " MPC in the head " paradigm introduced by Ishai, Kushilevitz, Ostrovsky, and Sahai [32] and further developed by Harnik, Ishai, Kushilevitz, and Nielsen [27].”
• Scalable Zero Knowledge with No Trusted Setup (2019, background): “[51] and implemented first in the ZKBoo [42] system, and more recently, in Ligero [1], “compiles” secure MPC protocols into ZK-PCP systems, by requiring the prover to commit to the transcript of a secure MPC protocol, and then reveal the view of one of the parties.”