Zwei Arten von Zero-Knowledge-Beweisen 1⃣ Interaktiver Zero-Knowledge-Beweis ▰ Der Verifier stellt eine Frage (Herausforderung) ▰ Der Beweiser antwortet basierend auf der Herausforderung ▰ Mehrere Runden hin und her, der Verifier bestätigt die Gültigkeit des Beweises 2⃣ Nicht-interaktiver Zero-Knowledge-Beweis ▰ Der Beweiser muss nur eine Datei (Proof) erstellen ▰ Der Verifier kann sie unabhängig überprüfen, ohne hin und her zu interagieren Die drei Eigenschaften von ZK-Beweisen ▰ Vollständigkeit - Completeness Wenn die Aussage wahr ist, muss der Beweis die Überprüfung bestehen ▰ Zuverlässigkeit - Soundness Wenn die Aussage falsch ist, kann niemand einen falschen Beweis erstellen, der die Überprüfung besteht ▰ Null-Wissen - Zero Knowledge Der Verifier kann aus dem Beweis keine geheimen Eingaben ableiten Aufgrund der Eigenschaften der Blockchain sind in der Praxis fast alle nicht-interaktiven Zero-Knowledge-Beweise. Nicht-interaktive Zero-Knowledge-Beweise verwenden eine einmalige selbstzufällige Herausforderung des Beweisers, um die Echtheit des Beweises zu bestimmen. @brevis_zk Lernnotizen ～