Home

PySNARK

PySNARK is a Python library that lets you program zk-SNARKs directly in Python 3.

In a nutshell, using PySNARK, you can instantiate verifiable computation variables, and perform computations with them (almost) as if they are normal Python variables. For operations performed with these verifiable computation variables, PySNARK automatically constructs a cryptographic zero-knowledge proof that these operations were performed correctly.

PySNARK supports several types of zero-knowledge proofs through the use of various backends. Notably, PySNARK can be used in combination with Pinocchio-type proofs, Groth16-type proofs, and bulletproofs.

Please see here for more information:

• Installing PySNARK
• Programming verifiable computations
• Supported backends