Waarom zero-knowledge-bewijzen mogelijk de belangrijkste technologie in crypto worden

Zcash (ZEC) is in de afgelopen 24 uur met meer dan 13% gestegen, waardoor de privacycoin opnieuw in de spotlights van de cryptomarkten is gekomen.

Maar achter deze koersbeweging schuilt een veel interessanter verhaal: het cryptografische systeem dat Zcash mogelijk maakt, is een van de elegantste stukjes toegepaste wiskunde die ooit op een publieke blockchain zijn ingezet.

Dat systeem heet een zero-knowledge-bewijs. Als je je ooit hebt afgevraagd hoe een cryptomunt wiskundig kan garanderen dat een transactie geldig is zonder de verzender, ontvanger of het bedrag prijs te geven, dan is dit de uitleg die je nodig hebt.

TL;DR

• Een zero-knowledge-bewijs stelt één partij (de bewijzer) in staat een andere partij (de verifiër) ervan te overtuigen dat een bewering klopt, zonder andere informatie te onthullen dan de juistheid van die bewering zelf.
• Zcash gebruikt een specifieke constructie, zk-SNARKs, om transactiegegevens op een publieke blockchain af te schermen, terwijl het netwerk toch kan bevestigen dat er geen munten uit het niets zijn gecreëerd.
• Dezelfde technologie vormt nu de basis van Layer 2-scalingoplossingen, private DeFi-protocollen en identiteitssystemen, waardoor het een van de belangrijkste cryptografische bouwstenen in Web3 is.

Wat een zero-knowledge-bewijs precies is

Een zero-knowledge-bewijs is een methode waarbij één partij, de bewijzer, een andere partij, de verifiër, ervan kan overtuigen dat een specifieke bewering waar is. De cruciale beperking is dat het bewijs niets onthult over de onderliggende data die voor die bewering is gebruikt.

Het concept werd voor het eerst beschreven in een academisch artikel uit 1985 van Shafi Goldwasser, Silvio Micali en Charles Rackoff, getiteld "The Knowledge Complexity of Interactive Proof Systems."

De auteurs onderzochten hoeveel informatie een bewijzer minimaal moet prijsgeven om een sceptische verifiër te overtuigen. Het antwoord waarop zij uitkwamen was in sommige gevallen: vrijwel nul.

Een zero-knowledge-bewijs moet aan drie eigenschappen voldoen: volledigheid (een eerlijke bewijzer kan een eerlijke verifiër altijd overtuigen), soliditeit (een oneerlijke bewijzer kan de verifiër alleen met verwaarloosbare waarschijnlijkheid misleiden) en zero-knowledge (de verifiër leert niets anders dan de geldigheid van de bewering).

De klassieke illustratie in leerboeken is het scenario van de "grot met een magische deur", vaak de Ali Baba-grot genoemd. Stel je een ronde grot voor met één ingang en een afgesloten deur achterin die alleen opent met een geheim wachtwoord. Een bewijzer wil een verifiër overtuigen dat hij het wachtwoord kent, zonder het zelf te onthullen. De bewijzer gaat de grot in en neemt ofwel het linker- of het rechterpad. De verifiër roept vervolgens langs welk pad hij wil dat de bewijzer de grot weer verlaat. Als de bewijzer het wachtwoord kent, kan hij altijd aan de gevraagde kant verschijnen door indien nodig door de deur te gaan. Door dit vaak te herhalen wordt het statistisch onmogelijk dat iemand zonder wachtwoord steeds goed blijft gokken.

Lees ook: Pudgy Penguins Token Rallies On $5.3B Manchester City Deal

Interactieve versus niet-interactieve bewijzen, en waarom dat uitmaakt voor blockchains

De grot-analogie beschrijft een interactief zero-knowledge-bewijs. De verifiër doet actief mee door in elke ronde een uitdaging te geven. Hoewel dit wiskundig netjes is, hebben interactieve bewijzen een duidelijk probleem voor blockchains: er zit geen live verifiër aan de andere kant van elke transactie klaar om uitdagingen uit te delen.

Blockchainnetwerken hebben niet-interactieve zero-knowledge-bewijzen nodig. In een niet-interactief schema genereert de bewijzer één enkel, op zichzelf staand bewijssobject dat iedereen op elk moment zelfstandig kan verifiëren, zonder heen-en-weercommunicatie. Dat is een veel moeilijker wiskundig probleem.

De doorbraak kwam met een techniek die de Fiat-Shamir-heuristiek heet, ontwikkeld in 1986. Deze zet interactieve bewijzen om in niet-interactieve door de willekeurige uitdagingen van de verifiër te vervangen door een cryptografische hashfunctie. De bewijzer genereert de "uitdaging" zelf via een hash van de bewering, die niet kan worden gemanipuleerd zonder het bewijs ongeldig te maken.

Niet-interactieve bewijzen maakten het mogelijk cryptografische geldigheid direct in blockchaintransacties te verpakken. Een node die een afgeschermde transactie ontvangt, hoeft niemand te bevragen. Hij draait simpelweg lokaal het verificatie-algoritme van het bewijs en krijgt een ja-of-nee-antwoord.

Lees ook: Hyperliquid Surges 17% As HYPE ETFs Pull Record $25.5M In One Day

Hoe zk-SNARKs de afgeschermde transacties van Zcash aandrijven

Zcash introduceerde de eerste productierijpe inzet van zk-SNARKs op een grote publieke blockchain toen het in oktober 2016 werd gelanceerd. Het acroniem staat voor Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. Elk woord in die uitdrukking heeft een technische betekenis.

"Succinct" betekent dat het bewijs klein is in bestandsgrootte en snel te verifiëren, ongeacht de complexiteit van de onderliggende berekening. "Non-interactive" betekent geen heen-en-weer tussen bewijzer en verifiër, zoals hierboven beschreven. "Arguments of Knowledge" betekent dat de bewijzer daadwerkelijk het geheime bewijsstuk (de private key, de spending key, de transactiedetails) in bezit moet hebben om een geldig bewijs te kunnen genereren. Gokken is wiskundig uitgesloten.

Wanneer een Zcash-gebruiker een afgeschermde transactie verstuurt, voert de walletsoftware van de verzender een berekening uit die meerdere zaken tegelijk bewijst zonder er een van te onthullen. Ze bewijst dat de verzender de fondsen bezit die worden uitgegeven, dat de som van de invoerbedragen gelijk is aan de uitvoerbedragen plus de fee (zodat er geen munten worden gecreëerd), en dat de verzender de private spending key van het bronadres kent. Het resulterende bewijs wordt in de transactie ingebed en naar het netwerk uitgezonden. Elke full node verifieert het onafhankelijk, meestal in milliseconden.

Zcash-afgeschermde transacties gebruiken een cryptografische structuur die een Sapling-circuit heet (in 2018 geüpgraded vanaf het oorspronkelijke Sprout-circuit). Daardoor daalde de tijd om een bewijs te genereren van ongeveer 40 seconden naar minder dan 2 seconden en zakte het geheugenverbruik van 3 GB naar circa 40 MB, waardoor mobiele afgeschermde wallets voor het eerst praktisch werden.

Zcash werkt met twee adrestypen. Transparante adressen (t-adressen) gedragen zich als Bitcoin (BTC)-adressen: alle data is on-chain zichtbaar. Afgeschermde adressen (z-adressen) gebruiken zk-SNARKs om verzender, ontvanger en bedrag te versleutelen. Gebruikers kunnen tussen beide typen transacties doen, al onthult de overgang van een transparant naar een afgeschermd adres nog steeds de betrokken bedragen aan de grens.

Lees ook: Goldman Sachs Walks Away From XRP, Solana In Sharp Q1 Crypto Reset

Het trusted-setup-probleem, Zcash’ meest controversiële vereiste

Het technisch meest controversiële aspect van Zcash’ oorspronkelijke zk-SNARK-implementatie is de trusted-setup-ceremonie. zk-SNARKs hebben een set publieke parameters nodig, soms een "common reference string" genoemd, die moet worden gegenereerd voordat het systeem kan werken. Deze parameters worden afgeleid van een geheime willekeurige waarde. Als dat geheim ooit wordt gereconstrueerd, zou een kwaadwillende partij bewijzen kunnen vervalsen en onopgemerkt Zcash uit het niets kunnen creëren.

Om dit aan te pakken organiseerde het Zcash-oprichtteam in 2016 een multi-party-computation-ceremonie waarbij zes deelnemers elk een fragment van het geheim genereerden. De parameters zijn veilig zolang ten minste één deelnemer zijn fragment eerlijk heeft vernietigd. De ceremonie werd herhaald en verbeterd voor de Sapling-upgrade in 2018, met 90 deelnemers, waardoor de kans op een volledige compromittering verwaarloosbaar werd.

De trusted-setupvereiste blijft een theoretische zwakte en een filosofisch twistpunt binnen de privacycoin-gemeenschap. Critici stellen dat zelfs een vrijwel verwaarloosbaar risico op een ondetecteerbare inflatieaanval onaanvaardbaar is. Voorstanders wijzen op het grote aantal deelnemers en het verifieerbare ontwerp van de ceremonie als voldoende mitigatie.

Deze zorg stimuleerde de ontwikkeling van zk-STARKs, de andere grote tak van de zero-knowledge-bewijzenfamilie, die in de volgende sectie wordt besproken.

Lees ook: Bitget Opens Gold Fast Or Go Home Contest To Crypto Traders

zk-SNARKs versus zk-STARKs, de belangrijkste afwegingen

zk-STARKs, wat staat voor Zero-Knowledge Scalable Transparent Arguments of Knowledge, werden geïntroduceerd in een paper uit 2018 van Eli Ben-Sasson en collega’s aan het Technion en StarkWare. Ze lossen het trusted-setupprobleem volledig op door uitsluitend te vertrouwen op publiek verifieerbare willekeurigheid uit botsingsbestendige hashfuncties in plaats van geheime parameters.

De afwegingen tussen beide constructies zijn reëel en belangrijk voor ontwikkelaars die ertussen moeten kiezen.

• zk-SNARKs produceren zeer kleine bewijzen, meestal onder de 300 bytes, en zijn extreem snel te verifiëren. Ze vereisen een trusted setup en steunen op elliptische-curvecryptografie, die theoretisch kwetsbaar is voor een voldoende krachtige quantumcomputer.
• zk-STARKs hebben geen trusted setup nodig en zijn post-quantumveilig omdat ze uitsluitend op hashfuncties vertrouwen. Hun bewijzen zijn aanzienlijk groter, vaak in de orde van tientallen tot honderden kilobytes, al is de verificatietijd ook snel.
• PLONK en andere universele SNARKs vormen een tussengeneratie van constructies die slechts één universele trusted setup nodig hebben, in plaats van één per circuit. Projecten als Aztec en Polygon gebruiken PLONK-gebaseerde systemen om de operationele last van trusted setups te verkleinen zonder de efficiëntie van SNARKs op te geven.

For practical blockchain use in 2026, zk-SNARKs domineren privacygerichte layer-one-protocollen zoals Zcash. zk-STARKs domineren schaalbaarheidsgerichte layer-two rollups, met name die gebouwd door StarkWare, waar de grootte van het bewijs minder kritiek is dan het minimaliseren van vertrouwen en het verhogen van de throughput.

Also Read: Vitalik Buterin Wants Ethereum To Stop Reading Over Your Shoulder

Waar zero-knowledge proofs worden gebruikt buiten privacycoins

Het eerste gebruik van zero-knowledge proofs was financiële privacy, zoals Zcash heeft laten zien. Maar de technologie is enorm uitgebreid in het hele blockchain-ecosysteem, en de huidige trend rond Nexus en zijn zero-knowledge netwerk is een van de duidelijkste signalen van hoe mainstream ZKP-infrastructuur aan het worden is.

ZK Rollups zijn wellicht de commercieel belangrijkste toepassing buiten privacycoins. Layer 2-netwerken zoals zkSync, StarkNet en Polygon zkEVM gebruiken zero-knowledge proofs om honderden of duizenden Ethereum (ETH)-transacties te bundelen in één enkel bewijs dat naar de hoofdketen wordt gestuurd. Het Ethereum-mainnet hoeft slechts één compact bewijs te verifiëren in plaats van elke transactie afzonderlijk uit te voeren, wat de throughput drastisch verhoogt terwijl het de volledige beveiliging van Ethereum erft.

Private DeFi is een opkomende categorie waarin protocollen ZKP’s gebruiken om gebruikers te laten deelnemen aan lending, trading en yield-strategieën zonder hun wallet-saldi of handelsstrategieën on-chain prijs te geven. Het Venice Token-netwerk, dat momenteel samen met Zcash in de belangstelling staat, past een verwante cryptografische filosofie toe op AI-inferentie, zodat gebruikers AI-modellen kunnen bevragen zonder dat de aanbieder hun input ziet.

Identiteits- en credentialsystemen vormen een derde golf. ZKP’s stellen een gebruiker in staat te bewijzen dat hij ouder is dan 18, inwoner is van een bepaald land, of een KYC-check heeft doorstaan zonder zijn naam, geboortedatum of paspoortnummer te onthullen. Projecten zoals Polygon ID en Sismo hebben credential-raamwerken rond deze mogelijkheid gebouwd.

De markt voor zero-knowledge proofs zal naar verwachting groeien van ongeveer 243 miljoen dollar in 2023 tot meer dan 12 miljard dollar in 2030, volgens gegevens van Grand View Research, wat de adoptie in financiën, identiteit en supply-chain-verificatie weerspiegelt.

Also Read: Exclusive: DeFi Has A Quiet Crisis Nobody's Talking About And It's Killing Yields: Katana CEO

Wie deze technologie écht hoeft te begrijpen

Zero-knowledge proofs zijn relevant voor verschillende groepen in crypto, zelfs als de meeste gebruikers nooit direct met de cryptografie zelf in aanraking komen.

Traders en investeerders die privacycoins zoals Zcash volgen, profiteren ervan te begrijpen dat een prijsrally niet louter speculatief is. De technologie achter ZEC heeft reële en groeiende bruikbaarheid in ZK rollups en private DeFi, wat een structurele vraag creëert die verder gaat dan pure speculatie. Wanneer de regulatoire druk op transparante blockchains toeneemt, zoals periodiek gebeurt, worden de privacybeschermende eigenschappen van ZKP-gebaseerde systemen een dringender voorstel.

DeFi-gebruikers en -ontwikkelaars die kiezen tussen Layer 2-netwerken moeten het verschil begrijpen tussen optimistische rollups (die een fraudebewijssysteem en een challenge-periode van 7 dagen gebruiken) en ZK rollups (die wiskundige bewijzen gebruiken en binnen enkele minuten kunnen finaliseren). De keuze heeft directe gevolgen voor opnametijden, vertrouwensaanames en kapitaalefficiëntie.

Privacybewuste gebruikers op elk niveau moeten weten dat de afgeschermde adressen van Zcash een werkelijk ander privacymodel bieden dan de pseudonimiteit van Bitcoin. Blockchain-analysebedrijven zoals Chainalysis hebben publiekelijk erkend dat volledig afgeschermde Zcash-transacties in de praktijk ondoorzichtig zijn voor hun tools, wat een wezenlijk verschil is voor gebruikers die financiële vertrouwelijkheid nodig hebben.

Protocolbouwers die credentialsystemen, private voting of proof-of-reserves zonder saldo-onthulling verkennen, moeten het basale circuitmodel van ZKP’s begrijpen, omdat het ontwerpen van een ZKP-systeem betekent dat je het rekenkundige circuit ontwerpt dat je probleem encodeert, in plaats van conventionele code te schrijven.

Also Read: SpaceX Reveals 18,712 BTC Stash In Record IPO Filing Surprise, Outed As Top 7 Bitcoin Whale

Conclusie

Zero-knowledge proofs begonnen als een theoretische curiositeit in een academisch artikel uit 1985 en zijn sindsdien uitgegroeid tot fundamentele infrastructuur voor privacycoins, schaalnetwerken en gedecentraliseerde identiteit. Het kerninzicht, dat waarheid kan worden gecommuniceerd zonder kennisoverdracht, is zo contra-intuïtief dat veel engineers jaren in de sector werken zonder de implicaties volledig te begrijpen.

Zcash blijft het meest zichtbare productievoorbeeld van ZKP’s toegepast op financiële privacy. De zk-SNARK-architectuur, ondanks de voortdurende discussie over trusted setups, heeft zich robuust getoond en heeft direct alle grote ZK-rollupconstructies die volgden beïnvloed.

De uitbreiding van de technologie naar DeFi-scaling via netwerken zoals zkSync en StarkNet, en naar AI-privacylagen zoals Venice, laat zien dat zero-knowledge proofs niet langer een nichefunctie van privacycoins zijn, maar een fundamenteel primitie f voor de volgende generatie cryptografische systemen.

De volgende keer dat een privacycoin in prijs stijgt of een nieuwe ZK rollup record-throughput aankondigt, heb je nu het raamwerk om te beoordelen wat de onderliggende technologie daadwerkelijk doet, en niet alleen wat de prijsgrafiek laat zien.

Read Next: Privacy Coins Catch A Bid: Dash Open Interest Surges 49% Overnight