简洁非交互零知识证明综述

The rapid development of blockchain, privacy computation, artificial intelligence and other technologies has greatly promoted the research of zero-knowledge proofs, especially the succinct noninteractive zero-knowledge proofs. This paper studies current succinct non-interactive zero-knowledge proofs from the perspectives of general designing mechanism, underlying key techniques, performance and security. First, a general mechanism of designing succinct non-interactive zero-knowledge proofs is given. Then, the existing succinct non-interactive zero-knowledge proofs are classified based on information-theoretical proofs and underlying key techniques. In addition, the core ideas and implementation principles of typical protocols are analyzed in a good technical depth. This paper then analyzes the performance and security of various typical protocols and points out their application scenarios. Finally, some future research directions of succinct non-interactive zero-knowledge proofs are summarized.