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