libsnark
libsnark copied to clipboard
scipr-lab
C++ library for zkSNARKs
Hi everyone! I have 1 theorical question and one technical. ## Theorical: zk-SNARKs can be applied to any QAP (Quadratic Arithmetic Program). Thus, when we want to use our problem...
"make check" and the compiler said the file missing.
This is a feature request. We would love to use a symmetric encryption gadget, e.g., AES-128-CBC. Unfortunately I see this is currently not supported. A peek at [pay-to-sudoku](https://github.com/zcash-hackworks/pay-to-sudoku/blob/master/snark/gadget.tcc#L304) shows that...
From build directory: cmake .. make gadgetlib2_tutorial Run resulting binary: ./libsnark/gadgetlib2_tutorial Signed-off-by: Dan Middleton
I am trying to run the tutorial by running `g++ src/gadgetlib2/examples/tutorial.hpp ` from the libsnark folder without success. I am working on Ubuntu 15, with g++-5.2. The error is: `tutorial.cpp:14:33:...
In short, `r1cs_gg_ppzksnark_affine_verifier_weak_IC` and `r1cs_gg_ppzksnark_online_verifier_weak_IC` do not agree with each other. ## How to reproduce The easiest way to see this is to edit `zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/tests/test_r1cs_gg_ppzksnark.cpp` to use mnt6 as follows....
I'm not sure which of the scipr-lab repositories to file this against, so apologies if I'm sending this to the wrong place. I'm packaging libsnark in nixpkgs and have had...
https://github.com/scipr-lab/libsnark/blob/92a80f74727091fdc40e6021dc42e9f6b67d5176/libsnark/gadgetlib1/gadgets/merkle_tree/tests/test_merkle_tree_gadgets.cpp#L32
We want to transition libsnark to CMake. The `cmake` branch mostly implements this, but its code lags a bit behind `master`. We should finalize the CMake flags interface, and merge...
