Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
By Melissa Chase, David Derler, Steven Goldfeder, Claudio Orlandi, Sebastian Ramacher, Christian Rechberger, Daniel Slamanig, Gregory M. Zaverucha. Conference on Computer and Communications Security, 2017
317 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computer Vision and Pattern Recognition
View Paper: https://www.semanticscholar.org/paper/9d281d741f2b3864e9525754c3c1350a9e59a477
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
- Srinath T. V. Setty
- Michael Walfish
- David E. Evans
- Dan Boneh
- Mike Rosulek
- Abhi Shelat
- Justin Thaler
- Vladimir Kolesnikov
In Computer Vision and Pattern Recognition
- Christian Rechberger
- Srinath T. V. Setty
- Dawn Song
- Vladimir Kolesnikov
- David E. Evans
- Yuval Ishai
- Michael Walfish
- Dmitry Khovratovich
Citations in the corpus
- Poseidon: A New Hash Function for Zero-Knowledge Proof Systems (2021, background): “In the middle of 2020, the most popular proof systems are ZKSNARKs (Pinocchio [49], Groth16 [35], PLONK [27], Marlin [23] to name a few), Bulletproofs [19], ZK-STARKs [9], and MPC-in-the-head systems [7, 22, 29].”
- A Pragmatic Introduction to Secure Multi-Party Computation (2019, background): “For the special case of zero-knowledge proofs, the MPC-in-the-head approach results in protocols that are among the most e cient known (Giacomelli et al., 2016; Chase et al., 2017; Ames et al., 2017; Katz et al., 2018).”
- 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.”
- Ligero: Lightweight Sublinear Arguments Without a Trusted Setup (2017, background): “This is roughly 4 times less communication than a similar proof of ZKB++ [13], an optimized variant of ZKBoo [22].”
- Spartan: Efficient and general-purpose zkSNARKs without trusted setup (2020, methodology): “While the earlier instantiations of this paradigm, ZKBoo [52] and ZKB++ [37], produce proofs of size O(n), Ligero [3] makes the proof size O( √ n) by employing a sophisticated multi-party computation protocol and coding techniques to build an interactive PCP [64].”
- The SPHINCS+ Signature Framework (2019, unknown): “Comparison to Picnic.”
- Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings (2019, methodology): “This work stems from the “MPC-in-the-head” paradigm [30, 42, 49].”
- Doubly-Efficient zkSNARKs Without Trusted Setup (2018, methodology): “[32], reduces proof size by constant factors.”