libsnark

libsnark copied to clipboard

how to turn off console output when generating proofs and verifying？

niecf

bool r1cs_constraint_system::is_valid() returns false for correct setups. Minimal Example: ``` #include #include #include typedef libff::default_ec_pp ExampleEllipticCurve; typedef libff::Fr ExampleFieldType; int main() { libsnark::protoboard pb; libsnark::pb_variable a; libsnark::pb_variable b; libsnark::pb_variable c;...

johannes-reinhart

unexpected identifier in libsnark build

2

Hello, I'm trying to build libsnark on my mac for the first time. Using both docker, and building it directly I've been running into the same error: "fatal error: use...

benjaminwwong

Create A Key Generator

4

Hi, To my understanding, in order to guarantee security, the proving key and verifying key should be generated by a trusted authority (Key Generator). However, the example starter code I...

wzjin2017

Increase cmake version, avoid printing debugging values (do not pull automatically!)

1

Setting version to 3.1 enables using CMAKE_PREFIX_PATH to specify pkg-config locations (see https://github.com/Kitware/CMake/blob/master/Modules/FindPkgConfig.cmake#L115). This heps for example on Mac OS X if you want to provide a location for libcrypto....

meilof

Update submodules as old ones are rejected by GitHub

2

On March 15, 2022, GitHub no longer allows `git://`, and therefore, libraries depending on `libsnark` through submodules will all fail to initialize. This PR fixes this issue.

weikengchen

When I do 'make' after 'cmake ..' Problem: [ 1%] Building CXX object depends/CMakeFiles/zm.dir/ate-pairing/src/zm.cpp.o clang: fatal error: the clang compiler does not support '-march=native' make[2]: *** [depends/CMakeFiles/zm.dir/ate-pairing/src/zm.cpp.o] Error 1 make[1]:...

DreamcatcherY

Update .gitmodules to use https urls

3

Recent changes in the Git protocol security on GitHub https://github.blog/2021-09-01-improving-git-protocol-security-github/ broke our build script that clones libsnark. I found that some submodules referenced in `.gitmodules` use the unencrypted git protocol...

dark64

full example including compilation to TinyRAM?

3

Hi, I cannot find the TinyRAM compiler. I think it would be great to show how the `.s` in https://github.com/scipr-lab/libsnark/tree/master/tinyram_examples can be generated.

louisabraham

composition of snarks fails in outer prover with `what(): libff::get_root_of_unity: expected logn <= FieldT::s`

1

Here I have put together a simple example that just checks a SHA256 preimage in the inner snark, but using primary inputs. The proof is supposed to be checked in...

hammdist