Zero-knowledge proof
Kryptografiskt bevis där prover övertygar verifier att ett påstående är sant utan att avslöja varför det är sant (t.ex. "jag vet ett lösenord" utan att skicka det).
Tre egenskaper: completeness (sant påstående går alltid igenom), soundness (falskt påstående har försumbar chans), zero-knowledge (verifier lär sig inget utöver "sant"). Goldwasser, Micali, Rackoff 1985 (turingpriset 2012 för Goldwasser).
Praktiskt realiserat i zk-SNARKs och zk-STARKs (succinct, non-interactive). Användning: zk-rollups (Polygon, Starknet), privata transaktioner (Zcash), anonyma credentials, password authentication utan att skicka lösenord.