Questions tagged [zokrates]

Use this tag for question about ZoKrates (Toolbox for zkSNARKs on Ethereum).

Filter by
Sorted by
Tagged with
1
vote
0answers
10 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
6 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
58 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
60 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 ...
0
votes
0answers
20 views

Facing issue in compiling the verifier.sol file [duplicate]

The mentioned code is the original one which causing error. the error is first coming in assembly (avoid inline assembly) and if I remove that assembly then the error come in the switch statement. And ...
1
vote
1answer
80 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
72 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
108 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
117 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
446 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 ...