- 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.
Category / Keywords: cryptographic protocols / Non-interactive zero-knowledge proofs, commit-and-prove schemes, Groth-Sahai proofs, type-based commitments Date: received 15 Oct 2013 Contact author: Alexandre Escala at uab cat Available format(s): PDF | BibTeX Citation Version: 20131024:075552 (All versions of this report) Short URL: ia.cr/2013/662