search

meilof / pysnark

Library for programming zk-SNARKs directly in Python
https://meilof.github.io/pysnark/
Other
173 stars 29 forks source link

Problem in using zkinterface on Windows #42

Open Eric-max-tach opened 1 year ago

Eric-max-tach commented 1 year ago

After setting environment path " set PYSNARK_BACKEND=zkinterface" and then run "python cube.py 33 ", it always use the libsnark, rather than "zkinterface" image

xuxiaoda1 commented 2 months ago

why?when i set PYSNARK_BACKEND=libsnarkgg Trying to read pysnark_ek No pysnark_ek or computation changed, generating keys... *** PySNARK: generating proof pysnark_log (sat=True, #io=2, #witness=2, #constraint=3) Assertion failed: !qap_wit.coefficients_for_H[qap_wit.degree()-2].is_zero(), file ./libsnark/zk_proof_systems/ppzksnark/r1cs_gg_ppzksnark/r1cs_gg_ppzksnark.tcc, line 418