Zu Beginn des letzten Jahrhunderts, wenn Sie ein Auto wollten, mussten Sie den bekanntesten Mechaniker in der Gegend aufsuchen. Er würde jedes Zahnrad und jede Stange von Hand nach Ihren Bedürfnissen anfertigen. Wenn das Auto kaputt ging, konnte es niemand außer ihm reparieren, denn die Spezifikationen jedes Teils existierten nur in seinem Kopf. Das nennt man "Handwerk", auch bekannt als "technologische Barriere".
Später kam die Ford-Produktionslinie. Die Teile wurden standardisiert, der Montageprozess wurde transparent. Sind die Mechaniker arbeitslos geworden? Nein, sie wurden zu Chefingenieuren, und die Menschen, die sich zuvor kein Auto leisten konnten, fuhren nun alle ein T-Modell.
Die aktuelle ZK (Zero-Knowledge Proof) Entwicklung befindet sich in der rauen Ära der "Handwerkstätten".
Eins, die teuren "Kryptologie-Priester"
In der Blockchain-Community stehen ZK-Entwickler an der Spitze der Pyramide. Sie sind wie eine Gruppe von "Priestern", die alte Zaubersprüche beherrschen und die elliptischen Kurven, polynomialen Verpflichtungen und R1CS-Schaltungen bewachen, von denen normale Menschen noch nie gehört haben.
Wenn du ein gewöhnlicher Web3-Entwickler bist und deiner Anwendung eine Funktion für "anonyme Abstimmungen" oder "anonyme Offenlegung" hinzufügen möchtest, gibt es nur zwei Wege für dich:
Hartnäckig in der Mathematik: Zwei bis drei Jahre damit verbringen, sich durch die obskuren kryptographischen Papiere zu kämpfen, bevor man mit dem Programmieren beginnt, und sich selbst zu einem halben Mathematiker zu machen.
Teure Talente anwerben: Unmengen Geld ausgeben, um einige der weltweit wenigen ZK-Experten zu engagieren.
Das Ergebnis ist offensichtlich. Die meisten Teams haben sich die Rechnungen und Zeitpläne angesehen und schließlich seufzten sie: "Na gut, Datenschutz oder nicht, das besprechen wir später." Das ist der Grund, warum die ZK-Branche gut klingt, aber nicht zur Sache kommt – die Technologie ist zu heilig, die Hürde ist zu hoch.
Zwei, gewaltsame Auflösung: Compacts "Dimensionenreduzierung"
@MidnightNetwork Die Compact-Sprache, an der wir arbeiten, ist im Grunde eine "Entheiligungsbewegung".
Wenn die traditionelle ZK-Entwicklung "Handgeschliffene Linsen" ist, dann bietet Compact "vollautomatische Schleifmaschinen".
Compacts Schlauheit liegt darin, dass es nicht eine hochgestochene neue Sprache erfunden hat, sondern sich entschieden hat, auf TypeScript zu "parasitieren". Das ist eine extrem gerissene und pragmatische Strategie. Was ist TypeScript? Es ist die Muttersprache der Front-End-Entwickler, die am weitesten verbreitete Schraube der Internetindustrie.
Die Flachheit von ZK durch Compact zeigt sich in drei Ebenen der "Auflösung":
Logische Auflösung: Entwickler müssen nicht mehr darüber nachdenken, "wie man Geschäftslogik in polynomiale Einschränkungen umwandelt". Man muss nur die vertrauten if-else, Schleifen und Funktionen verwenden, um die Geschäftsregeln zu beschreiben, den Rest überlässt man dem Compiler.
Identitätsauflösung: Früher brauchte man einen "Kryptologie-Experten", jetzt braucht man nur noch einen "Programmierer mit etwas Logikverständnis". Das bedeutet, dass die organisatorischen Kosten für die Entwicklung von Datenschutzanwendungen von "nach Einhörnern suchen" auf "einen Facharbeiter einstellen" gesenkt wurden.
Mentale Auflösung: Wenn du Code schreibst, musst du dir keine Sorgen über die Stabilität der zugrunde liegenden mathematischen Beweise machen. Der Compiler von Compact generiert automatisch die zugrunde liegende Schaltungsbeschreibung und Beweismaterialien für dich. Das ist so, als würdest du in einer Hochsprache programmieren, ohne dir Gedanken darüber zu machen, wie die Register der CPU agieren.
Drei, das "Erdbeben" in der Marktstruktur
Wie das Video, das dir zeigt, wie du dein Handy wechselst, zeigt, wenn eine "schwierige Sache" zu "einfach" wird, sind die Veränderungen, die eintreten, weit mehr als nur Effizienz.
Zuerst ist der Zusammenbruch der Preissetzungsrechte.
Früher konnten ZK-Projekte astronomische Finanzierungsrunden anstreben, ein großer Teil des Grundes war die "Talentknappheit". Wenn Compact es zehn Millionen TypeScript-Entwicklern ermöglicht, Datenschutzverträge zu schreiben, wird diese Prämie schnell sinken. Das "Mysterium" der Technologie ist verschwunden, stattdessen gibt es "Wettbewerb um Anwendungsszenarien".
Zweitens die "Explosion der Arten" im Anwendungsecosystem.
Warum gibt es derzeit so wenige ZK-Anwendungen? Weil die Kosten zu hoch sind, wagen es die Leute nur in hochpreisigen und hochprofitablen Bereichen wie Finanzen (DeFi) zu experimentieren. Aber wenn die Entwicklungskosten auf ein Zehntel der ursprünglichen Kosten sinken, werden sich die Szenarien, die "nicht so viel Gewinn abwerfen, aber sehr nützlich sind", entwickeln:
Ein anonymes Mitarbeiterevaluierungssystem.
Ein dezentrales Social-Credit-Protokoll, das auf Datenschutzschutz basiert.
Ein Darlehensbeweis, der keine Offenlegung des Kontostands erfordert, um die Vermögensfähigkeit zu beweisen.
Diese Dinge waren in der "manuellen Ära" nicht möglich, weil die Investitionen in Forschung und Entwicklung sich überhaupt nicht amortisieren ließen. Aber nach der Verbreitung von Compact werden all diese Dinge zu "kleinen Plug-ins", die leicht zu handhaben sind.
Vier, der "Todestal" zwischen Ideal und Realität
Aber um es klar zu sagen, nachdem ich den Bildschirm meines Handys gewechselt habe, stellte ich ein Problem fest: Obwohl der Bildschirm gewechselt wurde, war der Dichtstoff nicht gleichmäßig aufgetragen, die Wasserdichtigkeit war fast hinüber. Das ist die Nebenwirkung der "Flachheit" – die Hürde ist gesenkt, bedeutet aber nicht, dass es keine Fallen gibt.
Midnight's Compact steht vor derselben Herausforderung. Egal wie schön das Whitepaper geschrieben ist, egal wie intelligent der Compiler übersetzt, wenn die Effizienz der erzeugten Schaltungen niedrig ist (Proof-Größe zu groß oder Verifizierungszeit zu lang) oder Sicherheitsanfälligkeiten unter extremen Randbedingungen auftreten, werden Entwickler dennoch zögern, in großem Maßstab zu migrieren.
Entwickler sind eine sehr pragmatische Gruppe von Menschen. Ihre Toleranz gegenüber Werkzeugen ist extrem niedrig:
Dokumentation: Wenn ich einen Fehler suche und keine Lösung finde, gehe ich sofort.
Debugging: Wenn ich die Logik falsch schreibe und der Compiler mir den Hinweis "Unbekannter Fehler" gibt, werde ich auf jeden Fall die Tastatur zertrümmern.
Kompatibilität: Kann es nahtlos in meinen bestehenden Entwicklungsfluss integriert werden?
Midnight sagt, sie werden eine vollständige Entwicklungsumgebung und Unterstützung bereitstellen, das klingt sehr vielversprechend, aber das echte Schlachtfeld sind die ersten drei Monate nach dem Launch des Hauptnetzes. In dieser Zeit entscheidet, wie schnell die Bugs in der Community behoben werden und wie oft die Tutorials aktualisiert werden, ob es zum nächsten Branchenstandard wird oder zu einem "cool aussehenden, aber ungenutzten Labor-Spielzeug".
Fünf, Fazit: Die Zukunft nach der Flachheit
Ich habe immer geglaubt, dass ein Zeichen für die Reife einer Technologie ist, dass sie "unauffällig" wird.
Wenn du auf Taobao einkaufst, musst du nicht wissen, wie die zugrunde liegende verteilte Datenbank aufgeteilt wird; wenn du eine Webseite öffnest, musst du nicht wissen, wie das TCP/IP-Protokoll handshake macht. ZK sollte auch so sein.
Das Ziel von Compact sollte sein, dass der Begriff "Zero-Knowledge Proof" aus den Diskussionen der Entwickler verschwindet. Die Leute diskutieren nicht mehr darüber, "wie man eine ZK-Schaltung schreibt", sondern darüber, "welche Funktionen mein Datenschutzvertrag implementiert".
So wie es in den Kommentaren zu dem Bildschirmwechsel-Video gesagt wird: "Oh, so ist das, ich kann es auch schreiben."
Wenn dieser Tag wirklich kommt, hat die Erzählung der Datenschutzanwendungen erst richtig begonnen. Ob es funktioniert, werden wir nicht an PPTs messen, sondern an den GitHub-Beiträgen nach dem Launch der Hauptnetz.
