Python helper modules for constructing ZK proof systems using R1CS, QAP and pairings.
Repository contains helpers for:
- Conversion of code to Rank 1 Constraint System (R1CS)
- Conversion of R1CS to Quadratic Arithmetic Program (QAP)
- Pairing operations based on 256-bit Barreto-Naehrig (bn256) curve
This is derived work. For copyright and license information of the original works see LICENSE file.
Links to original repositories:
- bn256 by Jack Lloyd: https://github.com/randombit/pairings.py/ (BSD-2-Clause license)
- r1cs and qap tools by Vitalik Buterin: https://github.com/ethereum/research/tree/master/zksnark (MIT license)