libsnark
libsnark copied to clipboard
scipr-lab
C++ library for zkSNARKs
I am execute the ./zk_proof_systems_r1cs_gg_ppzksnark_test and I am not sure what is the step "Preprocess verification key" do at the end (below is the picture) 
Slight package name change in 18.04 libprocps4-dev -> libprocps-dev
Right now this doesn't get exported so if you vendor libsnark as part of a cmake build rather than `make install`-ing it, you don't get the include directory automatically set....
This PR implements a gadget for verifying Groth--Maller 17 SNARKs (r1cs_se_ppzksnark). To do so, it does the following: - Changes the r1cs_se_ppzksnark verification key to contain e(G_alpha, H_beta) - Adds...
Instigated from: https://github.com/HarryR/ethsnarks/issues/99 Several frequently used methods in `libsnark::protoboard` return by value rather than by reference, this copies all of the data every time they're called: * `r1cs_variable_assignment full_variable_assignment() const;`...
As an example, say Victor (verifier) owns a spy agency, and Peggy (prover) claims to know who one of the spies are. Would Victor be able to use LIBSNARK to...
On a linux 64bit machine, to reproduce: ``` docker build -t libsnark . docker run -ti libsnark /bin/bash cd build make profile_r1cs_ppzksnark ``` Then I run ``` root@86cb8de795ae:~/libsnark/build# ./libsnark/profile_r1cs_ppzksnark 1000...
