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. © 2014 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Escala, A., & Groth, J. (2014). Fine-tuning groth-sahai proofs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383 LNCS, pp. 630–649). Springer Verlag. https://doi.org/10.1007/978-3-642-54631-0_36
Mendeley helps you to discover research relevant for your work.