Questions tagged [zero-knowledge]

The tag has no usage guidance.

11 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3
votes
0answers
109 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
60 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 ...
2
votes
0answers
78 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
42 views

How does zero knowledge proof prevent frontrunning

I have learned about that zkp can hide the information of orders, e.g. the type and the number of assets, but it's still confusing. Is there any paper or project about using zero-knowledge proof to ...
1
vote
0answers
91 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
59 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,...
1
vote
0answers
31 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
0answers
7 views

What is a "short commitment" or "short proof"?

I'm trying to understand how RSA accumulators work, and I am unable to find what people mean when they say "short commitment" or "short proof." Does it refer a commitment or proof ...
0
votes
0answers
31 views

zk-SNARKs: High level language options?

I would like to implement an idea that requires me to use a zero knowledge proof. What options do I currently have, assuming I want (need, due to lacking cryptography knowledge) to use a high level ...
0
votes
1answer
64 views

What is a ZKRollup? And how does it work in scaling a DAPP?

I have tried looking into existing solutions such as ZKSync. I couldn't understand why you would rewrite your smart contracts in a different language - Zinc (as opposed to Solidity/Vyper).
0
votes
1answer
63 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 ...