Zerocash_Report

Report

Reference

Survey-SNARKs.pdf

Zerocash_ Decentralized anonymous payments from bitcoin(extended).pdf.pdf)

zkSNARK-explained-III.pdf

Appendix

零知识证明 - 从QSP到QAP

参考自V神($R1CS\Rightarrow QAP$)

➡https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649

zcash的处理方式则是直接$Circuit\Rightarrow QAP$

(二者最后的拉格朗日多项式插值处理部分仍一致)

可参考

• https://blog.csdn.net/weixin_43179764/article/details/102807826?spm=1001.2014.3001.5501
• zkSNARK-explained-III.pdf (2.5. QAP construction for the circuit in section 2.2.)