[Resource Topic] 2013/662: Fine-Tuning Groth-Sahai Proofs

Welcome to the resource topic for 2013/662

Title:
Fine-Tuning Groth-Sahai Proofs

Authors: Alex Escala, Jens Groth

Abstract:

Groth-Sahai proofs are efficient non-interactive zero-knowledge proofs that have found widespread use in pairing-based cryptography. We propose efficiency improvements of Groth-Sahai proofs in the SXDH setting, which is the one that yields the most efficient non-interactive zero-knowledge proofs. - We replace some of the commitments with ElGamal encryptions, which reduces the prover’s computation and for some types of equations reduces the proof size. - Groth-Sahai proofs are zero-knowledge when no public elements are paired to each other. We observe that they are also zero-knowledge when base elements for the groups are paired to public constants. - The prover’s computation can be reduced by letting her pick her own common reference string. By giving a proof she has picked a valid common reference string this does not compromise soundness. - We define a type-based commit-and-prove scheme, which allows commitments to be reused in many different proofs.

ePrint: https://eprint.iacr.org/2013/662

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 .