Questions tagged [zokrates]
Use this tag for question about ZoKrates (Toolbox for zkSNARKs on Ethereum).
9
questions
1
vote
0answers
12 views
Whether the proof created by prover can be tampered in ZoKrates?
I am studying zokrates recently. I know that the prover will finally generate a proof, and then the verifier can use this proof and public input as input to verify whether the prover has certain ...
0
votes
0answers
7 views
libraries to transfer tokens privately suitable for mobile phones
I'm trying to implement a way to transfer tokens (ERC-20, etc) privately without leaking the amount transferred. I've seen anonymous-zether and Zokrates but the problem is that these solutions are ...
0
votes
0answers
59 views
Verifying contract always returns true
I'm trying to create a simple ZKP verifier using Zokrates, if the input is more than 18 it'll will output 1 otherwise 0.
Here's the .zok file:
def main(private field a) -> (field):
field result ...
3
votes
1answer
88 views
How does zocrates process zk-SNARK step by step?
I'm trying to understand my zokrates code and how it processes zk-SNARK step by step in accordance to this article.
The article breaks down the zk-SNARK into three steps.
A key generator, G, takes ...
1
vote
1answer
111 views
How to verify the sha256 result of integer 5 in the Zokrates tutorial?
The Zokrates tutorial here starts with calculating the SHA256 hash of (the number) 5.
The hex representation of the result is shown at the bottom here:
However, I could not reproduce this on my ...
1
vote
1answer
74 views
Zokrates backend “gm17” not supported
I am trying to experiment with ZoKrates library. When I use ./zokrates setup command, it warns me about gm16 malleability. So, I tried to change the proving scheme to gm17. But I keep getting the ...
1
vote
1answer
131 views
Is there a way to obtain the same Hash using Keccak256 from Web3 and ZoKrates hash function such as sha256packed?
I am trying to use the hash obtained from keccak256 (applied to a number or input) and using it into sha256packet from ZoKrates (or other function) for comparing it with the Hash obtained in Zokrates ...
0
votes
1answer
129 views
In tutorial of ethereum zokrates, high-level code compile error
im trying to follow this tutorial
- https://zokrates.github.io/sha256example.html
I built zokrates docker provided and copied the source code to the docker, and then tried to compile the code.
here ...
1
vote
1answer
480 views
ZK-SNARKS with ZoKrates - problems with proving the hash preimage tutorial
Just noticed today that ZoKrates has finally support for SHA256! I wanted to see it in action, so I followed the tutorial at https://zokrates.github.io/sha256example.html with a slight modification of ...