#dusk $DUSK @Dusk Ich habe einen Teil des Nachmittags damit verbracht, mir die tatsächliche Kurve anzusehen, die Dusk in seinen privaten Transaktionsnachweisen verwendet, und die Entscheidung stellte sich als wichtiger heraus, als ich zuerst dachte.
Ein privater Transfer muss weiterhin beweisen, dass er gültig ist, ohne die Beträge oder die beteiligten Personen offenzulegen. Dieser Nachweis wird mit PLONK aufgebaut, sodass jede Signatur, jeder wichtige Schritt und jede Verschlüsselung, die auf dem privaten Pfad passiert, sauber in arithmetische Nebenbedingungen passt, die der Schaltkreis prüfen kann, ohne dass der Aufwand explodiert. Die meisten gewöhnlichen Kurven werden teuer oder unübersichtlich, sobald man sie in dieses Setting zwingt.
JubJub ist die eingebaute, die sie ausgewählt haben. Es handelt sich um eine verdrehte Edwards-Kurve, deren Grundkörper exakt mit dem Skalarfeld von BLS12-381 übereinstimmt. Das bedeutet, dass die gleiche Feldarithmetik, die bereits für die äußere Kurve verwendet wird, auch die inneren elliptischen-Kurven-Arbeiten übernehmen kann.
Als ich die Repositories überprüfte, waren die praktischen Ergebnisse eindeutig. Schnorr-Signaturen mit Poseidon laufen direkt auf JubJub. ElGamal-Verschlüsselung liegt auf derselben Kurve, sodass die Chiffretexte im Schaltkreis verarbeitet werden können. Die Kurve selbst wird wie eine richtige Bibliothek behandelt, nicht wie etwas, das erst später „drangeflanscht“ wurde.
Der private Pfad benötigt keine zweite kryptografische Ebene neben dem Beweissystem. Die gleichen Objekte erledigen beide Aufgaben. Wenn diese Ebene bricht, brechen auch die Vertraulichkeitsbehauptungen mit.
Ob Menschen tatsächlich den privaten Pfad verwenden, ist eine andere Frage. Die Kurve ist nur das Stück, das solide sein muss, damit all diese Behauptungen überhaupt irgendetwas bedeuten.
Ein privater Transfer muss weiterhin beweisen, dass er gültig ist, ohne die Beträge oder die beteiligten Personen offenzulegen. Dieser Nachweis wird mit PLONK aufgebaut, sodass jede Signatur, jeder wichtige Schritt und jede Verschlüsselung, die auf dem privaten Pfad passiert, sauber in arithmetische Nebenbedingungen passt, die der Schaltkreis prüfen kann, ohne dass der Aufwand explodiert. Die meisten gewöhnlichen Kurven werden teuer oder unübersichtlich, sobald man sie in dieses Setting zwingt.
JubJub ist die eingebaute, die sie ausgewählt haben. Es handelt sich um eine verdrehte Edwards-Kurve, deren Grundkörper exakt mit dem Skalarfeld von BLS12-381 übereinstimmt. Das bedeutet, dass die gleiche Feldarithmetik, die bereits für die äußere Kurve verwendet wird, auch die inneren elliptischen-Kurven-Arbeiten übernehmen kann.
Als ich die Repositories überprüfte, waren die praktischen Ergebnisse eindeutig. Schnorr-Signaturen mit Poseidon laufen direkt auf JubJub. ElGamal-Verschlüsselung liegt auf derselben Kurve, sodass die Chiffretexte im Schaltkreis verarbeitet werden können. Die Kurve selbst wird wie eine richtige Bibliothek behandelt, nicht wie etwas, das erst später „drangeflanscht“ wurde.
Der private Pfad benötigt keine zweite kryptografische Ebene neben dem Beweissystem. Die gleichen Objekte erledigen beide Aufgaben. Wenn diese Ebene bricht, brechen auch die Vertraulichkeitsbehauptungen mit.
Ob Menschen tatsächlich den privaten Pfad verwenden, ist eine andere Frage. Die Kurve ist nur das Stück, das solide sein muss, damit all diese Behauptungen überhaupt irgendetwas bedeuten.
