Questions tagged [zokrates]

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

Filter by
Sorted by
Tagged with
0 votes
0 answers
16 views

Not able to make ZoKrates usage non interactive

I am a new user of the ZoKrates library. I am not clear about the sequence of the events taking place. (Let's Ignore the trusted setup step for now) The first step is to load Verification Id into the ...
1 vote
0 answers
46 views

How to integrate zokrates proof into ethereum transactions?

I need some help with applying a Zokrates zero knowledge proof into ethereum transactions I am using Goerli testnet and i have a full node that is fully synced to the ethereum blockchain. I have ...
0 votes
1 answer
77 views

Zokrates code not compiling in Remix

I am trying to work on Zokrates in Remix IDE I am trying this code : import "hashes/sha3/512bit" as sha256packed def main(private field value, private field before, field valueHash, field ...
1 vote
0 answers
31 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 ...
  • 397
5 votes
1 answer
389 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 ...
  • 647
1 vote
1 answer
307 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
1 answer
100 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 ...
  • 31
1 vote
1 answer
276 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
1 answer
187 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
1 answer
680 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 ...
  • 7,234