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.
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.