Zero-knowledge proofs

Een zero-knowledge proof (ZKP) is een cryptografische methode waarmee de ene partij (de bewijzer) aan de andere partij (de verificateur) kan bewijzen dat een bewering waar is zonder enige informatie prijs te geven buiten de geldigheid van de bewering zelf.

• zk-SNARKs: Succinct Non-interactive Arguments of Knowledge. Kleine bewijsgrootte en snelle verificatie, maar vereisen een trusted setup-ceremonie. Gebruikt door Zcash.
• zk-STARKs: Scalable Transparent Arguments of Knowledge. Grotere bewijzen maar geen trusted setup vereist. Kwantumresistent. Gebruikt door StarkNet.
• PLONK: Een universele en updatebare trusted setup die voor elk circuit kan worden gebruikt, waardoor de noodzaak van een ceremonie per applicatie wordt verminderd.

• ZK-Rollups: Gebruiken ZK-bewijzen om gebundelde transacties off-chain te verifiëren voordat ze naar L1 worden gepost (zkSync, StarkNet, Polygon zkEVM)
• Privacy: Bewijzen dat je genoeg tokens bezit voor een transactie zonder je saldo te onthullen (Zcash afgeschermde transacties)
• Identiteit: Bewijzen dat je ouder bent dan 18 zonder je geboortedatum te onthullen
• Stemmen: Bewijzen dat je hebt gestemd zonder te onthullen op wie je hebt gestemd

• Volledigheid: Een ware bewering wordt altijd geaccepteerd
• Degelijkheid: Een onware bewering wordt (bijna) altijd afgewezen
• Zero-knowledge: De verificateur leert niets buiten de waarheid van de bewering