<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:media="http://search.yahoo.com/mrss/"><channel><title>Cryptography | BKV Pool</title><link>https://bkvpool.com/tags/cryptography/</link><description>BKV is a small, independent Cardano stake pool, running since 2021. 0% margin, two relays in two countries, and an active DRep. Stake your ADA with us.</description><language>en-us</language><image><url>https://bkvpool.com/images/Logo144.png</url><title>BKV Pool</title><link>https://bkvpool.com/</link></image><lastBuildDate>Wed, 04 Nov 2026 06:00:00 +0100</lastBuildDate><atom:link href="https://bkvpool.com/tags/cryptography/index.xml" rel="self" type="application/rss+xml"/><item><title>What Is a Zero-Knowledge Proof? Proving Without Showing</title><link>https://bkvpool.com/blog/what-is-a-zero-knowledge-proof/</link><guid>https://bkvpool.com/blog/what-is-a-zero-knowledge-proof/</guid><pubDate>Wed, 04 Nov 2026 06:00:00 +0100</pubDate><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Alex BKV</dc:creator><category>Privacy</category><description>A zero-knowledge proof lets you prove something is true without showing your data. Learn how it works in plain words, where it is used, and its limits.</description><media:content url="https://bkvpool.com/images/blog/what-is-a-zero-knowledge-proof.webp" medium="image" width="1200" height="675"/><content:encoded><![CDATA[<p>You are 30 years old and you want to go into a concert that is for adults only. At the door, a man asks for your ID card. He only needs one fact: are you over 18? But the card shows him much more. Your full name, your exact birthday, your photo, sometimes your address. He did not ask for any of it, and you cannot hide it.</p>
<p>Now imagine a different card. You show it, and the only thing the man learns is &ldquo;yes, over 18&rdquo;. Nothing else. He can still be sure it is true.</p>
<p>That second card is the idea behind a <strong>zero-knowledge proof</strong>.</p>
<h2 id="what-is-a-zero-knowledge-proof">What is a zero-knowledge proof?</h2>
<p>A zero-knowledge proof is a way to convince someone that a statement is true, without giving them any other information. Two sides take part:</p>
<ul>
<li>the <strong>prover</strong>: the person who knows something and wants to prove it;</li>
<li>the <strong>verifier</strong>: the person who checks the proof.</li>
</ul>
<p>At the end, the verifier is sure the statement is true. But the verifier has learned &ldquo;zero&rdquo; extra knowledge. That is where the strange name comes from.</p>
<p>The idea is older than Bitcoin. It was first described in 1985 by Shafi Goldwasser, Silvio Micali and Charles Rackoff, in a research paper from MIT and the University of Toronto. For a long time it stayed mostly in universities. Blockchains brought it into real products.</p>
<h2 id="how-can-you-prove-something-without-showing-it">How can you prove something without showing it?</h2>
<p>Here is a simple example that needs no maths.</p>
<p>Your friend is colour blind. You hold two balls, one red and one green. To your friend they look exactly the same. You want to prove that they really have different colours, but you do not want to tell him which one is red.</p>
<p>So you give him both balls. He hides them behind his back, and then he either swaps them or does not. He shows them to you again and asks: &ldquo;Did I swap?&rdquo;</p>
<p>Because you can see the colours, you always answer correctly. If the balls were really the same colour, you could only guess, and you would be right half of the time. After 20 rounds with no mistake, the chance that you were just lucky is less than one in a million. Your friend is now convinced. But he still does not know which ball is red.</p>
<p>Real zero-knowledge proofs use maths instead of balls, and they usually need only one message, not 20 rounds. The idea is the same.</p>
<h2 id="the-three-promises-of-a-good-proof">The three promises of a good proof</h2>
<p>Researchers describe a zero-knowledge proof with three properties:</p>
<ol>
<li><strong>Complete.</strong> If the statement is true, an honest prover can always convince the verifier.</li>
<li><strong>Sound.</strong> If the statement is false, a cheater cannot convince the verifier, except with a tiny chance.</li>
<li><strong>Zero-knowledge.</strong> The verifier learns nothing except that the statement is true.</li>
</ol>
<p>If one of these is missing, it is not a real zero-knowledge proof.</p>
<h2 id="why-does-this-matter-for-blockchains">Why does this matter for blockchains?</h2>
<p>Most blockchains are public. As I wrote in <a href="/blog/is-blockchain-private/">Is Blockchain Private?</a>, anyone can see the amounts and the history of every address. That makes the system honest, because everybody can check the rules. But it is bad for privacy.</p>
<p>Zero-knowledge proofs can give you both. The network can check that a payment follows the rules (&ldquo;this person has enough money, and nobody spent the same coins twice&rdquo;) without seeing the amount or the people.</p>
<p>Today they are used in a few main ways:</p>
<ul>
<li><strong>Private payments.</strong> Zcash, launched in 2016, was one of the first blockchains to use zero-knowledge proofs so users could hide sender, receiver and amount.</li>
<li><strong>Scaling.</strong> Some networks bundle thousands of transactions outside the main chain and post one short proof that all of them were correct. This is cheaper than checking each one.</li>
<li><strong>Identity.</strong> The European Commission&rsquo;s blueprint for an age verification app uses zero-knowledge proofs, so a website can learn &ldquo;over 18&rdquo; without learning who you are. You can read about it on the <a href="https://ageverification.dev/">EU age verification portal</a>.</li>
</ul>
<h2 id="what-about-cardano">What about Cardano?</h2>
<p>Input Output, one of the companies that built Cardano, also developed <strong>Midnight</strong>, a partner blockchain focused on privacy. Its main network started in March 2026. Midnight uses zero-knowledge proofs so that apps can keep personal or business data private, but still prove that they followed the rules.</p>
<p>A simple example: a company could prove to a regulator that all its customers passed identity checks, without sending the regulator a copy of every passport. I find this one of the most interesting directions in the whole field, because it does not force us to choose between privacy and trust.</p>
<p>Cardano itself stays a public blockchain. Your ADA, your staking and your votes are still visible on a normal explorer.</p>
<h2 id="what-zero-knowledge-proofs-cannot-do">What zero-knowledge proofs cannot do</h2>
<p>It is easy to talk about this technology as if it were magic. It is not.</p>
<ul>
<li><strong>It only protects what is inside the proof.</strong> If you show your face on a video call or log in with your email, the proof does not help.</li>
<li><strong>The source of the data still matters.</strong> For the age example, someone first has to check your real ID and give you the credential. That organisation knows who you are.</li>
<li><strong>It is hard to build.</strong> The maths is complex, and a small bug in the code can break the promises. Good projects publish their code and pay for independent reviews, but mistakes still happen.</li>
<li><strong>Proofs cost computing power.</strong> Making a proof can take seconds on a phone, sometimes more. This is getting better, but it is not free.</li>
<li><strong>Privacy tools worry governments.</strong> Some countries see private payments as a risk and limit them. The rules are still changing.</li>
</ul>
<h2 id="why-i-care-about-this">Why I care about this</h2>
<p>Privacy is not about hiding something bad. It is about sharing only what is needed. The man at the concert door needs to know your age, not your address. A shop needs to know you paid, not how much you have left.</p>
<p>For most of the internet, the only way to prove something was to hand over the data and hope it stays safe. Zero-knowledge proofs give us another option. They will not fix every privacy problem, but I would rather have that option than not. If you want to read why I think no single company should hold all the keys, I wrote about it in <a href="/blog/why-decentralization-matters/">What Decentralization Really Means</a>.</p>
<div class="support">
<p>If you hold ADA and like the idea of sharing only what is needed, you might enjoy staking with <a href="https://bkvpool.com/#delegate">BKV</a>. It is one independent pool with a 0% margin, and your ADA stays in your own wallet. Privacy is also one of the things I look at when I vote as a DRep. If that sounds right to you, you can find <strong>Alex BKV</strong> on <a href="https://cardanodrep.org/">cardanodrep.org</a>. And if you choose someone else, that is fine: every honest pool and every active DRep helps Cardano.</p>
</div>
]]></content:encoded></item></channel></rss>