Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [zksnark]

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

0
votes
1answer
25 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
29 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 ...
2
votes
0answers
34 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
108 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
34 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 ...
22
votes
3answers
2k 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
0answers
45 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
481 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 ...
5
votes
2answers
234 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
447 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 ...
1
vote
1answer
107 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
78 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
154 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 ...
10
votes
2answers
717 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 ...
9
votes
3answers
815 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
448 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
230 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?
8
votes
2answers
491 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
398 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
913 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
550 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
52 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
375 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
100 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 ...
10
votes
1answer
517 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?
5
votes
0answers
69 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
184 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
591 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 ...