Questions tagged [zokrates]

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

Filter by
Sorted by
Tagged with
0 votes
1 answer
326 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
37 views

ZoKrates witness computation

What do the values provided with the -a option in ZoKrates witness computation represent? Are these values typically private to each user or public, similar to verification keys? Also how are they ...
6 votes
0 answers
124 views

Best way to store and verify data onchain for offchain data integrity?

I have a web2 application that stores some information in database rows, however, I would like to store this information on-chain for data integrity, particularly on polygon. What is the best way to ...
0 votes
0 answers
20 views

Solidity to ZoKrates DSL?

I know this might sound out of the ordinary or kind of naive , but what are the potential challenges and considerations of translating Solidity code to ZoKrates DSL for zero-knowledge proof ...
1 vote
1 answer
94 views

Issue with installing ZoKrates on Windows

I am trying to install ZoKrates from source to use in my CMD in windows 10 following this guide https://zokrates.github.io/gettingstarted.html, but I am getting stuck at the following command: cargo ...
3 votes
0 answers
113 views

Implementing Verkle Trees in Solidity, Generating Proofs, and Using Zokrates

I'm working on implementing Verkle Trees and looking for guidance on how to implement Verkle Trees in Solidity. I have a working python code with implementation of verkle trees, proof generation and ...
1 vote
1 answer
83 views

What would be the optimal way to store data in structure with comparisons in zokrates?

I need your help in structuring data in zokrates. I have two data let's say Attr(Public) and Res(Private). Res data is something like this (Not fixed, keys can vary but will be same as Attr). { ...
0 votes
1 answer
300 views

How to compute witness for Merkle tree proof using Zokrates?

I am trying to learn how Zero Knowledge proof for Merkle tree verification work. Therefore I am using this example from Zokrates: import "hashes/pedersen/512bit" as hash; import "hashes/...
0 votes
1 answer
187 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
162 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 ...
5 votes
1 answer
720 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
1 answer
125 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
0 answers
47 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 ...
1 vote
1 answer
477 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
393 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 ...
1 vote
1 answer
880 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 ...