ZKV 上海市区块链项目申请 1. 零知识证明编译器link 将go语言编译为R1CS go-R1CS-Compiler 将Rust编译为R1CS za 将Circom编译为R1CS Circom compiler，其中涉及了Circom库CircomLib