pepper-project/pequin
A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
CNOASSERTION
Issues
- 0
Simple code fragment does not compile
#70 opened by jsalzbergedu - 1
Division does not divide
#69 opened by jsalzbergedu - 3
binary-search example setup-verifier fails
#25 opened by jimouris - 1
how to increase parser placeholder
#68 opened by thomaslavaur - 0
Testing example apps
#66 opened by aluex - 0
Installing Issues
#65 opened by terrencejo - 4
Making prover_knows_factorization fail
#64 opened by ani-majumdar - 4
- 1
WARNING: Coefficient larger than prime
#62 opened by noresistence - 2
Cannot pass struct with an array inside to a function: Address has not been assigned yet.
#49 opened by noresistence - 6
- 4
Are recursive algorithms an option?
#60 opened by MorelSerge - 1
- 1
printf with "%s" assertion error &604
#58 opened by noresistence - 1
printf("%Zd") does not compile inside a conditional inside a for loop: java.lang.RuntimeException
#56 opened by noresistence - 3
Change to zkSNARKs based on groth's generic group construction probably breaks something
#55 opened by noresistence - 2
Cannot access global variable in a function if it was redeclared in the calling function
#53 opened by noresistence - 2
- 4
Evaluation of pointer
#52 opened by MorelSerge - 2
- 1
mm_pure_arith takes about 30 seconds to prove
#50 opened by someone235 - 1
Docker installation-- docker script seems to have trouble with dependencies.
#48 opened by danxinnoble - 1
No indication of where C compile errors occur
#47 opened by Eliott - 6
Tutorial "mm_pure_arith" doesn't work
#46 opened by Eliott - 1
- 1
Seemingly unused assignments in .pws
#42 opened by fleupold - 2
- 4
Printf is broken
#36 opened by jimouris - 3
pure_hashget example fails
#39 opened by fattaneh88 - 3
Gadget compilation fails
#28 opened by cnasikas - 4
Private input (exo_compute) examples
#26 opened by jimouris - 2
Change curve
#23 opened by cnasikas - 6
- 1
How is this implementing zkSnark?
#16 opened by harshvardhanagrawal - 1
Running tolling example?
#17 opened by samgalen - 4
- 2
string.h & stdlib.h support
#15 opened by cnasikas - 11
SHA256 Example, Exception in Java parser
#13 opened by HSG88 - 3
Private input
#5 opened by vishal16babu - 2
- 2
- 2
Example for exponential function?
#11 opened by jasonge27 - 4
- 1
Frontend Compiler Optimizations
#8 opened by wrv - 6