Warum Dusk sein virtuelles Maschinen-Setup um Zero-Knowledge-Beweise herum gebaut hat
Ich habe heute Morgen über etwas nachgedacht
Wenn Dusk versucht, Finanzanwendungen Onchain zu bringen und dabei dennoch einige Informationen privat zu halten, warum baut man dann nicht zuerst einfach das Smart-Contract-System und fügt später Zero-Knowledge-Tools hinzu
Das war meine Annahme
Also bin ich zurück zum Dusk-Whitepaper gegangen und habe mir Rusk, die VM, die für die Smart-Contract-Ausführung genutzt wird, genauer angesehen
Dort wurde es interessant
Rusk ist nicht einfach nur eine normale Ausführungsumgebung mit Privatsphäre oben drauf
Das Design gibt Contracts direkten Zugriff auf kryptografische Operationen, einschließlich Hashing elliptischer-Kurven-Operationen Signaturen und der Verifizierung von Zero-Knowledge-Beweisen
Anfangs dachte ich, das sei nur eine Entwickler-Erleichterung
Dann habe ich verstanden, warum das wichtig ist
Wenn Zero-Knowledge-Beweise etwas sind, das eine Anwendung nur gelegentlich benötigt, kann man sie wie ein zusätzliches Werkzeug behandeln
Aber wenn man Finanzanwendungen baut, bei denen einige Informationen vertraulich bleiben müssen, während das System dennoch beweisen muss, dass die Regeln befolgt wurden, dann wird Kryptografie Teil der eigentlichen Ausführung
Deshalb ergibt es viel mehr Sinn, diese Fähigkeiten näher an die VM zu bringen
Je mehr ich mir das angesehen habe, desto mehr hatte ich das Gefühl, dass Dusk nicht einfach nur fragt:
Wie fügen wir Smart Contracts Privatsphäre hinzu
Die tiefere Frage scheint zu sein:
Wie sollte die Ausführung von Smart Contracts aussehen, wenn Privatsphäre und verifizierbare Berechnung von Anfang an Teil der Aufgabe sind
Das ist ein viel interessanteres Designproblem
Und ehrlich gesagt war das eine dieser Details, die ich wahrscheinlich übersehen hätte, wenn ich nur die übliche Beschreibung „Dusk ist eine Privacy-Blockchain“ gelesen hätte
#dusk $DUSK @Dusk $BR $BTW
Ich habe heute Morgen über etwas nachgedacht
Wenn Dusk versucht, Finanzanwendungen Onchain zu bringen und dabei dennoch einige Informationen privat zu halten, warum baut man dann nicht zuerst einfach das Smart-Contract-System und fügt später Zero-Knowledge-Tools hinzu
Das war meine Annahme
Also bin ich zurück zum Dusk-Whitepaper gegangen und habe mir Rusk, die VM, die für die Smart-Contract-Ausführung genutzt wird, genauer angesehen
Dort wurde es interessant
Rusk ist nicht einfach nur eine normale Ausführungsumgebung mit Privatsphäre oben drauf
Das Design gibt Contracts direkten Zugriff auf kryptografische Operationen, einschließlich Hashing elliptischer-Kurven-Operationen Signaturen und der Verifizierung von Zero-Knowledge-Beweisen
Anfangs dachte ich, das sei nur eine Entwickler-Erleichterung
Dann habe ich verstanden, warum das wichtig ist
Wenn Zero-Knowledge-Beweise etwas sind, das eine Anwendung nur gelegentlich benötigt, kann man sie wie ein zusätzliches Werkzeug behandeln
Aber wenn man Finanzanwendungen baut, bei denen einige Informationen vertraulich bleiben müssen, während das System dennoch beweisen muss, dass die Regeln befolgt wurden, dann wird Kryptografie Teil der eigentlichen Ausführung
Deshalb ergibt es viel mehr Sinn, diese Fähigkeiten näher an die VM zu bringen
Je mehr ich mir das angesehen habe, desto mehr hatte ich das Gefühl, dass Dusk nicht einfach nur fragt:
Wie fügen wir Smart Contracts Privatsphäre hinzu
Die tiefere Frage scheint zu sein:
Wie sollte die Ausführung von Smart Contracts aussehen, wenn Privatsphäre und verifizierbare Berechnung von Anfang an Teil der Aufgabe sind
Das ist ein viel interessanteres Designproblem
Und ehrlich gesagt war das eine dieser Details, die ich wahrscheinlich übersehen hätte, wenn ich nur die übliche Beschreibung „Dusk ist eine Privacy-Blockchain“ gelesen hätte
#dusk $DUSK @Dusk $BR $BTW