search

pepper-project / pequin

A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
Other
122 stars 46 forks source link

Update thirdparty install to use latest libsnark #10

Closed r-marques closed 6 years ago

r-marques commented 6 years ago
maxhowald commented 6 years ago

Thanks for submitting this!

I think that libsnark's API and path names of header files have changed quite a bit since we last updated the version we use.

As a result, there are probably some changes needed in pepper_prover.cpp and pepper_verifier.cpp to use the new interface before this will work.

I should be able to get to this myself within the next few days, but if you're eager to do it yourself, the information you need is probably within this directory:

https://github.com/scipr-lab/libsnark/tree/master/libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark

maxhowald commented 6 years ago

Merged. Hopefully at least the simple examples compile now!

Code which uses the buffet loop flattener (e.g. apps/rle_decode_flat.c) will still cause problems. I was able to compile your llvm patches, but the buffetfsm executable fails to build against them. Will look into this soon.