Title
QANIZK for adversary-dependent languages and their applications
Abstract
Quasi-Adaptive Non-Interactive Zero-Knowledge (QANIZK) proofs make possible efficient NIZK with short proofs by allowing the common reference string to depend on the language. The strongest notion of (computational) soundness for QANIZK is Unbounded Simulation-Soundness (USS). For USS, however, the language is completely beyond the adversary's control.
Year
DOI
Venue
2019
10.1016/j.tcs.2019.01.041
Theoretical Computer Science
Keywords
Field
DocType
QANIZK proofs,Simulation-soundness,Digital signature,Linearly homomorphic structure-preserving signature
Homomorphic encryption,Discrete mathematics,Vector space,Linear subspace,Digital signature,Mathematical proof,Soundness,Modular design,Mathematics,Bilinear interpolation
Journal
Volume
ISSN
Citations 
779
0304-3975
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Shuai Han1710.28
Shuai Han2710.28
Shengli Liu348445.70
Lin Lyu432.77