Welcome to the resource topic for 2023/1057
Title:
ZK-for-Z2K: MPC-in-the-Head Zero-Knowledge Proofs for \mathbb{Z}_{2^k}
Authors: Lennart Braun, Cyprien Delpech de Saint Guilhem, Robin Jadoul, Emmanuela Orsini, Nigel P. Smart, Titouan Tanguy
Abstract:In this work, we extend the MPC-in-the-head framework, used in recent efficient zero-knowledge protocols, to work over the ring \mathbb{Z}_{2^k}, which is the primary operating domain for modern CPUs. The proposed schemes are compatible with any threshold linear secret sharing scheme and draw inspiration from MPC protocols adapted for ring operations. Additionally, we explore various batching methodologies, leveraging Shamir’s secret sharing schemes and Galois ring extensions, and show the applicability of our approach in RAM program verification. Finally, we analyse different options for instantiating the resulting ZK scheme over rings and compare their communication costs.
ePrint: https://eprint.iacr.org/2023/1057
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .