Darmstadt-Warsaw Research Seminar on Cryptography and Blockchains: Distributed-Verifier Zero-Knowledge Proofs and Applications to Secure Computation

Organizer:
Prof. Sebastian Faust (TU Darmstadt)
Prof. Stefan Dziembowski (University of Warsaw)

Abstract

Distributed-verifier zero-knowledge (D-ZK) proofs give a means for proving statements on data held distributedly across multiple parties. Concretely, there are multiple verifiers who each hold pieces of the input x, and zero knowledge must additionally guarantee that subsets of verifiers do not learn about x beyond their original knowledge. In this talk, we will introduce the notion of D-ZK proofs, briefly survey known constructions, and present recent developments using information-theoretic D-ZK machinery to achieve low-overhead compilers for attaining general secure computation with security against malicious adversaries.

Based on joint works with Dan Boneh, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai, and Ariel Nof.

Short bio

Elette Boyle is an American and Israeli computer scientist and cryptographer, known for her research on secret sharing, digital signatures, and obfuscation. She is a professor of computer science at the Interdisciplinary Center Herzliya, where she directs the Center for Foundations and Applications of Cryptographic Theory.

Links

• Talk: Online via Zoom
• Networking: Online – the link will be shared during the Zoom session