Secure ZK Circuits with Formal Methods

ZKP MOOC的15课，介绍一下形式化分析ZKP电路的方法