libsnark
libsnark copied to clipboard
scipr-lab
C++ library for zkSNARKs
Can you provide WIndows and Mac versions of libraries
enter_block("Online pairing computations"); enter_block("Check knowledge commitment for A is valid"); G1_precomp proof_g_A_g_precomp = ppT::precompute_G1(proof.g_A.g); G1_precomp proof_g_A_h_precomp = ppT::precompute_G1(proof.g_A.h); Fqk kc_A_1 = ppT::miller_loop(proof_g_A_g_precomp, pvk.vk_alphaA_g2_precomp); Fqk kc_A_2 = ppT::miller_loop(proof_g_A_h_precomp, pvk.pp_G2_one_precomp); GT kc_A...
There are so many "long" in code. The "long" in x64 linux(gcc) is 64bits, but in x86 system, it's 32bits. Can I change all the long to int32_t?
The use of `long` type for variable `K` in the `sha256_round_function_gadget` gadget breaks stuff when building on platforms where `long` is 32bit. Specifically, in `sha256_components.tcc` the `SHA256_K` array is typed...
Hi, In the [ r1cs_zk_proof_systems](https://github.com/scipr-lab/libsnark/blob/master/libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.tcc), there are two inputs called primary_input and auxiliary_input constitute the witness of prover. Could I please know what is the difference of the two inputs...
This PR removes gamma from the Groth16 implementation (or put another way, it sets gamma equal to one). The benefit is that it makes the verification key one G2 element...
I tried running tests using the command make check but tests fail and this is the error I get ``` 43% tests passed, 13 tests failed out of 23 Total...
I read some documents and demos for usage of libsnark. But they only support tranforming R1CS language into a crypto proof. I was wondering if libsnark support verifying arbitary bounded...
