Waarom zero-knowledge-proofs kunnen uitgroeien tot de belangrijkste cryptotechnologie

Waarom zero-knowledge-proofs kunnen uitgroeien tot de belangrijkste cryptotechnologie

Zcash (ZEC) steeg de afgelopen 24 uur met ruim 13% en keerde daarmee terug in de schijnwerpers op de cryptomarkten.

Achter die koersbeweging schuilt echter een veel interessanter verhaal: het cryptografische systeem dat Zcash mogelijk maakt, geldt als een van de elegantste staaltjes toegepaste wiskunde die ooit op een publieke blockchain is uitgerold.

Dat systeem heet een zero-knowledge-proof. Als u zich ooit hebt afgevraagd hoe een cryptomunt wiskundig kan garanderen dat een transactie geldig is, zónder de verzender, de ontvanger of het bedrag te onthullen, dan is dit de uitleg die u zocht.

TL;DR

  • Een zero-knowledge-proof stelt één partij (de “prover”) in staat een andere partij (de “verifier”) te overtuigen dat een stelling waar is, zonder andere informatie prijs te geven dan het feit dát de stelling klopt.
  • Zcash gebruikt een specifieke constructie, zk-SNARKs, om transactiedata af te schermen op een publieke blockchain, terwijl het netwerk toch kan controleren dat er geen munten uit het niets worden gecreëerd.
  • Dezelfde technologie vormt inmiddels de basis onder Layer 2-scaling, private DeFi-protocollen en identiteitssystemen en is daarmee een van de belangrijkste cryptografische bouwstenen van Web3.

Wat een zero-knowledge-proof in essentie is

Een zero-knowledge-proof is een methode waarmee een partij, de prover, een andere partij, de verifier, kan overtuigen dat een specifieke claim klopt. De cruciale beperking: het bewijs onthult niets over de onderliggende data die aan die claim ten grondslag ligt.

Het concept werd in 1985 beschreven in een academisch artikel van Shafi Goldwasser, Silvio Micali en Charles Rackoff, getiteld “The Knowledge Complexity of Interactive Proof Systems”.

De auteurs onderzochten hoeveel informatie een prover in theorie minimaal moet prijsgeven om een sceptische verifier te overtuigen. Hun conclusie: in sommige gevallen is dat praktisch nul.

Een zero-knowledge-proof moet aan drie eigenschappen voldoen: volledigheid (een eerlijke prover kan een eerlijke verifier altijd overtuigen), betrouwbaarheid (een oneerlijke prover kan de verifier niet misleiden, behalve met verwaarloosbare kans), en zero-knowledge (de verifier leert niets anders dan dat de claim geldig is).

De klassieke illustratie is de “grot met de magische deur”, vaak de Ali Baba-grot genoemd. Stel u een ronde grot voor met één ingang en achterin een afgesloten deur die alleen opengaat met een geheim wachtwoord. De prover wil de verifier overtuigen dat hij het wachtwoord kent, zonder het te verklappen. De prover gaat de grot in en kiest het linker- of rechterpad. De verifier roept vervolgens welk pad hij wil dat de prover uitkomt. Kent de prover het wachtwoord, dan kan hij desnoods door de deur gaan en altijd aan de gevraagde kant verschijnen. Door dit experiment vaak te herhalen, wordt het statistisch vrijwel uitgesloten dat iemand zonder wachtwoord steeds toevallig goed raadt.

Ook interessant: Pudgy Penguins-token schiet omhoog na Manchester City-deal van $5,3 mrd

(Image: Shutterstock)

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

De grot-anekdote beschrijft een interactief zero-knowledge-proof: de verifier doet in elke ronde actief een challenge. Wiskundig is dat fraai, maar voor blockchains levert het een probleem op: er zit niet bij elke transactie een levende verifier klaar om steeds nieuwe uitdagingen te sturen.

Blockchainnetwerken hebben niet-interactieve zero-knowledge-proofs nodig. In zo’n schema genereert de prover één enkel, zelfstandig bewijsobject dat iedereen op elk moment onafhankelijk kan verifiëren, zonder heen-en-weerverkeer. Dat is een veel lastiger wiskundig vraagstuk.

De doorbraak kwam met een techniek uit 1986, de Fiat-Shamir-heuristiek. Die zet interactieve bewijzen om in niet-interactieve varianten door de willekeurige challenges van de verifier te vervangen door een cryptografische hashfunctie. De prover genereert de “challenge” zelf met een hash van de stelling; die hash is niet te manipuleren zonder het bewijs ongeldig te maken.

Niet-interactieve proofs maakten het mogelijk om cryptografische geldigheid direct in blockchaintransacties te verpakken. Een node die een afgeschermde transactie ontvangt, hoeft niemand iets te vragen: hij draait lokaal het verificatie-algoritme en krijgt een simpel ja of nee.

Ook interessant: Hyperliquid stijgt 17% terwijl HYPE-ETF’s recordinstroom van $25,5 mln boeken

Hoe zk-SNARKs de afgeschermde transacties van Zcash aandrijven

Zcash was in oktober 2016 de eerste grote publieke blockchain die zk-SNARKs in productie bracht. De afkorting staat voor Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. Elk onderdeel van die term is technisch betekenisvol.

“Succinct” betekent dat het bewijs klein is qua bestandsgrootte en razendsnel te verifiëren, ongeacht hoe complex de onderliggende berekening is. “Non-interactive” betekent: geen heen-en-weer tussen prover en verifier, zoals hierboven beschreven. “Arguments of Knowledge” houdt in dat de prover de geheime “witness” daadwerkelijk in bezit moet hebben (de private key, de spending key, de transactiedetails) om een geldig bewijs te kunnen genereren. Gokken is wiskundig uitgesloten.

Wanneer een Zcash-gebruiker een afgeschermde transactie verstuurt, voert de walletsoftware een berekening uit die meerdere zaken tegelijk bewijst, zonder ze expliciet te onthullen. Zo wordt aangetoond dat de verzender de beschikking heeft over de uitgevende coins, dat de som van de inputs gelijk is aan de som van de outputs plus de fee (zodat er geen munten worden bijgemaakt), en dat de verzender de private spending key van het bronadres kent. Het resulterende bewijs wordt in de transactie zelf opgenomen en naar het netwerk uitgezonden. Elke full node verifieert dit onafhankelijk, doorgaans binnen milliseconden.

Zcash-afgeschermde transacties gebruiken een cryptografische structuur genaamd een Sapling-circuit (in 2018 geïntroduceerd ter vervanging van het oorspronkelijke Sprout-circuit), waarmee de tijd voor het genereren van een proof daalde van zo’n 40 seconden naar minder dan 2 seconden en het geheugengebruik terugging van 3 GB naar ongeveer 40 MB. Daardoor werden mobiele wallets met afgeschermde transacties voor het eerst praktisch haalbaar.

Zcash kent twee type adressen. Transparante adressen (t-adressen) werken 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 vrij tussen beide typen transacties doen, al blijft bij de overgang van een transparant naar een afgeschermd adres het bedrag aan de rand van het systeem zichtbaar.

Ook interessant: Goldman Sachs keert XRP en Solana de rug toe in scherpe crypto-reset in Q1

Het trusted-setup-probleem, de meest controversiële eis van Zcash

Het technisch meest omstreden onderdeel van Zcash’ oorspronkelijke zk-SNARK-implementatie is de zogeheten trusted-setup-ceremonie. zk-SNARKs hebben een set publieke parameters nodig, ook wel “common reference string” genoemd, die eenmalig moet worden gegenereerd voordat het systeem kan draaien. Die parameters zijn afgeleid van een geheime willekeurige waarde. Als die geheime waarde ooit volledig wordt gereconstrueerd, kan een aanvaller valse bewijzen maken en onzichtbaar Zcash uit het niets creëren.

Om dat risico te beperken, organiseerde het Zcash-team in 2016 een multi-party computation-ceremonie waarin zes deelnemers elk een deel van het geheim genereerden. De parameters zijn veilig zolang minimaal één deelnemer zijn fragment daadwerkelijk heeft vernietigd. Voor de Sapling-upgrade in 2018 werd de ceremonie opnieuw – en grondiger – uitgevoerd, ditmaal met 90 deelnemers, waardoor de kans op een volledige compromittering verwaarloosbaar werd.

De trusted-setup-eis blijft een theoretisch zwak punt en een filosofisch twistpunt binnen de community rond privacymunten. Critici vinden dat zelfs een minuscuul risico op een ondetecteerbare inflatie-aanval onaanvaardbaar is. Voorstanders wijzen op het grote aantal deelnemers en het transparante ontwerp van de ceremonie als afdoende mitigatie.

Deze zorg stimuleerde de ontwikkeling van zk-STARKs, de andere grote tak aan de zero-knowledge-familieboom, die in de volgende paragraaf aan bod komt.

Ook interessant: Bitget lanceert ‘Gold Fast Or Go Home’-wedstrijd voor cryptotraders

zk-SNARKs versus zk-STARKs: de belangrijkste afruilen

zk-STARKs, voluit Zero-Knowledge Scalable Transparent Arguments of Knowledge, werden in 2018 geïntroduceerd in een paper van Eli Ben-Sasson en collega’s van het Technion en StarkWare. Ze lossen het trusted-setup-probleem volledig op door uitsluitend te vertrouwen op publiek verifieerbare willekeur, afgeleid van botsingsbestendige hashfuncties, in plaats van op geheime parameters.

De afruilen tussen beide constructies zijn reëel en cruciaal voor ontwikkelaars die 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 leunen op elliptische-curvecryptografie, die in theorie kwetsbaar is voor een voldoende krachtige kwantumcomputer.
  • zk-STARKs hebben geen trusted setup nodig en zijn post-kwantumveilig, omdat ze uitsluitend hashfuncties gebruiken. Hun bewijzen zijn wel aanzienlijk groter – vaak tientallen tot honderden kilobytes – al is de verificatiesnelheid eveneens hoog.
  • PLONK en andere ‘universal SNARKs’ vormen een tussengeneratie die slechts éénmalig een universele trusted setup nodig heeft, in plaats van een aparte setup per circuit. Projecten als Aztec en Polygon gebruiken PLONK-achtige systemen om de operationele last van trusted setups te verlagen zonder de efficiëntie van SNARKs op te geven.

Voor de praktische inzet op blockchains in 2026 liggen zk-SNARKs nog altijd voorop, vooral waar bandbreedte en extreem compacte bewijzen cruciaal zijn, terwijl zk-STARKs terrein winnen in toepassingen waar transparantie, eenvoud van het trustmodel en kwantumresistentie zwaarder wegen. domineren privacygerichte layer-1‑protocollen zoals Zcash. zk‑STARKs zijn daarentegen de standaard in schaalbaarheidsgerichte layer‑2‑rollups, met name die van StarkWare, waar de grootte van het bewijs minder zwaar weegt dan minimale vertrouwensassumpties en maximale throughput.

Ook interessant: Vitalik Buterin Wil Dat Ethereum Stopt Met Over Je Schouder Mee Lezen

Waar zero‑knowledge‑bewijzen inmiddels worden ingezet – buiten privacycoins

De eerste toepassing van zero‑knowledge‑bewijzen was financiële privacy, zoals Zcash heeft laten zien. Sindsdien is de technologie echter breed uitgerold in het blockchain‑ecosysteem. De huidige hype rond Nexus en zijn zero‑knowledge‑netwerk is een van de duidelijkste signalen dat ZKP‑infrastructuur richting mainstream beweegt.

ZK‑rollups zijn vermoedelijk de commercieel belangrijkste toepassing buiten privacycoins. Layer‑2‑netwerken zoals zkSync, StarkNet en Polygon zkEVM gebruiken zero‑knowledge‑bewijzen om honderden tot duizenden Ethereum(ETH)‑transacties te bundelen in één enkel bewijs dat naar de hoofdketen wordt gestuurd. Het Ethereum‑mainnet hoeft dan slechts één compact bewijs te verifiëren in plaats van elke transactie zelf uit te voeren. Dat tilt de verwerkingscapaciteit fors op, terwijl de volledige beveiliging van Ethereum behouden blijft.

Private DeFi is een opkomende categorie waarbij protocollen ZKP’s gebruiken om gebruikers te laten lenen, handelen en rendementstrategieën uitvoeren zonder dat hun wallet‑saldi of handelsstrategieën on‑chain zichtbaar worden. Het Venice‑Token‑netwerk, dat momenteel samen met Zcash in de belangstelling staat, past een vergelijkbare cryptografische benadering toe op AI‑inference: gebruikers kunnen AI‑modellen bevragen zonder dat de aanbieder hun input kan inzien.

Identiteits‑ en credential‑systemen vormen een derde golf. Met ZKP’s kan een gebruiker aantonen dat hij ouder is dan 18, inwoner is van een bepaald land of een KYC‑check heeft doorstaan, zonder zijn naam, geboortedatum of paspoortnummer prijs te geven. Projecten als Polygon ID en Sismo bouwen volledige credential‑frameworks rondom die mogelijkheid.

Volgens cijfers van Grand View Research groeit de markt voor zero‑knowledge‑bewijzen van circa 243 miljoen dollar in 2023 naar meer dan 12 miljard dollar in 2030, gedreven door adoptie in finance, identiteitsbeheer en supply‑chain‑verificatie.

Ook interessant: Exclusive: DeFi Heeft Een Stille Crisis Waar Niemand Over Praat En Die De Yields Uitholt: Katana‑CEO

Wie deze technologie daadwerkelijk moet begrijpen

Zero‑knowledge‑bewijzen zijn relevant voor meerdere groepen in de cryptomarkt, ook al krijgt de doorsnee gebruiker de onderliggende cryptografie nooit rechtstreeks te zien.

Traders en beleggers die privacycoins als Zcash volgen, doen er goed aan te beseffen dat een koersrally niet louter speculatief is. De technologie achter ZEC heeft reële, groeiende toepassingen in ZK‑rollups en private DeFi, wat een structurele vraag creëert die verder gaat dan puur gokgedrag. Wanneer de druk van toezichthouders op volledig transparante blockchains weer oploopt – wat cyclisch gebeurt – worden de privacy‑eigenschappen van ZKP‑gebaseerde systemen ineens een stuk relevanter.

DeFi‑gebruikers en ‑ontwikkelaars die kiezen tussen layer‑2‑netwerken, moeten het onderscheid begrijpen tussen optimistic rollups (fraud proofs en een challenge‑periode van zeven dagen) en ZK‑rollups (wiskundige bewijzen met finaliteit binnen minuten). Die keuze heeft direct impact op opnametijden, vertrouwensassumpties en kapitaalefficiëntie.

Privacybewuste gebruikers, op welk niveau dan ook, moeten weten dat de ‘shielded addresses’ van Zcash een wezenlijk ander privacymodel bieden dan de pseudonimiteit van Bitcoin. Blockchain‑analysebedrijven als Chainalysis hebben openlijk erkend dat volledig afgeschermde Zcash‑transacties in de praktijk ondoorzichtig zijn voor hun tooling. Dat is een relevant verschil voor gebruikers die echte financiële vertrouwelijkheid nodig hebben.

Protocolbouwers die werken aan credentialsystemen, geheime stemmingen of proof‑of‑reserves zonder saldodisclosure, moeten het basisconcept van ZKP‑circuits beheersen. Een ZKP‑systeem ontwerpen betekent immers: het rekenkundige circuit modelleren waarin je probleem wordt gecodeerd – niet simpelweg conventionele software schrijven.

Ook interessant: SpaceX Onthult 18.712 BTC‑Voorraad In Verrassende IPO‑Filing En Duikt Op Als Top‑7 Bitcoin‑Walvis

Conclusie

Zero‑knowledge‑bewijzen begonnen als academische curiositeit in een paper uit 1985 en zijn uitgegroeid tot fundamentele infrastructuur voor privacycoins, schaalnetwerken en gedecentraliseerde identiteit. De kernintuïtie – dat je waarheid kunt aantonen zonder informatie prijs te geven – is zo contra‑intuïtief dat zelfs veel engineers na jaren in de sector de implicaties nog niet volledig doorgronden.

Zcash blijft het meest zichtbare productievoorbeeld van ZKP’s toegepast op financiële privacy. De zk‑SNARK‑architectuur, ondanks de aanhoudende discussie over trusted setups, blijkt robuust en heeft direct model gestaan voor elke grote ZK‑rollup‑architectuur die daarna is ontwikkeld.

De uitrol richting DeFi‑schaaloplossingen via netwerken als zkSync en StarkNet, en richting AI‑privacylagen zoals Venice, geeft aan dat zero‑knowledge‑bewijzen allang geen nichefunctie van privacycoins meer zijn, maar een bouwsteen voor de volgende generatie cryptografische systemen.

Wanneer de volgende privacycoin in koers verdubbelt of een nieuwe ZK‑rollup record‑throughput meldt, heb je nu het referentiekader om te beoordelen wat de technologie onder de motorkap daadwerkelijk doet – in plaats van alleen naar de koersgrafiek te kijken.

Lees verder: Privacy Coins Maken Een Comeback: Open Interest In Dash Schiet ’s Nachts Met 49% Omhoog

Murtuza Merchant profile photo

Murtuza Merchant

Murtuza is een ervaren financieel journalist met uitgebreide ervaring in het verslaan van cryptovaluta en blockchaintechnologie. Hij heeft bijgedragen aan Benzinga en Cointelegraph, naast andere publicaties, waar hij verslag uitbracht over opkomende trends, het regelgevend landschap en meer. Je vindt hem op Twitter als @murtuza_merc en op Telegram als mmerchant001. Disclosure: Murtuza holds ATOM, AKT, TIA, INJ, and OSMO.

Disclaimer en risicowaarschuwing: De informatie in dit artikel is uitsluitend voor educatieve en informatieve doeleinden en is gebaseerd op de mening van de auteur. Het vormt geen financieel, investerings-, juridisch of belastingadvies. Cryptocurrency-assets zijn zeer volatiel en onderhevig aan hoog risico, inclusief het risico om uw gehele of een substantieel deel van uw investering te verliezen. Het handelen in of aanhouden van crypto-assets is mogelijk niet geschikt voor alle beleggers. De meningen die in dit artikel worden geuit zijn uitsluitend die van de auteur(s) en vertegenwoordigen niet het officiële beleid of standpunt van Yellow, haar oprichters of haar leidinggevenden. Voer altijd uw eigen grondig onderzoek uit (D.Y.O.R.) en raadpleeg een gelicentieerde financiële professional voordat u een investeringsbeslissing neemt.
Waarom zero-knowledge-proofs kunnen uitgroeien tot de belangrijkste cryptotechnologie | Yellow