Li Xing: Using the Groth16 algorithm to achieve zero-knowledge proof, first convert the problem into a QAP problem | Geekhub offline activity

On the evening of August 8, the "Block Chain Landing – You Must Know Password Privacy" sponsored by the Babbitt Accelerator, Dimension, Nervos and the founder, Geekhub offline activities were held at Zhejiang University of Finance and Economics. Star Li, author of the WeChat public account and a zero-knowledge proof researcher, said in a speech titled “Zero Knowledge Proof – Getting Started with zkSNARK” that the zero-knowledge proof process consists of four parts: circuit description, establishment of R1CS , converted to QAP and generated and verified using the Groth16 algorithm. R1CS can be converted to QAP problem by Lagrangian algorithm. The Groth16 algorithm requires Trusted Setup to generate CRS before generating the proof. The basis of the Groth16 algorithm is the homomorphism of the elliptic curve and the bilinear mapping property.