<Warum ist ZK gescheitert und was versucht Succinct zu ändern?>
1. Problembewusstsein
Der Schöpfer von Bitcoin, Satoshi Nakamoto, äußerte Skepsis gegenüber Zero-Knowledge-Proofs (ZKP).
Er erklärte: "Um zu beweisen, dass etwas nicht existiert, muss man die gesamte Transaktion kennen," und schloss daraus, dass die Anwendung von ZKP auf die Blockchain strukturell schwierig ist.
Er erwähnte jedoch auch, dass "wenn eine Lösung gefunden wird, es viel besser, einfacher und bequemer wäre, Bitcoin zu implementieren." Mit anderen Worten, während er die technischen Einschränkungen von ZK anerkennt, räumt er ein, dass es, wenn gelöst, einen bedeutenden Wendepunkt in der Evolution der Blockchain darstellen könnte.
Jahre später haben die Cypherpunk-Community und ZK-Forscher endlich diese Lösung gefunden. Zcash war der erste Fall, der ZKP auf eine echte Kryptowährung anwandte, und nachfolgende Projekte wie StarkWare, zkSync und Scroll haben diese Technologie als ein zentrales Mittel zur Verbesserung der Skalierbarkeit und Verifizierbarkeit von Ethereum entwickelt.
Es gibt jedoch immer noch eine Diskrepanz zur Realität. Die Erstellung eines zkEVM erfordert tiefes Fachwissen, jahrelange Entwicklungszeit und leistungsstarke Hardware, und die meisten Projekte sind letztendlich auf spezifische Proof-Anbieter angewiesen, anstatt ihre eigene ZKP-Infrastruktur zu betreiben. Infolgedessen bleibt ZKP ein komplexes Werkzeug, das nur wenige handhaben können, anstatt eine Technologie zu sein, die jeder nutzen kann.
2. Was ist Succinct?
Succinct (@SuccinctLabs) ist ein Versuch, dieses Problem direkt anzugehen. Seine Kernmission ist es, ZKP in eine Infrastruktur zu verwandeln, die alle Entwickler leicht nutzen können, sodass jeder ein 'vertrauensloses System' ohne komplexe Schaltungen oder Infrastruktur erstellen kann.
Succinct ist eine Infrastruktur, die das Ideal eines 'vertrauenslosen' Systems, das die Blockchain angestrebt hat, in eine praktisch umsetzbare Realität verwandelt. Vertrauenslos bedeutet nicht 'unvertrauenswürdig'; vielmehr bezieht es sich auf eine Struktur, die unabhängig funktioniert, ohne auf Vertrauen angewiesen zu sein, d.h. ein mathematisch verifiziertes System ohne Dritte oder zentrale Autoritäten.
Die aktuelle Blockchain-Ökosystem hingegen ist immer noch stark auf Vertrauen angewiesen. Brücken-Hacks, Multi-Signatur-Operationen und zentralisierte Validatoren-Delegationen dienen alle als Beweis dafür, dass wir immer noch Menschen oder Organisationen vertrauen müssen, damit das System funktioniert.
Der Versuch, diese vertrauensbasierten Einschränkungen zu durchbrechen, ist genau die Technologie der Zero-Knowledge-Proofs (ZKP). Diese Technologie ermöglicht es, mathematisch zu beweisen, dass "diese Berechnung korrekt ist", ohne jemandem zu vertrauen, was sie zu einer grundlegenden Basis für dezentrale Systeme macht. Das Problem war, dass ZKP zu komplex und schwer für die praktische Anwendung ist.
3. Warum war ZKP schwierig?
Die ZKP-Technologie hat hohe Barrieren, die ihrem Potenzial entsprechen. Insbesondere die Erstellung eines zkEVM erfordert ein spezialisiertes Team, jahrelange Entwicklungszeit und kostspielige Infrastruktur. Die meisten zk-Projekte mussten ihre eigenen Schaltungen entwerfen, dedizierte zkVMs bauen und Hardware direkt betreiben. Nur nachdem sie all diese Prozesse durchlaufen hatten, konnten sie behaupten, "ZK-Rollups" zu sein.
Darüber hinaus waren bestehende allgemeine zkVMs sehr ineffizient bei der Generierung von Beweisen. Typischerweise erforderte der Nachweis eines einzelnen Blocks einen Cluster von Dutzenden von Hochleistungsmaschinen, was Kosten von 10 bis 20 Dollar pro Block verursachte. Aufgrund dieser technischen Belastungen und Betriebskosten gaben viele Projekte entweder die Einführung von ZKP ganz auf oder entschieden sich, sich auf einige zentralisierte Proof-Anbieter zu verlassen.
4. Succincts Versuch
@SuccinctLabs betrachtet diese strukturellen Probleme als 'Infrastrukturprobleme'. ZKP ist technisch leistungsstark genug, aber die Frage ist, wer, wie und zu welchen Kosten es implementiert wird. Daher schafft Succinct ein dezentrales Prover-Netzwerk, auf das jeder leicht zugreifen kann, ohne dass einzelne Projekte die Proof-Infrastruktur direkt betreiben müssen.
Entwickler müssen keine komplexen zkVMs einrichten oder Hardware beschaffen. Wenn sie Proof-Anfragen an das Netzwerk senden, bieten verschiedene Prover mit unterschiedlicher Hardware in einer Auktions-ähnlichen Weise an, diese zu verarbeiten. Die Kosten für Beweise sinken durch den Wettbewerb auf natürliche Weise, und Prover generieren effizient Beweise mit Hochleistungsgeräten. Infolgedessen erhalten Entwickler schnelle und kostengünstige Beweise, während das gesamte Ökosystem von einer Proof-Infrastruktur mit hoher Verfügbarkeit und Zensurresistenz profitiert.
Succinct demonstriert nicht nur technische Möglichkeiten; es beweist seine Rolle in Bereichen, in denen tatsächliche Nachfrage entsteht. Ein repräsentatives Beispiel ist das Aufkommen des Trends 'CLOBs on Blobs' im @celestia-Ökosystem. Dezentrale Börsen, die hochleistungsfähige zentrale Limit-Orderbuchmethoden (CLOB) verwenden, erscheinen im Blob-Raum von Celestia, was zu Infrastruktur-Anforderungen für die Verarbeitung großer Datenmengen und schnelle Zustandsbeweise führt.
Projekte wie Hyperliquid und @hibachi_xyz implementieren komplexe Orderbuch-Handels- und Preisfindungslogik on-chain, die Skalierbarkeit und Leistung erfordert, die über einfache Rollups hinausgeht. Was hier benötigt wird, ist Celestias hochleistungsfähige Datenverfügbarkeitschicht und die dezentrale ZK-Proof-Infrastruktur, die von Succinct bereitgestellt wird.
Tatsächlich hat Celestia einen raschen Anstieg der tatsächlichen Nutzung des Blob-Raums erlebt, und dahinter tragen ZK-Infrastrukturen wie Succinct stillschweigend bei. Wenn Celestia 'verifizierbaren Datenspeicher' bereitstellt, ist Succinct dafür verantwortlich, 'verifizierbare Zustandsübergänge' auf diesen Daten zu erstellen. Diese Kombination kann als Ausgangspunkt für die ZKP-Technologie angesehen werden, um von abstrakter Theorie zu einem funktionierenden System in der Realität überzugehen.
5. Ein zkEVM, den jeder handhaben kann, SP1 und SP1 Reth
Durch die Lösung der Zugänglichkeit der Infrastruktur zielt Succinct auch darauf ab, die Eintrittsbarrieren des zkVM selbst zu senken, indem es eine Open-Source-zkVM namens SP1 (Succinct Processor 1) entwickelt. SP1 ist eine allgemeine zkVM, die in Rust implementiert ist und so konzipiert wurde, dass jeder sie direkt nutzen kann, ohne das komplexe Schaltungsdesign, das von bestehenden zkEVMs erforderlich ist.
Ein frühes Beispiel, das das Potenzial von SP1 demonstriert, ist SP1 Reth. SP1 Reth ist ein Typ-1-zkEVM, der mit nur etwa 2.000 Zeilen Rust-Code implementiert ist und leicht konfiguriert werden kann, indem Komponenten aus dem bestehenden Ethereum-Client-Ökosystem (Reth, Revm, Alloy usw.) wiederverwendet werden. Noch erstaunlicher ist seine Leistung. Die durchschnittlichen Kosten für einen Beweis pro Ethereum-Transaktion für SP1 Reth betragen nur etwa 0,01 bis 0,02 Dollar, was niedriger ist als die Datenverfügbarkeitskosten, die normalerweise in L2 anfallen.
Der Grund, warum diese Leistung möglich ist, liegt im 'Precompile'-System, das SP1 besitzt. Es verarbeitet rechenintensive Operationen wie Hash-Funktionen und Signaturüberprüfungen in einer voroptimierten Struktur, wodurch die von der zkVM verbrauchten Ressourcen erheblich reduziert werden. Bis jetzt kostete die Implementierung eines zkEVM mit einer zkVM 10 bis 20 Dollar pro Block, aber SP1 Reth hat es geschafft, dies auf einstellige Beträge zu reduzieren.
Sowohl SP1 als auch SP1 Reth sind vollständig Open-Source und für jeden verfügbar, um sie zu forken und ihre eigene zkEVM zu erstellen oder Precompiles hinzuzufügen, um die Leistung zu verbessern. Dies stellt einen vollständigen Umbruch der bestehenden hochpreisigen, hochkomplexen zk-Entwicklungsumgebung dar und eröffnet eine Ära, in der jeder Rust-Entwickler an zk-Systemen teilnehmen kann.
6. Letztendlich ist ZK jetzt für alle zugänglich
Succinct füllt die letzten Puzzlestücke des Potenzials, der Zugänglichkeit und der Praktikabilität der ZKP-Technologie aus. Ohne komplexe Schaltungen oder dedizierte Hardware kann jeder Anwendungen erstellen, die ZKP nutzen, und die Beweise werden von einem dezentralen Netzwerk verarbeitet.
Wir treten in eine Ära ein, in der alle Rollups ZK-Rollups werden können und das Internet ausschließlich auf Wahrheit basiert. An diesem Ausgangspunkt stehen Succinct und SP1. Jetzt ist ZKP eine Technologie für alle, nicht nur für eine ausgewählte Gruppe.
Original anzeigen



7.843
56
Der Inhalt dieser Seite wird von Dritten bereitgestellt. Sofern nicht anders angegeben, ist OKX nicht der Autor der zitierten Artikel und erhebt keinen Anspruch auf das Urheberrecht an den Materialien. Der Inhalt wird ausschließlich zu Informationszwecken bereitgestellt und gibt nicht die Ansichten von OKX wieder. Er stellt keine wie auch immer geartete Befürwortung dar und sollte nicht als Anlageberatung oder Aufforderung zum Kauf oder Verkauf digitaler Vermögenswerte betrachtet werden. Soweit generative KI zur Bereitstellung von Zusammenfassungen oder anderen Informationen verwendet wird, können solche KI-generierten Inhalte ungenau oder inkonsistent sein. Bitte lesen Sie den verlinkten Artikel für weitere Details und Informationen. OKX ist nicht verantwortlich für Inhalte, die auf Websites Dritter gehostet werden. Der Besitz digitaler Vermögenswerte, einschließlich Stablecoins und NFTs, ist mit einem hohen Risiko verbunden und kann starken Schwankungen unterliegen. Sie sollten sorgfältig abwägen, ob der Handel mit oder der Besitz von digitalen Vermögenswerten angesichts Ihrer finanziellen Situation für Sie geeignet ist.