Zero-knowledge proof

Een zero-knowledge proof is een cryptografische methode waarmee een partij kan bewijzen dat een bewering waar is zonder enige informatie prijs te geven buiten het feit dat ze waar is. De klassieke intuïtie: bewijzen dat je een wachtwoord kent zonder het te noemen, of bewijzen dat je ouder bent dan 18 zonder je geboortedatum te tonen. Een verifier controleert een compact wiskundig bewijs en krijgt zekerheid over de bewering zonder verder iets te leren.

In crypto dienen zero-knowledge proofs twee verschillende doelen die vaak door elkaar worden gehaald. Het eerste is privacy: Zcash gebruikt ze zodat een transactie als geldig kan worden geverifieerd — er zijn geen coins gecreëerd, de handtekeningen kloppen — terwijl afzender, ontvanger en bedrag verborgen blijven. Het tweede, inmiddels economisch groter, is beknopte verificatie voor schaalbaarheid: ZK-rollups zoals zkSync en Starknet voeren duizenden transacties off-chain uit en plaatsen één enkel bewijs op Ethereum dat de hele batch de regels volgde, zodat de basisketen één klein bewijs verifieert in plaats van alles opnieuw uit te voeren. De belangrijkste families van bewijzen zijn SNARK's (piepkleine bewijzen, snelle verificatie, vaak met een trusted-setup-ceremonie) en STARK's (grotere bewijzen, geen trusted setup, naar verwachting bestand tegen kwantumaanvallen).

Een veelvoorkomende misvatting is dat "zero-knowledge" altijd privé betekent; de meeste ZK-rollups publiceren hun transactiedata openlijk en gebruiken de bewijzen puur voor compressie en geldigheid — de zero-knowledge-eigenschap is daar bijkomstig. De grens van de technologie schuift steeds verder op: identiteitskenmerken bewijzen zonder documenten bloot te geven, de uitvoer van machinelearningmodellen verifiëren, en light clients hele ketens laten controleren met één enkel bewijs zijn allemaal actieve gebieden die op hetzelfde kernidee zijn gebouwd.