Zero-Knowledge-Beweise

Zero-Knowledge-Beweise

Ein Zero-Knowledge-Beweis (ZKP) ist eine kryptographische Methode, die es einer Partei (dem Beweiser) ermöglicht, einer anderen Partei (dem Verifizierer) zu beweisen, dass eine Aussage wahr ist, ohne Informationen über die Gültigkeit der Aussage hinaus preiszugeben.

Arten von ZK-Beweisen

• zk-SNARKs: Succinct Non-interactive Arguments of Knowledge. Kleine Beweisgröße und schnelle Verifizierung, erfordern aber eine vertrauenswürdige Setup-Zeremonie. Verwendet von Zcash.
• zk-STARKs: Scalable Transparent Arguments of Knowledge. Größere Beweise, aber kein vertrauenswürdiges Setup erforderlich. Quantenresistent. Verwendet von StarkNet.
• PLONK: Ein universelles und aktualisierbares vertrauenswürdiges Setup, das für jeden Schaltkreis verwendet werden kann, wodurch der Bedarf an Zeremonien pro Anwendung reduziert wird.

Blockchain-Anwendungen

• ZK-Rollups: Verwenden ZK-Beweise, um gebündelte Transaktionen off-chain zu verifizieren, bevor sie auf L1 gepostet werden (zkSync, StarkNet, Polygon zkEVM)
• Privatsphäre: Beweisen, dass Sie genügend Tokens für eine Transaktion besitzen, ohne Ihren Kontostand preiszugeben (Zcash abgeschirmte Transaktionen)
• Identität: Beweisen, dass Sie über 18 sind, ohne Ihr Geburtsdatum preiszugeben
• Abstimmung: Beweisen, dass Sie abgestimmt haben, ohne preiszugeben, wen Sie gewählt haben

Wichtige Eigenschaften

• Vollständigkeit: Eine wahre Aussage wird immer akzeptiert
• Korrektheit: Eine falsche Aussage wird (fast) immer abgelehnt
• Zero-Knowledge: Der Verifizierer erfährt nichts über die Wahrheit der Aussage hinaus