Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.

Questions tagged [zksnark]

Questions regarding Zero Knowledge Succinct Noninteractive Arguments of Knowledge. In particular ZKSNARKs with regard to the elliptic curve precompiles in Ethereum.

Filter by
Sorted by
Tagged with
0
votes
1answer
48 views

How to hide data and reveal it in a smart contract

I know the topic has already been discussed but I did not find any satisfying answer. Do you know a way to put some private data in the blockchain and release / reveal it to a designated personn. I ...
2
votes
0answers
25 views

Why is NOT a protocol with a Turing-complete smart contract language able to use SNARKs to prove the validity of the chain?

In the following article (Link to the article: https://medium.com/nearprotocol/unsolved-problems-in-blockchain-sharding-2327d6517f43), the challenges of zk-SNARKs are mentioned as follows: The ...
2
votes
0answers
62 views

Simple mixer in ethereum

I have found this mixer proposal https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/rJj9hEJTN?type=view I'm is interested in this topic, but from my point of view with a current ethereum state it won't work. ...
2
votes
1answer
78 views

Why is zether needed in Quorum if transactions are private between nodes?

As you may know JPMorgan has released zether which allows to make anonymous transactions in Quorum using zkp technology. But I have a question regarding why Quorum needs it. Since transactions ...
1
vote
1answer
32 views

Benefits of Zero Knowledge Proofs [closed]

I have been watching these videos: 'Kent Barton & Alex Gluchowski ~ Scaling With Zero Knowledge' https://www.youtube.com/watch?time_continue=1&v=aEqhjpjoaEA Scalable blockchains as data ...
1
vote
2answers
64 views

What does off-chain mean

I read about zkSnarks and it says that it will increase the stability by 30x by conducting the verification off-chain. What does off-chain mean here? Nodes will still have to use their computation ...
0
votes
1answer
92 views

Can Ethereum verify zk-SNARK proofs?

I am wondering if the Ethereum Virtual Machine can verify a proof generated from a certain statement? Are there any precompiled contracts for verifying a proof?
1
vote
0answers
94 views

Javascript library to use zkSnark circuit

I would like to generate the proofs for zkSnarks on client side and therefore would need a library in javascript that helps to read a circuit and generate proofs. I found one combination here which ...
3
votes
0answers
66 views

Zero Knowledge Range Proofs

I am new to the world of Zero Knowledge Range Proofs. I read the following on GitHub: https://github.com/ing-bank/zkproofs The Zero Knowledge Range Proof allows the blockchain network to validate ...
1
vote
1answer
297 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 ...
0
votes
2answers
125 views

Minimum Gas limit and how can it be reduced?

Why does this minimum exist and what can we do to to reduce it further. This line of thought was spurred by this tweet from Vitalik: "And there are layer 2's without data availability tradeoffs or ...
26
votes
3answers
4k views

zk-SNARKs vs. Zk-STARKs vs. BulletProofs? (Updated)

zk-SNARKs, Zk-STARKs and BulletProofs are three major zero knowledge proofs to provide privacy for the blockchain technology. If we can compare them, (1) Bulletproofs and Zk-STARKs require no ...
3
votes
1answer
77 views

Is “Pinocchio zk-SNARK” a specific type of zk-SNARK?

Is "Pinocchio zk-SNARK" a specific type of "zk-SNARK"? And if yes, what is difference?
2
votes
1answer
712 views

An example on using “zk-SNARK” in “smart contract”?

I read this article: https://media.consensys.net/introduction-to-zksnarks-with-examples-3283b554fc3b However, it's not clear to me a function such as zksnarkverify has been already implemented in ...
6
votes
2answers
401 views

Updated: Is it possible to hide the sender or receiver of transactions by “zk-SNARK” or “Bulletproofs”?

To support the user privacy, is it possible to hide the sender address or receiver address of transactions by "zk-SNARK" or "Bulletproofs" ? Or we’ll be able only to hide the value that is mapped to ...
4
votes
3answers
600 views

Is there a decentralized zk-SNARK (zero-knowledge Succinct Non-Interactive ARgument of Knowledge)?

Normally, in zk-SNARK, we need to generate two public keys: one for prover and one for verifier. However, the input parameter of this generator algorithm must be secret, meaning that it must be hidden ...
2
votes
1answer
163 views

zk-SNARK use cases in blockchain (except payment)?

Is there other examples of using zk-SNARK for supporting "private transactions" except Zerocoin or Zchach ? (For example, is it possible to use zk-SNARK for health data ? or any other use cases in ...
3
votes
1answer
121 views

Difference between zero knowledge succint non interactive of knowledge proof (zk snarks) and zero knowledge range proofs (zkrp)

What are the differences between between zero knowledge succint non interactive of knowledge proof (zk snarks) and zero knowledge range proofs (zkrp) ?
2
votes
0answers
221 views

Hashing Algorithm Equality in zk-SNARK [closed]

I am looking to implement the zk-SNARK capabilities of Ethereum to allow a user to prove that they have all the components required ('a', 'b', 'c', 'd') to create a publicly known hash 'x'. My general ...
3
votes
1answer
370 views

How to use the zksnarks capability of Ethereum?

Simple question but I couldn’t find the answer anywhere… How to use the zksnarks capability of Ethereum in order to perform fully Anonymous sending of Eter from one wallet to an other one ?
11
votes
2answers
812 views

What are zkSNARKs? How do they work?

From my brief exposure to the concept, zkSNARKs seems to be a form of zero-knowledge cryptography. What can zkSNARKs bring to the table for Ethereum? I have looked at projects like this but still ...
10
votes
3answers
1k views

Can ZKSnarks be implemented on the Ethereum ecosystem?

Since Zcash seems to have it's ZKSnarks implementation finished (or almost at least). And versions of JPMorgan's Quorum had appeared with ZKsnarks implementations included see: https://www.coindesk....
4
votes
1answer
497 views

Ethereum facilitation for zk-SNARKs

There has been a lot of talk about leveraging zk-SNARKs to bring privacy features to the Ethereum Blockchain. My question is, how is Ethereum facilitating the verification of zk-SNARKs at the moment, ...
3
votes
2answers
251 views

Is there a way to privately send ether?

Is there currently any way to privately send ether? If not, are there any plans in the future to implement any privacy features?
7
votes
2answers
544 views

Private transactions

I recently read about private transactions on Ethereum through zksnarks. I have 2 questions. I think the answer to the first one is yes, but I would just like to get it confirmed. 1) Will zksnarks ...
1
vote
1answer
428 views

are the ERC721 smart contracts compatible with Zk-SNARKs?

everything is in the title : are the ERC721 smart contracts compatible with Zk-SNARKs? since Zk-SNARKs is being used "grosso modo" to make transactions "private", can we use it with the ERC721 type ...
0
votes
1answer
978 views

Private Variables [duplicate]

I am wondering if it is possible to have some "private" variables in a contract, by private I mean that I can read the value only if I am the owner of a specific wallet. A simple example is today's ...
2
votes
3answers
636 views

How to make a token private

How can I create a smart contract that has a function that receives an input ( either eth or another erc20 token ) and sends it to a specified address without revealing who sent it? Basically making ...
1
vote
1answer
53 views

How would zkSNARKs reduce computation on Ethereum mainnet?

cmiiw, zkSNARKs mean that computations can be verified by a single node and therefore not executed by every node on the network-- link, and work is being done to include this feature in the mainnet. ...
0
votes
0answers
413 views

Is it possible to make ethereum private by default like how monero has it?

How would ethereum be made private and anonymous by default like how monero has it? Is it possible to turn an token into a fully private anonymous token by default?
0
votes
2answers
116 views

How to limit function access to certain frontend?

I've a function in my smartcontract, that pays out ETH to the sender. However it sgould be only callable from registered users on my website, regardless of their ETH-address. I already tried to send ...
9
votes
2answers
3k views

Is there any working zk-snark implementation (even if experimental) among the existing Ethereum clients?

I've asked that question on some places, got a few answers but I'm still missing the bigger piece. I'd like to experiment with zk-snarks. In particular, I'd like to be able to do something similar to ...
11
votes
1answer
539 views

Efficiency of zkSNARKs as an Ethereum smart contract vs Zcash

How would the efficiency of zkSNARKs as an Ethereum smart contract compare to the same technology being used on its own blockchain (such as Zcash or Zclassic)? By efficiency I mean 3 things: ...
11
votes
3answers
4k views

Is there any way to hide a transaction?

Is there any way to hide a transaction on the Ethereum blockchain? Some blockchain have protocols that implement this by default, like Monero and Zcash. Is something similar possible on Ethereum?
4
votes
0answers
74 views

Will forthcoming ability to make transactions private hide gas usage and mining information?

I understand that people are working on allowing for more private transactions on the public Ethereum mainnet. This would involve hiding (at the very least) the from, to, value and probably input ...
2
votes
1answer
198 views

Would be possible to hide a function execution with zkSNARKs?

I read that with an hypothetical integration of zCash/zkSNARK with Ethereum, it would be possible to hide the sender, the receiver and the value of a transaction. My question is if would also be ...
9
votes
1answer
631 views

What data will zk-SNARKs protect?

Implementing zk-SNARKs is planned in Ethereum roadmap, what data will be obfuscated? transaction sender and receiver? data in transactions? data stored in contracts? variables and methods in ...