Eric M
Computer Scientist
Formal Verification of R1CS Programs
R1CS, used for many ZK proofs, can be hard to understand. We propose to develop a tool for proving functional correctness of R1CS programs.
0.31 ZEC raised of 923 ZEC goal