FHE vs. ZK-Beweise: Worin unterscheiden sich die beiden Privatsphäre-Technologien?
Vollständig homomorphe Verschlüsselung (FHE) und Zero-Knowledge-Beweise (ZK) bieten unterschiedliche Lösungen für Privatsphäre und Berechnung. FHE ermöglicht Anwendungen, direkt auf verschlüsselten Daten zu rechnen, während diese während der Verarbeitung privat bleiben. Im Gegensatz dazu prüfen ZK-Beweise, dass eine Berechnung oder Aussage gültig ist, ohne die zugrunde liegenden privaten Eingaben offenzulegen. Während FHE Daten während der Berechnung schützt, liegt der Fokus von ZK-Beweisen auf verifizierbarer Korrektheit. Einige Blockchain-Systeme kombinieren beide Technologien, um verschiedene Teile vertraulicher Berechnungen abzudecken, wobei jede spezifische Leistungskosten und Implementierungs-Kompromisse mit sich bringt.
Vollständig homomorphe Verschlüsselung (FHE) ermöglicht Anwendungen, Berechnungen auf verschlüsselten Daten durchzuführen, ohne sie zuvor zu entschlüsseln. Das Ergebnis bleibt verschlüsselt, was FHE nützlich macht, wenn sensible Daten während der gesamten Berechnung privat bleiben müssen.
Zero-Knowledge-Beweise (ZK) erfüllen einen anderen Zweck. Sie erlauben einer Partei zu beweisen, dass eine Aussage oder Berechnung korrekt ist, ohne die zugrunde liegenden privaten Daten offenzulegen. ZK-Beweise werden häufig für private Credentials, Rollup-Verifikation, Solvenznachweise und andere Fälle eingesetzt, in denen die Verifikation wichtiger ist als die vollständige Verschlüsselung einer Berechnung.
Der entscheidende Unterschied: FHE schützt Daten, während sie verarbeitet werden, während ZK-Beweise ein Ergebnis verifizieren, ohne die privaten Eingaben offenzulegen. Einige auf Privatsphäre ausgerichtete Blockchain-Systeme kombinieren beide Technologien, weil sie unterschiedliche Teile desselben Problems lösen.
Was ist vollständig homomorphe Verschlüsselung (FHE)?
Vollständig homomorphe Verschlüsselung (FHE) ist eine kryptografische Methode, mit der Berechnungen direkt auf verschlüsselten Daten ausgeführt werden können. Die Daten bleiben während der Verarbeitung verschlüsselt, und das Endergebnis lässt sich später zu genau der Ausgabe entschlüsseln, die aus dem ursprünglichen Klartext entstanden wäre.
In Blockchain-Anwendungen kann FHE verschlüsselte Guthaben, private Abstimmungen oder vertrauliche Anwendungszustände unterstützen, ohne die zugrunde liegenden Werte gegenüber Validatoren oder anderen Teilnehmern offenzulegen. Das System benötigt weiterhin klare Regeln für Schlüsselverwaltung, Entschlüsselungsbefugnis und Zugriff auf die Endergebnisse.
Was sind Zero-Knowledge-Beweise (ZK)?
Zero-Knowledge-Beweise (ZK) erlauben einer Partei zu belegen, dass eine Aussage oder Berechnung gültig ist, ohne die privaten Informationen offenzulegen, mit denen der Beweis erstellt wurde. Ein Prover (Beweiser) erzeugt den Beweis, ein Verifier (Prüfer) kontrolliert ihn anhand festgelegter Regeln.
ZK-Beweise können für private Identitätsprüfungen, Transaktionsverifikation, Rollup-Gültigkeit sowie Reserve- oder Solvenznachweise genutzt werden. Wie viel Privatsphäre entsteht, hängt vom Design der Anwendung ab, da einige Eingaben, Ausgaben oder Transaktionsdetails weiterhin öffentlich bleiben können.
FHE vs. ZK-Beweise: Was sind die wichtigsten Unterschiede?
FHE und ZK lösen unterschiedliche Teile vertraulicher Berechnungen. Werden sie als austauschbar behandelt, bleibt entweder die Privatsphäre oder die Korrektheit unberücksichtigt.
| Dimension | Vollständig homomorphe Verschlüsselung (FHE) | Zero-Knowledge-Beweise (ZK) |
| Hauptzweck | Direkte Berechnung auf Daten, die durchgehend verschlüsselt bleiben | Beleg, dass eine Aussage gültig ist, ohne den Witness offenzulegen |
| Ausgabe | Erzeugt verschlüsselte Ergebnisse, die einen autorisierten Entschlüsselungsweg erfordern | Erzeugt einen kompakten Beweis und ausgewählte öffentliche Ausgaben |
| Berechnungsmodell | Evaluatoren transformieren Ciphertext mit den unterstützten verschlüsselten Operationen | Prover kodieren die Berechnung in Schaltkreise oder virtuelle Maschinen |
| Verifikation | Die korrekte Entschlüsselung zeigt das berechnete Klartext-Ergebnis | Verifier prüfen den Beweis, ohne die vollständige Berechnung zu wiederholen |
| Leistungskosten | Ciphertext-Operationen und Bootstrapping verursachen erheblichen Ausführungs-Overhead | Die Beweiserzeugung ist rechenintensiv, die Verifikation kann jedoch kompakt bleiben |
| Schlüsselabhängigkeit | Die Governance des Entschlüsselungsschlüssels wird zur kritischen Designentscheidung | Trusted Setup oder Beweisannahmen hängen vom gewählten Verfahren ab |
Worin unterscheidet sich die Funktionsweise von FHE und ZK-Beweisen?
- FHE: Die Daten bleiben verschlüsselt, während Berechnungen auf ihnen ausgeführt werden. Anwendungen können verschlüsselte Guthaben, Stimmen oder andere private Zustände aktualisieren, ohne die zugrunde liegenden Werte offenzulegen. Das System benötigt weiterhin Regeln für Entschlüsselungsschlüssel, autorisierten Zugriff und Wiederherstellung, falls Schlüssel verloren gehen oder kompromittiert werden.
- ZK-Beweise: Ein Prover zeigt, dass private Eingaben eine Reihe von Regeln erfüllen, ohne diese Eingaben offenzulegen. Der Verifier prüft den resultierenden Beweis, statt die vollständige Berechnung zu wiederholen. Der Beweis bestätigt nur die im System kodierten Regeln; fehlerhafte Schaltkreislogik kann daher weiterhin einen gültigen Beweis für die falsche Bedingung erzeugen.
Welche FHE- und ZK-Projekte sind verbreitet?
Verbreitete FHE-Projekte
1. Zama: Entwickelt FHE-Tools und Blockchain-Infrastruktur für vertrauliche Smart Contracts und verschlüsselte Onchain-Anwendungen.
2. Fhenix: Baut Blockchain-Infrastruktur auf, die FHE für verschlüsselte Smart-Contract-Ausführung nutzt.
3. Inco: Fokussiert sich auf vertrauliches Computing für Blockchain-Anwendungen mit FHE-basiertem verschlüsseltem State.
Verbreitete ZK-Projekte
1. zkSync: Nutzt Zero-Knowledge-Beweise, um Ethereum durch die Verifikation von Batches von Offchain-Transaktionen zu skalieren.
2. Starknet: Nutzt STARK-Beweise, um Berechnungen zu verifizieren und die Ausführung von Smart Contracts auf Ethereum zu skalieren.
3. Aztec: Konzentriert sich auf datenschutzfreundliche Blockchain-Anwendungen mit Zero-Knowledge-Beweistechnologie.
Welche Risiken oder Kompromisse entstehen durch FHE und ZK-Beweise?
- FHE-Risiken: Verschlüsselte Berechnung ist deutlich ressourcenintensiver als normale Berechnung. Große Ciphertexte, langsamere Verarbeitung, Schlüsselverwaltung und Entschlüsselungsbefugnis können Kosten und Komplexität erhöhen.
- ZK-Risiken: Die Beweiserzeugung erfordert spezialisierte Schaltkreise und Software. Fehler in Schaltkreisen, Compilern, Verifier-Contracts oder Setup-Prozessen können Privatsphäre oder Korrektheit beeinträchtigen, während öffentliche Metadaten weiterhin Informationen preisgeben können.
Beide Technologien hängen stark von einer korrekten Implementierung und dem Anwendungsdesign ab, nicht allein von der Kryptografie.
Welche Privatsphäre-Technologie passt zu Blockchain-Anwendungen?
- FHE: Besser geeignet für Anwendungen, die private Daten kontinuierlich verarbeiten müssen, etwa vertrauliche Guthaben, private Auktionen und verschlüsselte Abstimmungen.
- ZK-Beweise: Besser geeignet, um zu belegen, dass eine Bedingung oder Berechnung gültig ist, ohne die zugrunde liegenden Informationen offenzulegen – etwa Identitätsprüfungen, Rollup-Verifikation, Solvenznachweise oder private Berechtigungsprüfungen.
- Beides kombiniert: Einige Systeme kombinieren FHE und ZK-Beweise, damit Daten während der Berechnung verschlüsselt bleiben, während Beweise belegen, dass Eingaben und Verarbeitung den erforderlichen Regeln folgen.
Verwandte Konzepte
3. Was ist ein Smart Contract?
Weiterführende Lektüre
1. Was ist das dezentrale ZKP-Netzwerk Succinct (PROVE) und wie handelt man es auf BingX?
2. Was ist AZTEC Privacy Layer 2 zkRollup auf Ethereum und wie kauft man es?
3. Was sind die führenden Zero-Knowledge-(ZK-)Krypto-Projekte 2026?
4. Was ist Zama (ZAMA), die „HTTPZ"-Ebene für vertrauliche Smart Contracts?
FAQ
Ist FHE eine Art von Zero-Knowledge-Beweis?
Nein. FHE ermöglicht Berechnungen auf verschlüsselten Daten, während ein ZK-Beweis zeigt, dass eine Aussage wahr ist, ohne den zugehörigen Witness offenzulegen. Die Primitiven können einander ergänzen, unterscheiden sich jedoch in Ausgaben, Leistungskosten, Schlüsselannahmen und Sicherheitszielen. Die eine liefert die andere nicht automatisch mit.
Machen ZK-Beweise Blockchain-Transaktionen immer privat?
Wer kann mit FHE verarbeitete Daten entschlüsseln?
Warum ist FHE langsamer als gewöhnliche Berechnung?
Noch kein Konto?
Registriere dich jetzt und starte deine Reise in die Welt der Kryptowährungen
