Auf Dusk hängt es nicht davon ab, wie schnell du broadcastest, ob eine Transaktion vom System als "echte Transaktion" behandelt wird, sondern ob sie die entscheidenden rechtlichen Bedingungen durch Beweise gesperrt hat. Solange der Beweis nicht abgeschlossen ist, existiert diese Transaktion auf der Kette gleichsam nicht.
Der Weg von Dusk ist sehr strikt: Bei der Initiierung einer Transaktion müssen gleichzeitig mehrere Gruppen von Einschränkungen erfüllt sein, und diese Einschränkungen sind keine temporären Bewertungen zur Ausführungszeit, sondern werden direkt in die Beweisbedingungen geschrieben. Wenn der Status der Vermögenswerte nicht stimmt, die Kontobedingungen nicht zutreffen oder die Regelkombination inkohärent ist, wird dies in der Beweisphase abgeschnitten. Es lässt die Transaktion nicht zuerst ausführen und dann zurückrollen und gibt dir keinen Raum für "zuerst Zustand schreiben, dann erklären".
Was mich an Dusk am meisten beeindruckt, ist, dass es auch "Regelkonflikte" als eine Art von beweisbarem Fehlschlag betrachtet. In vielen Systemen treten Regelkonflikte oft erst nach dem Go-Live auf, wenn Benutzer darauf stoßen, und dann wird durch Hotfixes darauf reagiert. Dieses Mechanismus von Dusk zwingt dich, die Regeln vor dem Eintreten der Transaktion klar genug auszudrücken, sonst kann der Beweis nicht generiert werden und die Transaktion kann nicht stattfinden. Mit anderen Worten, das System akzeptiert keine vagen Regeln; es akzeptiert nur Regelmengen, die bewiesen werden können.
Das erklärt auch, warum die Compliance-Logik von Dusk mehr wie "harte Einschränkungen" und nicht wie "weiche Versprechen" aussieht. Compliance ist kein Satz, und auch kein Schalter im Backend, sondern die erste Hürde, die eine Transaktion überwinden muss. Wenn der Schwellenwert nicht überschritten wird, hat die Transaktion nicht einmal die Berechtigung, in den Zustandstransfer einzutreten.
Ich beobachte jetzt die Fortschritte von @dusk_foundation und interessiere mich am meisten dafür, ob dieser Punkt bis zum Ende durchgehalten wird: Ob jede Zustandsänderung zuerst durch die Filterung der Beweisbeschränkungen gehen muss; und ob es einen Weg gibt, der die Beweise umgehen kann, um direkt den Zustand zu schreiben. Solange diese beiden Punkte eingehalten werden, hat Dusk es geschafft, komplexe Regeln in systemische Fakten zu verwandeln und nicht nur in Wünsche, die in Dokumenten festgehalten sind.
