Lass uns über etwas Reales sprechen.
Derzeit ist es auf der öffentlichen Blockchain nicht ungewöhnlich, dass die Geschwindigkeit hoch ist und die Gasgebühren niedrig sind. Was ungewöhnlich ist? Dass es sowohl die On-Chain-Verifizierung als auch den echten Schutz der Privatsphäre bieten kann. Die meisten ZK-Projekte verfolgen den universellen Schaltungsansatz, die Ideale sind groß: ein Beweissystem, das die Entwickler verwenden können, um alles zu beweisen, was sie wollen, maximale Flexibilität.
Klingt wie ein Laptop - kann alles, ist für alles ausreichend.
Aber weißt du, wo das Problem liegt? Universell bedeutet, dass die Komplexität der Schaltungen explodiert, die Kosten für die Generierung extrem hoch sind und die Verifizierungszeit ebenfalls steigt. Für ein Netzwerk, das für jede Transaktion einen ZK-Beweis benötigt, ist dieser Unterschied ein echter Betriebskostenunterschied, nicht nur ein Vergleich von Parametern auf dem Papier.
Midnight @MidnightNetwork hat einen anderen Weg gewählt. Im Whitepaper steht ganz klar: Basierend auf dem Kachina-Protokoll wird der Weg bestimmter Typen von ZK-Schaltungen eingeschlagen, ohne Allgemeinheit zu streben, sondern speziell für private Smart Contracts in diesem bestimmten Szenario optimiert. Mit der Pluto-Eris-Kurve werden BLS-Typen von Beweisen generiert, das gesamte System ist für die Ausführung privater Smart Contracts geschaffen.
Je mehr ich über diese Abwägung nachdenke, desto mehr finde ich sie sinnvoll.
Höhepunkte: Leistung und Sicherheit, es will alles haben.
Kachina ist auf bestimmte Szenarien ausgerichtet, die Schaltungsstruktur kann im Voraus optimiert werden, die Geschwindigkeit der Beweisgenerierung ist schneller und die Verifizierungskosten sind niedriger. Noch wichtiger ist die Sicherheit der Prüfung – die Angriffsfläche eines allgemeinen Systems ist zu groß, die unterstützten Berechnungstypen zu viele, jeder kann neue Schwachstellen einführen. Das spezifische Szenariodesign von Kachina lässt die Prüfgrenzen klar erkennen, die Prüfer wissen, wofür dieses System entworfen wurde, und müssen nicht alle möglichen Berechnungspfade erschöpfen.
Strategische Unterstützung: Die Compact-Sprache verbirgt die Komplexität
Entwickler verwenden Compact zur Erstellung von Verträgen, es basiert auf TypeScript, ist jedoch keine allgemeine Programmiersprachen-ZK-Erweiterung, sondern eine speziell für private Smart-Contract-Szenarien entwickelte domänenspezifische Sprache. Der Compact-Compiler verbirgt die Komplexität der zugrunde liegenden Schaltung vollständig, Entwickler müssen nicht wissen, was Kachina ist, sondern können die Logik einfach mit TypeScript-Denken schreiben.
Wie nennt man das? Das nennt man, die Eintrittsbarrieren für Entwickler zu senken. Nach dem Start des Hauptnetzes wird derjenige, der am schnellsten Entwickler anziehen kann, in der Privatsphäre Fuß fassen können.
Ökologische Erweiterung: Wo liegen die Grenzen spezialisierter Werkzeuge?
Natürlich hat die Abwägung ihren Preis. Die Optimierung von Kachina für private Smart Contracts bedeutet, dass, wenn Entwickler Dinge außerhalb dieses Designrahmens in Midnight tun möchten, das System möglicherweise nicht unterstützt werden kann. Wo liegen die Grenzen spezialisierter Werkzeuge, und was passiert, wenn Anforderungen außerhalb dieser Grenzen auftauchen? Diese Frage wird mit der allmählichen Expansion des Midnight-Ökosystems aufkommen.
Im Whitepaper wird die Upgradefähigkeit von SNARK erwähnt, es wird gesagt, dass das Systemdesign die Möglichkeit einer zukünftigen Ersetzung des Beweissystems berücksichtigt. Aber wie genau das Upgrade funktioniert, wie hoch die Kosten sind und wie die Kompatibilität mit bestehenden Verträgen aussieht, sind derzeit keine Details, die öffentlich sind. Die ZK-Technologie entwickelt sich jetzt sehr schnell, die beste Wahl von heute ist möglicherweise nicht die beste Wahl in drei Jahren, dieses Risiko besteht für alle Projekte, die auf bestimmte Beweissysteme setzen.
Gemeinschaftsstimmung: Von "Kann ich?" zu "Wann?"
In den letzten Tagen hat sich die Stimmung in der Community mit den Nachrichten über das bevorstehende Hauptnetz offensichtlich verändert. Früher wurde diskutiert, ob Midnight laufen kann, jetzt wird diskutiert, wann das Hauptnetz online geht und welche Anwendungen es in der Ökologie geben wird.
Der Start des Hauptnetzes ist kein einfacher Zeitrahmen, sondern ein entscheidender Schritt zur Überprüfung der technischen Fähigkeiten des Teams, der Netzwerkstabilität und der ökologischen Tragfähigkeit. Wenn alles reibungslos verläuft, wird die Rolle von NIGHT gestärkt, von einem Token, das die Aufmerksamkeit des Marktes erhält, allmählich zu einem Kernvermögen im Netzwerkbetrieb und in der ökologischen Nutzung.
Warum ich optimistisch bin
Ich bin sehr optimistisch bezüglich dieses Projekts, da es eine antikonventionelle, aber pragmatische Entscheidung getroffen hat: nicht allgemein zu sein, sondern sich darauf zu konzentrieren, private Smart Contracts gut zu machen.
Mein Laptop ist speziell für die Arbeit unterwegs gedacht, der Desktop bleibt zu Hause für schwere Aufgaben, beide erfüllen ihre Aufgaben, und es ist effizienter, als damals zu denken, dass ich alles mit einem Gerät erledigen kann. Midnight wählt Kachina, das ist diese Logik.
Kurzfristige Preisschwankungen könnten weiterhin von der allgemeinen Marktstimmung beeinflusst werden, aber wirklich interessant ist zu verfolgen, ob das Hauptnetz nach dem Start Entwickler, Anwendungen und Benutzer kontinuierlich anziehen kann. Man sollte sich die ersten gescheiterten Fälle ansehen, das ist der echte Test der Designgrenzen von Kachina.