Questions tagged [zero-knowledge]
The zero-knowledge tag has no usage guidance.
29
questions
0
votes
0answers
6 views
“Universal Proof of Work” with SNARKs?
If SNARKs are able to prove computations of arbitrary complexity and difficulty were executed correctly, would it be possible to use them to create a Proof of Work system where ANY computation can be ...
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 ...
1
vote
0answers
55 views
How to compute pairing in a smart contract
I am working on the elliptic curve and pairing stuff in Ethereum smart contract. How can I compute pairing such e(p1,p2)?
I know that we have a pre-compile pairing check in Ethereum client which is ...
1
vote
1answer
37 views
AZTEC validateProof and validateProofByHash sender / signer addresses
The AZTEC Crypto Engine lets you validate proofs and cache them for future re-use, since they are fairly expensive (around 800,000 gas for a 4-note join-split proof before Istanbul, and now about 200,...
0
votes
1answer
43 views
Why Should I use Ethereum in an Online-Election(Vote) System based on ZKP(Zero-Knowledge Proof)?
I am an undergraduate student studying Ethereum in South Korea.
Currently, I am developing an online election system that can be applied.
At first, I came up with this idea:
The system has an ETC ...
2
votes
0answers
41 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 ...
1
vote
0answers
29 views
How can I combine Quorum and Zero Knowledge Range Proofs
How can I combine Quorum and Zero Knowledge Range Proofs
I have 20 years of experience at java JEE coding, and 10 years in devops as well,
but no experience with blockchains, or the Go language.
I ...
0
votes
2answers
156 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?
2
votes
1answer
158 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
88 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 ...
3
votes
1answer
53 views
What mathematical concepts do I need to master in order to understand the Aztec Procotol?
What mathematical concepts do I need to master in order to understand how privacy in the Aztec Protocol works?
When I look at the white paper, I have no idea what is going on; however, I am confident ...
4
votes
1answer
230 views
Zero Knowledge v Multi Party Computation (MPC)
I am struggling with understanding the difference between the two. From what I am putting together, they have different adversarial models, MPC adds the condition of collusion between parties i.e. ...
0
votes
1answer
368 views
crypto-signing in a smart contract -> verify the identity of a smart contract
my Question in short is:
-> is it possible to digitally sign some data by a smart contract (e.g. with a secret key of the contract) and thus confirm that it was exactly this smart contract, who ...
34
votes
3answers
6k 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 ...
0
votes
1answer
75 views
Meaning of “fungibility” in “Zerocash (Zcash)”? [closed]
According to the following article, Zcash provide a high level of "fungibility". compared to other crypto-currencies.
Article link: https://www.investopedia.com/terms/z/zcash.asp
fungibility ...
2
votes
1answer
308 views
Zero Trust vs Zero Knowledge — Difference [closed]
What is the difference between Zero Trust and Zero Knowledge?
3
votes
2answers
147 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
950 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
785 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
813 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 ...
3
votes
2answers
289 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 ...
2
votes
0answers
295 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
417 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
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....
5
votes
1answer
262 views
Can I make a “secret” invite only Smart Contract?
I have a public smart contract where I am able to make a secret and hash it within the contract. I then share the "secret" with N number of my friends and with the secret they can create a new hash (...
-3
votes
1answer
334 views
Did I actually just win 1 Ethereum? Is it truly mine? [closed]
I was looking for coins to mine & exchange for bitcoins when I found out about Ethereum. I have literally no knowledge about it or anything at all. I went for a site (https://freeeth.me/) to win ...
5
votes
1answer
556 views
Current state of zero knowledge proofs?
Are there any current proof of concepts or implementations of zero knowledge proofs in the context of smart contracts?
If not how long until we can store private data on a public blockchain?
2
votes
1answer
143 views
Where can I find the snarkverify precompile (opcode) implementation in parity and the example coin mixing contract that utilizes it?
With the recent announcement of zkSNARKs support and the ZoE (ZeroCash over Ethereum) mixing contract (https://z.cash/blog/zksnarks-in-ethereum.html)
Where can I find the mentioned parity branch and ...
9
votes
1answer
676 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 ...
