Eric Smith
Formal Methods Researcher
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.312 ZEC raised of 923 ZEC goal