Fast and Designated-verifier Friendly zkSNARKs in the BPK Model

ePrint Report: Fast and Designated-verifier Friendly zkSNARKs in the BPK Model

Xudong Zhu, Xuyang Song, Yi Deng

In ASIACRYPT 2016, Bellare et al. first demonstrated that it is impossible to achieve subversion soundness and standard zero knowledge simultaneously. Subsequently, there have been lots of effort to construct zero-knowledge succinct non interactive arguments of knowledge protocols (zk-SNARKs) that satisfy subversion zero knowledge (S-ZK) and standard soundness from the zk-SNARK in the common reference string (CRS) model. The various constructions could be …

asiacrypt eprint report fast knowledge non report song standard subversion zero knowledge zksnarks