TL;DR SNARK 的构建流程是什么样的？待证明的问题-算术电路-R1CS-多项式 为什么最终要转换成多项式？因为多项式的特性有效的缩短了验证时间，实现了简洁性。 是如...