Zero-knowledge proofs are a powerful cryptographic tool which has found numerous real-world applications in e.g. confidential transactions, anonymous credentials, e-voting and blockchain. Recently, due to the significant progress in building quantum computers, there has been tremendous interest in constructing such protocols from quantum-safe assumptions.
The goal of this workshop is to share the current state-of-the-art results in the area of post-quantum zero-knowledge proofs and bring the two (seemingly separate) research communities together: lattice- and hash-based proof systems. Indeed, many recent lattice-based constructions (even unknowingly) borrow key techniques from hash-based proof systems, e.g., the split-and-fold approach or the sumcheck protocol. We thus believe the two areas have a lot in common, and by sharing the knowledge in the related fields, we, as a cryptographic research community, can build more efficient and practical quantum-safe zero-knowledge protocols.
Please contact the organizers with any questions.
Organizers:
Ngoc Khanh Nguyen, EPFL. Email: khanh.nguyen [at] epfl.ch
Gal Arnon, Weizmann Institute. Email: gal.arnon [at] weizmann.ac.il
This workshop is graciously hosted and funded by the Bernoulli Center for Fundamental Studies and is held in cooperation with IACR.