Stack Exchange Network

Stack Exchange network consists of 174 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
Join us in building a kind, collaborative learning community via our updated Code of Conduct.

A zero-knowledge proof is a method by which the prover can show the verifier that a given predicate is true without revealing the content of the predicate.

0
votes
1answer
150 views

What consensus algorithm is MimbleWimble/Grin using? Does it use Zero Knowledge Proofs as well?

Understand that MimbleWimble/Grin is privacy centric. Does it use Zero Knowledge Proofs to achieve the privacy goals? In addition, what consensus algorithm is MimbleWimble/Grin using?
2
votes
0answers
102 views

Zero-knowledge/Arthur-Merlin Proof-of-Work for NP-like problems with coin flips hashes of recent transactions

On a previous answer to a question about making proof-of-work more useful, two challenges were provided: "1. The work must be much, much easier to verify than to do, and 2. The work must in fact ...
2
votes
1answer
184 views

What are zkSNARK parameters and how to verify them?

When installing the zcash client for the first time it downlods a bulk of around 900 MiB in zkSNARK parameters. I am wondering: why and what are they exactly used for? Is this a security feature? How ...
1
vote
1answer
156 views

Are Hashed Timelock Contracts and Zero-Knowledge Contingent Payments the same thing?

This answer to How is a node in the middle prohibited from keeping the money in a routed Payment in Lightning network? describes how a Hashed Timelock Contract would be used to exchange the "secret" ...