1. zkSNARK：Zero-Knowledge Succinct Non-interactive ARgument of Knowledge【零知识简洁非交互知识论证】
2. R1CS：即Rank-1 Constraint System，可将其理解为一个方程组。【https://blog.csdn.net/mutourend/article/details/102403688【注释：对R1CS进行了一定的解释】】