jakiro
Autor:MO Source: X, @No89THEY -Übersetzung: Shan Oppa, Bitchain Vision
Lassen Sie mich versuchen, diese Frage mit einer Nummer zu beantworten:
Ist es möglich, dass wir zu einem magischen besten Punkt im Kompromissflugzeug konvergieren können?Nein, die Zukunft des überprüfbaren Computing außerhalb des Ketten ist eine kontinuierliche Kurve, die die Grenzen zwischen dediziertem und allgemeinem Zk verwischt.Bitte erlauben Sie mir zu erklären, wie sich diese Begriffe historisch entwickelt haben und wie sie sich in Zukunft verschmelzen werden.
Vor zwei Jahren bedeutete die „professionelle“ ZK-Infrastruktur Low-Level-Rahmenbedingungen wie Circcom, Halo2 und ArkWorks.Die damit erstellte ZK -Anwendung ist im Wesentlichen eine handgeschriebene ZK -Schaltung.Sie sind schnell und kostengünstig für sehr spezifische Aufgaben, sind aber oft schwer zu entwickeln und zu warten.Sie ähneln verschiedene anwendungsspezifische integrierte Schaltungschips (physikalisches Silizium) in der IC-Branche, wie z. B. NAND-Chips und Controller-Chips.
In den letzten zwei Jahren, jedoch,Die „spezialisierte“ ZK -Infrastruktur hat sich zu einer „allgemeineren“ Infrastruktur entwickelt.
Wir haben jetzt ZKML-, ZK-Coprozessoren- und ZKSQL-Frameworks, die einfach zu bedienende und hochprogrammierbare SDKs bieten, mit denen verschiedene Kategorien von ZK-Anwendungen erstellt werden können, ohne eine einzige Zeile von ZK-Schaltungscode zu schreiben.Beispielsweise ermöglicht der ZK -Coprozessor intelligente Verträge, auf historische Blockchain -Zustände/Ereignisse/Transaktionen ohne Vertrauen zuzugreifen und für diese Daten willkürliche Berechnungen durchzuführen.Mit ZKML können intelligente Verträge die Ergebnisse der KI -Inferenz zuverlässig nutzen, um eine Vielzahl von Modellen für maschinelles Lernen zu ermöglichen.
Diese entwickelten Frameworks verbessern die Programmierbarkeit in ihren Zieldomänen erheblich, während die hohe Leistung und niedrige Kosten beibehalten, da die Abstraktionsschicht (SDK/API) dünn und nahe an Bare -Metal -Schaltungen ist.Sie ähneln GPUs, TPUs und FPGAs auf dem IC -Markt: Sie sind Experten auf dem Gebiet der Programmierbarkeit.
ZKVM hat in den letzten zwei Jahren auch große Fortschritte gemacht.Es ist erwähnenswert, dass alle allgemeinen ZKVMs auf einem niedrigen, dedizierten ZK-Framework basieren.Die Idee ist, dass Sie ZK-Anwendungen in hochrangigen Sprachen schreiben können (noch benutzerfreundlicher als SDK/API), die in eine Kombination von speziellen Schaltungen für Anweisungssätze (RISC-V- oder WASM-Klassen) zusammengestellt werden können.In unserer Analogie zur IC -Industrie sind sie wie CPU -Chips.
ZKVM ist eine abstrakte Schicht über dem ZK-Gerüst mit niedrigem Niveau, genau wie der ZK-Coprozessor usw., obwohl eine dickere Schicht.
Wie ein weiser Mann einmal sagte, kann eine Abstraktionsebene jedes Informatikproblem lösen, gleichzeitig ein weiteres Problem erzeugen.Mein Freund, der Kompromiss ist der Name des Spiels hier.Grundsätzlich machen wir für ZKVM einen Kompromiss zwischen Leistung und Vielseitigkeit.
Vor zwei Jahren war ZKVMs „Bare Metal“ -Peformation wirklich schlecht.In nur zwei Jahren hat sich die Leistung von ZKVM jedoch erheblich verbessert.Warum?
Weil diese „universellen“ ZKVMs „professioneller“ geworden sind!Ein wichtiger Bereich der Leistungsverbesserung ergibt sich aus „Vorkompilierung“.Diese Präkompilierer sind spezielle ZK -Schaltungen, die häufig verwendete erweiterte Programme wie SHA2 und verschiedene Signaturüberprüfungen berechnen, viel schneller als der normale Prozess der Aufschlüsselung in Anweisungsschaltungen.
Daher ist der Trend jetzt schon sehr offensichtlich.
Die spezialisierte ZK -Infrastruktur wird immer allgemeiner und verallgemeinerte ZKVM wird immer spezialisierter!
Für beide Lösungen in den letzten Jahren besteht die Optimierung darin, einen besseren Kompromiss als zuvor zu erreichen: Machen Sie es an einem Punkt besser, ohne den anderen zu opfern.Deshalb sind beide Seiten der Meinung, dass „wir definitiv die Zukunft sind“.
Die Informatik Weisheit erzählt uns jedoch alles, was wir irgendwann auf eine „pareto -optimale Wand“ (grüne gepunktete Linie) stoßen werden. In diesem Fall können wir nicht ohne eine andere Funktion zu beeinträchtigen.
Es stellt sich also eine Million -Dollar -Frage: Wird einer zu gegebener Zeit vollständig ersetzen?
Wenn die Analogie der IC -Industrie helfen kann: Der CPU -Marktgröße beträgt 126 Milliarden US -Dollar und die gesamte IC -Branche sowie alle „dedizierten“ ICs 515 Milliarden US -Dollar.Ich glaube, dass auf Mikroebene die Geschichte hier reimen wird und sich nicht gegenseitig ersetzen wird.
Trotzdem sagte heute niemand, dass heute niemand sagte: „Hey, ich benutze einen Computer, der vollständig von einer allgemeinen CPU mit Strom versorgt wird.“
Ja, wir sollten dies tatsächlich aus makroischer Sicht betrachten.
In Zukunft können und werden Domain-Experten der ZK-Infrastruktur und der allgemeinen ZKVM zusammenarbeiten.Dies kann in vielen Formen passieren.
Heutzutage ist der einfachste Weg möglich.Zum Beispiel können Sie den ZK -Coprozessor verwenden, um einige Berechnungsergebnisse zum langen Verlauf der Blockchain -Transaktionen zu generieren. Die Rechengeschäftslogik ist jedoch so komplex, dass Sie ihn nicht einfach in der SDK/API ausdrücken können.
Alles, was Sie tun können, ist, Hochleistungs- und kostengünstige ZK-Beweise für Daten und Zwischenberechnungen zu erhalten und sie dann durch Nachweis in einem verallgemeinerten VM zu bündeln.
Obwohl ich denke, dass diese Arten von Debatten interessant sind, weiß ich, dass wir alle die Zukunft des asynchronen Computers für Blockchains aufbauen, die mit außerordnungsvollem Computer mit nachweisbarem Computer betrieben werden.Wenn wir die Anwendungsfälle sehen, die in den kommenden Jahren von großen Nutzern übernommen werden, glaube ich, dass diese Debatte leicht gelöst werden kann.
