Nullwissenbeweise bestätigen Aussagen, ohne das zugrunde liegende Geheimnis preiszugeben. Sigma-Protokolle, Fiat-Shamir, zk-SNARKs und zk-STARKs werden über Beweisidee, Vertrauensannahmen, Kosten und Verifikation verglichen.
