Groth-Sahai Proofs

Download Now
Provided by: University of Brighton
Topic: Security
Format: PDF
Since their introduction in 2008, the Non-Interactive Zero Knowledge (NIZK) and Non-Interactive Witness Indistinguishable (NIWI) proofs designed by Groth and Sahai have been used in numerous applications. In this paper, the authors offer two contributions to the study of these proof systems. They identify and correct some errors, present in the original online manuscript, that occur in two of the three instantiations of the Groth-Sahai NIWI proofs for which the equation checked by the verifier is not valid for honest executions of the protocol.
Download Now

Find By Topic