zk_helpers

Python helper modules for constructing ZK proof systems using R1CS, QAP and pairings.

Contents

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

Credits

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)