https://blog.decentriq.ch/zk-snarks-primer-part-one/ 除Vitalik Buterin博客Quardratic Arithmetic Programs: from Zero to Hero 外的很好的学习资料。
https://blog.decentriq.ch/zk-snarks-primer-part-one/ 中很形象连贯的解释了code flattening ——> conversion to R1CS——>formulation of QAP以及最终的blind evalution流程。
