This is a sample numpy script converting R1CS to QAP, following the famous Quadratic Arithmetic Programs: from Zero to Hero by Vitalik Buterin.
I hope it can be helpful for understanding zk-snark.
lispczz/r1cs_to_qap_numpy
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|