Content
@
0 reply
0 recast
0 reaction
Hylé
@hyle-org
You've been in crypto for years, and you still have no idea what zero-knowledge proofs are? Understandable. They're incredibly complex… but we've written a simple introduction! Part 1 doesn't require any previous knowledge; part 2 requires knowing what a rollup is. 🧵 ⬇️
1 reply
1 recast
5 reactions
Hylé
@hyle-org
🚅 PART 1: What is a zero-knowledge proof? A zero-knowledge proof (usually abbreviated as zk-proof or ZKP) is a cryptographic method to prove that a piece of information is true without revealing the information itself. We recommend checking out the Where's Waldo introduction to zero-knowledge proofs for a fun discovery! We don't want to spam the people who have seen this example a hundred times already, so we highly encourage you to check out this tutorial: https://agstakingco.gitbook.io/zk-waldo-intro-to-zero-knowledge-proofs You can also prove that you've completed a sudoku grid without ever showing how you did it by checking that several rows and columns contain all digits from 1 to 9. On his blog, Lauri Peltonen wrote a no-math explanation of the sudoku example https://medium.com/coinmonks/zero-knowledge-privacy-without-mathematics-64b191bde7a1?source=rss-5ae943ec1945------2
1 reply
0 recast
1 reaction
Hylé
@hyle-org
🚅 When are ZKP useful? • Computing power imbalance: ensure correct execution of a program without running it. • Integrity: share your results without having to reveal the details of your computation. • Anonymity: prove one piece of info without disclosing anything else. We've added examples for all three use case types on our blog post, by the way! https://blog.hyle.eu/zk-theory/a-simple-introduction-to-zero-knowledge-proofs/
2 replies
0 recast
0 reaction
Hylé
@hyle-org
🚅 PART 2: How do zero-knowledge proofs interact with blockchain? In this section, we assume you know what a rollup is in crypto. Optimistic rollups assume that all transactions are valid. They’re speedy and scalable, but they also have a margin of error. Because of this, they include a dispute window of several days. Zero-knowledge rollups generate a cryptographic proof for every batch of transactions. They are harder to create since the computation is done every time. But once the computation is done, there can be no proof or cancellation; we call this instant finality. Because the proof is automatically generated using complex math and not verified by validators who have a financial incentive to act in good faith, it is also more secure.
1 reply
0 recast
0 reaction
Lukas
@lh1
Nice, concise intro.
0 reply
0 recast
1 reaction
