Een zero-knowledge bewijs is een cryptografische techniek waarbij één partij, de bewijzer, aan een andere partij, de verificateur, kan aantonen dat een bepaalde bewering waar is. De bewijzer geeft daarbij geen aanvullende informatie prijs die de verificateur in staat zou stellen de bewering zelf te reconstrueren. De verificateur leert niets anders dan het enkele feit dat de bewering klopt.
Een klassiek gedachte-experiment maakt het concept tastbaar. Stel je voor dat jij weet hoe je een doolhof kunt oplossen. Je kunt mij bewijzen dat je de oplossing kent door het doolhof herhaaldelijk op te lossen wanneer ik een willekeurig punt aanwijs, zonder ooit de route zelf aan mij te tonen. Na genoeg herhalingen ben ik statistisch zeker dat je de oplossing kent, maar ik heb er zelf niets aan geleerd. In de digitale variant kun je bewijzen dat je het juiste wachtwoord voor een systeem kent, zonder het wachtwoord ooit te verzenden.
In de cryptowereld heeft dit revolutionaire toepassingen. Privacy coins zoals Zcash verifiëren transacties via zero-knowledge proofs zonder bedragen, adressen of andere details openbaar te maken. ZK Rollups bundelen honderden transacties samen in één wiskundig bewijs dat op de basislaag wordt ingediend. Dit combineert privacy en verificeerbaarheid op een manier die voorheen als contradictie gold. De wiskundige achtergrond steunt op complexe structuren zoals zk-SNARKs en zk-STARKs en is uiterst geavanceerd. De praktische toepassingen in schaalbaarheid en privacy zijn desondanks transformatief voor de toekomst van blockchain.
