Results 1 
4 of
4
Extracting Witnesses from Proofs of Knowledge in the Random Oracle Model
, 2001
"... We prove that a 3move interactive proof system with the special soundness property made noninteractive by applying the FiatShamir heuristic is almost a noninteractive proof of knowledge in the random oracle model. In an application of the result we demonstrate that the Damg˚ardJurik voting sche ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We prove that a 3move interactive proof system with the special soundness property made noninteractive by applying the FiatShamir heuristic is almost a noninteractive proof of knowledge in the random oracle model. In an application of the result we demonstrate that the Damg˚ardJurik voting scheme based on homomorphic threshold encryption is secure against a nonadaptive adversary according to Canetti’s definition of multiparty computation security. 1