Ich wollte heute Hedger wirklich richtig verstehen, statt es nur als „Dämmerungs-Privatsache für DuskEVM“ zu kennen, denn die Kryptografie dahinter ist deutlich mehrschichtiger, als ich beim Einstieg erwartet hatte.
Die meisten DeFi-Privacy-Systeme, die ich kenne, setzen vor allem auf Zero-Knowledge-Beweise: damit weist man nach, dass eine Berechnung korrekt durchgeführt wurde, ohne dabei die Eingaben offenzulegen – das ist der Kern des Werkzeugs. Hedger macht aber nicht dabei halt: Es kombiniert mehrere Techniken miteinander, statt nur eine auszuwählen.
Der erste Baustein ist homomorphe Verschlüsselung, konkret auf Basis von ElGamal über ECC. Das ermöglicht, Berechnungen direkt auf verschlüsselten Werten durchzuführen, ohne sie jemals entschlüsseln zu müssen, um die Mathematik zu machen. Das ist etwas anderes als „erst im Nachhinein beweisen, dass die Rechnung korrekt war“ – es ist eher: „Rechne die Mathematik, während die Zahlen die ganze Zeit verborgen bleiben“.
Der zweite Baustein sind weiterhin Zero-Knowledge-Beweise, die darauf aufsetzen: Sie belegen die Korrektheit der Berechnungen, ohne die zugrunde liegenden Eingaben offenzulegen. Das ist der gleiche allgemeine Zweck wie immer, nur dass es hier mit der homomorphen Ebene zusammenspielt, statt alles allein zu tragen.
Der dritte Baustein ist ein hybrides UTXO-/Account-Modell. Das unterstützt die Komponierbarkeit über Schichten hinweg und sorgt dafür, dass sich das Ganze sauber in reale Finanzsysteme integrieren lässt, statt in ein einziges Transaktionsmodell-„Korsett“ eingesperrt zu sein.
Warum sich die Mühe machen, drei Dinge zu kombinieren, statt einfach wie alle anderen nur zk zu verwenden? Die Einordnung, die ich gesehen habe, war: gleichzeitig Privatsphäre, Performance und Compliance auszubalancieren – nicht nur Privatsphäre isoliert. Regulierte Finanzanwendungen brauchen Nachvollziehbarkeit neben Vertraulichkeit, und das Stapeln mehrerer kryptografischer Techniken scheint der Weg zu sein, beides zu erhalten, ohne dass sich das eine gegenseitig untergräbt.
Ich will es immer noch besser verstehen: Fügt die Kombination dieser Techniken spürbaren zusätzlichen Rechenaufwand hinzu im Vergleich zu einem reinen zk-Ansatz, oder sind die Performance-Kosten in der Praxis ungefähr vergleichbar.
#dusk @Dusk $DUSK
Die meisten DeFi-Privacy-Systeme, die ich kenne, setzen vor allem auf Zero-Knowledge-Beweise: damit weist man nach, dass eine Berechnung korrekt durchgeführt wurde, ohne dabei die Eingaben offenzulegen – das ist der Kern des Werkzeugs. Hedger macht aber nicht dabei halt: Es kombiniert mehrere Techniken miteinander, statt nur eine auszuwählen.
Der erste Baustein ist homomorphe Verschlüsselung, konkret auf Basis von ElGamal über ECC. Das ermöglicht, Berechnungen direkt auf verschlüsselten Werten durchzuführen, ohne sie jemals entschlüsseln zu müssen, um die Mathematik zu machen. Das ist etwas anderes als „erst im Nachhinein beweisen, dass die Rechnung korrekt war“ – es ist eher: „Rechne die Mathematik, während die Zahlen die ganze Zeit verborgen bleiben“.
Der zweite Baustein sind weiterhin Zero-Knowledge-Beweise, die darauf aufsetzen: Sie belegen die Korrektheit der Berechnungen, ohne die zugrunde liegenden Eingaben offenzulegen. Das ist der gleiche allgemeine Zweck wie immer, nur dass es hier mit der homomorphen Ebene zusammenspielt, statt alles allein zu tragen.
Der dritte Baustein ist ein hybrides UTXO-/Account-Modell. Das unterstützt die Komponierbarkeit über Schichten hinweg und sorgt dafür, dass sich das Ganze sauber in reale Finanzsysteme integrieren lässt, statt in ein einziges Transaktionsmodell-„Korsett“ eingesperrt zu sein.
Warum sich die Mühe machen, drei Dinge zu kombinieren, statt einfach wie alle anderen nur zk zu verwenden? Die Einordnung, die ich gesehen habe, war: gleichzeitig Privatsphäre, Performance und Compliance auszubalancieren – nicht nur Privatsphäre isoliert. Regulierte Finanzanwendungen brauchen Nachvollziehbarkeit neben Vertraulichkeit, und das Stapeln mehrerer kryptografischer Techniken scheint der Weg zu sein, beides zu erhalten, ohne dass sich das eine gegenseitig untergräbt.
Ich will es immer noch besser verstehen: Fügt die Kombination dieser Techniken spürbaren zusätzlichen Rechenaufwand hinzu im Vergleich zu einem reinen zk-Ansatz, oder sind die Performance-Kosten in der Praxis ungefähr vergleichbar.
#dusk @Dusk $DUSK
