In den letzten Tagen habe ich verschiedene technische Routen der Zero-Knowledge-Beweise untersucht und festgestellt, dass alle über die Kompatibilität von ZK-EVM diskutieren, während nur wenige die Allgemeingültigkeit der Beweisgenerierung beachten. Dusk hat nicht den veralteten Groth16-Algorithmus von Zcash übernommen, sondern verwendet PlonK, was bedeutet, dass für jede Schaltung keine vertrauenswürdige Einrichtung erforderlich ist, was den Entwicklern viel Arbeit erspart. Ich habe den Schaltungskompilierungsprozess lokal durchlaufen, obwohl die Kompilierungsgeschwindigkeit langsamer war als ich dachte, insbesondere der Speicherverbrauch war etwas beängstigend, ich habe fast mein 8G Ultrabook zum Absturz gebracht, aber das erzeugte Beweisvolumen ist tatsächlich recht klein.
Im Vergleich zu StarkNet, das zwar keine vertrauenswürdige Einrichtung benötigt, aber ein enormes Beweisvolumen hat, scheint Dusk offensichtlich besser für bandbreitenbeschränkte mobile Umgebungen geeignet zu sein. Allerdings ist die aktuelle offizielle Dokumentation etwas unklar, viele Parameter sind nicht detailliert erklärt, und man muss sich darauf verlassen, dass man in Discord nachfragt. Diese Technologie ist zwar fortschrittlich, aber wenn die dazugehörigen Entwicklerwerkzeuge nicht mithalten können, wird sie leicht zu einem Spielzeug für Technikbegeisterte. Umgekehrt betrachtet ist es beeindruckend, dass Dusk eine solche Ebene von allgemeinen Zero-Knowledge-Beweisen auf der L1-Ebene nativen integriert und nicht wie Polygon ein komplexes Sidechain-System aufbaut; die architektonische Sauberkeit von Dusk ist respektabel.
