Implementation of the Pinocchio zk-SNARK system and the Geppetri extension for proofs on authenticated data based on text files.

Used by the original PySNARK and the qaptools backend of its re-write.

Qaptools may be used for non-commercial, experimental and research purposes; see LICENSE.md for details. Qaptools is experimental and not fit for production environment. In particular, qaptools does not use cryptographically secure randomness! See base.cpp and modp.cpp.

Compile instructions:

git submodule init
git submodule update
mkdir build
cd build
cmake ..
make

Compiling for Windows: using mingw64 (on Windows or as a cross-compiler) and the GMP package

Windows binaries are available here