Extracting Witnesses from Proofs of Knowledge in the Random Oracle Model

Authors

  • Jens Groth

DOI:

https://doi.org/10.7146/brics.v8i52.21713

Abstract

We prove that a 3-move interactive proof system with the special soundness property made non-interactive by applying the Fiat-Shamir heuristic is almost a non-interactive proof of knowledge in the random oracle model. In an application of the result we demonstrate that the Damgård-Jurik voting scheme based on homomorphic threshold encryption is secure against a nonadaptive adversary according to Canetti's definition of multi-party computation security.

Downloads

Published

2001-12-04

How to Cite

Groth, J. (2001). Extracting Witnesses from Proofs of Knowledge in the Random Oracle Model. BRICS Report Series, 8(52). https://doi.org/10.7146/brics.v8i52.21713