pysnark icon indicating copy to clipboard operation
pysnark copied to clipboard

Library for programming zk-SNARKs directly in Python

Results 14 pysnark issues
Sort by recently updated
recently updated
newest added

Hello! I installed using pip3 install git+https://github.com/meilof/pysnark and executed python cube.py 3 After that "Error loading backend pysnark.libsnark.." ![newnew](https://user-images.githubusercontent.com/10240255/177807324-0943bc5f-017b-4e3a-a303-5a41cd908edc.PNG) It was executed on Windows 10. Thanks in advance

Hello, I am trying to use the `hash_string.py` example you gave. It raises the following error `AssertionError: 21888242871839275222246405745257275088548364400416034343698204186575808495616 is not a 16-bit positive integer` from the line: ```python hashed =...

Hello, Could you add an example for producing a proof of the preimage with the Poseidon Hash Function. It would be much appreciated. Thank you

I was planning to use ggh_hash as the hash function input to hmac, along with a key and a message; and generate a proof. Is this a feasible approach?

Running one of the following lines causes a bus error: ``` PrivVal(1) > PrivVal(1) ``` This only happens on the `python-libsnark` backend.

I'm wondering how trusted setup works in PySNARK. When I output a proof, say in Bellman with zkinterface, it outputs both the constraints and the witness. Does that mean that...

Dear authors, @meilof Hello. When I set "ignore_errors(False)," I run sudoku.py. It raises an error: "AssertionError: 21888242871839275222246405745257275088548364400416034343698204186575808495616 is not a 16-bit positive integer" ![微信截图_20231202133208](https://github.com/meilof/pysnark/assets/86410283/cb4e06a8-2024-4015-95fb-70405f73a39d)

Dear authors, when i run sudoku.py, it throw [errors:] ![WX20231129-221600](https://github.com/meilof/pysnark/assets/86410283/caff23e7-7310-4dcc-889f-ac6858d6d3d3)

After setting environment path " set PYSNARK_BACKEND=zkinterface" and then run "python cube.py 33 ", it always use the libsnark, rather than "zkinterface" ![image](https://github.com/meilof/pysnark/assets/66310631/232d1762-9f20-40a4-a775-7343c143c3fd)