Welcome to the resource topic for 2024/616
Title:
\mathsf{Cougar}: Cubic Root Verifier Inner Product Argument under Discrete Logarithm Assumption
Authors: Hyeonbum Lee, Seunghun Paik, Hyunjung Son, Jae Hong Seo
Abstract:An inner product argument (IPA) is a cryptographic primitive used to construct a zero-knowledge proof (ZKP) system, which is a notable privacy-enhancing technology. We propose a novel efficient IPA called \mathsf{Cougar}. \mathsf{Cougar} features cubic root verifier and logarithmic communication under the discrete logarithm (DL) assumption. At Asiacrypt2022, Kim et al. proposed two square root verifier IPAs under the DL assumption. Our main objective is to overcome the limitation of square root complexity in the DL setting. To achieve this, we combine two distinct square root IPAs from Kim et al.: one with pairing (\mathsf{Protocol3}) and one without pairing (\mathsf{Protocol4}). To construct \mathsf{Cougar}, we first revisit \mathsf{Protocol4} and reconstruct it to make it compatible with the proof system for the homomorphic commitment scheme. Next, we utilize \mathsf{Protocol3} as the proof system for the reconstructed \mathsf{Protocol4}. Furthermore, we provide a soundness proof for \mathsf{Cougar} in the DL assumption.
ePrint: https://eprint.iacr.org/2024/616
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 .