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