<Warum ist ZK gescheitert und was will Succinct ändern?> 1. Problembewusstsein Der Bitcoin-Schöpfer Satoshi Nakamoto hat sich skeptisch gegenüber Zero-Knowledge-Proofs (ZKPs) geäußert. "Um zu beweisen, dass etwas nicht existiert, muss man die gesamte Transaktion kennen", sagte er und urteilte, dass die Anwendung von ZKPs auf Blockchains strukturell schwierig ist. Er sagte jedoch auch: "Wenn wir eine Lösung finden, wird es möglich sein, Bitcoin viel besser, einfacher und bequemer zu implementieren." Mit anderen Worten, obwohl sie die technischen Grenzen von ZK erkannten, erkannten sie an, dass sie, wenn sie angegangen würden, ein wichtiger Wendepunkt in der Entwicklung der Blockchain sein könnten. Jetzt, Jahre später, haben die Cypherpunk-Community und die ZK-Forscher endlich eine Lösung gefunden. Zcash war das erste Unternehmen, das ZKP auf reale Kryptowährungen anwendete, und Projekte wie StarkWare, zkSync und Scroll haben diese Technologie seitdem als Schlüsselmittel entwickelt, um die Skalierbarkeit und Überprüfbarkeit von Ethereum zu verbessern. In der Realität klafft jedoch noch eine Lücke. Die Entwicklung von zkEVM erfordert fundiertes Fachwissen, jahrelange Entwicklung und leistungsstarke Hardware, und die meisten Projekte verlassen sich auf spezifische Nachweisanbieter, anstatt eine eigene ZKP-Infrastruktur zu betreiben. Infolgedessen blieben ZKPs ein komplexes Werkzeug, mit dem nur wenige umgehen konnten, und keine "Technologie, die jeder nutzen kann". 2. Was ist Succinct? Succinct (@SuccinctLabs) ist ein Versuch, dieses Problem direkt anzugehen. Der Schlüssel liegt darin, ZKPs in eine Infrastruktur zu verwandeln, die von allen Entwicklern einfach genutzt werden kann, und jedem zu helfen, ein "vertrauenswürdiges System" zu erstellen, ohne dass komplexe Schaltkreise oder Infrastrukturen erforderlich sind. Succinct ist eine Infrastruktur, die das Ideal eines "vertrauenslosen" Systems, das Blockchain verfolgt hat, in eine Realität verwandelt, die tatsächlich realisiert werden kann. Trustless bedeutet nicht "nicht vertrauenswürdig", sondern bezieht sich auf eine Struktur, die für sich allein ohne die Prämisse des Vertrauens funktioniert, d.h. ein System, das mathematisch überprüfbar sein kann, ohne dass eine dritte Partei oder eine zentrale Instanz erforderlich ist. Das derzeitige Blockchain-Ökosystem ist jedoch immer noch stark auf Vertrauen angewiesen. Bridge-Hacks, Multisig-Operationen und zentralisierte Validator-Delegation sind allesamt Beweise dafür, dass das System nur funktioniert, wenn wir Menschen und Organisationen noch vertrauen. Ein Versuch, diese vertrauensbasierte Grenze frontal zu durchbrechen, ist die ZKP- oder Zero-Knowledge-Proof-Technologie. Diese Technologie, die es uns ermöglicht, mathematisch zu beweisen, dass "diese Berechnung korrekt ist", ohne jemandem vertrauen zu müssen, ist eindeutig eine wichtige Grundlage für dezentrale Systeme. Das Problem war, dass ZKPs zu komplex und zu schwer waren, um sie tatsächlich zu schreiben. 3. Warum haben sich ZKPs schwierig angefühlt? Die ZKP-Technologie war so hoch wie ihr Potenzial. Insbesondere die Entwicklung von zkEVM erforderte ein professionelles Team, jahrelange Entwicklung und eine teure Infrastruktur. Die meisten zk-Projekte mussten eigene Schaltungen entwerfen, dedizierte zkVMs bauen und sogar die Hardware selbst betreiben. Erst nachdem sie all diese Prozesse durchlaufen hatten, konnten sie sich "ZK-Rollups" nennen. Darüber hinaus waren herkömmliche Allzweck-zkVMs bei der Generierung von Beweisen äußerst ineffizient. Normalerweise erforderte der Nachweis eines Blocks einen Cluster von Dutzenden von Hochleistungsmaschinen, und die Kosten erreichten 10 $ ~ 20 $ pro Block. Aufgrund dieser hohen technischen Belastung und der Betriebskosten haben viele Projekte die Einführung von ZKPs aufgegeben oder sich für Strukturen entschieden, die auf einige zentralisierte Nachweisanbieter angewiesen sind. 4. Der Versuch von Succinct @SuccinctLabs betrachtet diese strukturellen Probleme als "Infrastrukturprobleme". ZKPs sind technisch leistungsfähig genug, aber das Problem ist, wer sie wie und zu welchen Kosten implementiert. Aus diesem Grund schafft Succinct ein dezentrales Proof-Netzwerk, das für jeden leicht zugänglich ist, ohne dass einzelne Projekte eine eigene Proof-Infrastruktur betreiben müssen. Entwickler müssen keine komplexen zkVMs einrichten oder Hardware bereitstellen. Wenn eine Proof-Anfrage an das Netzwerk gesendet wird, bieten Prober mit unterschiedlicher Hardware in einer Auktion darauf, um sie zu verarbeiten. Die Kosten für Proofs sinken natürlich durch den Wettbewerb, und die Prüfer generieren effizient Proofs mit Hochleistungsgeräten. Das Ergebnis sind schnelle und günstige Proofs für Entwickler und eine hochverfügbare und zensurresistente Proof-Infrastruktur für das gesamte Ökosystem. Succinct demonstriert nicht nur seine technischen Möglichkeiten, sondern auch seine Rolle in Bereichen, in denen echter Bedarf entsteht. Ein typisches Beispiel ist der "CLOBs on Blobs"-Flow, der im @celestia Ökosystem entstanden ist. Mit dem Aufkommen von hochleistungsfähigen dezentralen Orderbüchern (CLOBs) auf dem Blob-Bereich von Celestia sind groß angelegte Datenverarbeitung und schnelle Zustandsnachweise wesentliche Infrastrukturanforderungen. Projekte wie Hyperliquid und @hibachi_xyz implementieren komplexe Orderbuchtransaktionen und Preisfindungslogik in der Kette, was Skalierbarkeit und Leistung erfordert, die über einfache Rollups hinausgeht. Hier sind der performante Data Availability Layer von Celestia und die dezentrale ZK-Proof-Infrastruktur von Succinct gefragt. Tatsächlich erlebt Celestia einen rapiden Anstieg der tatsächlichen Nutzungsrate des Blob-Speichers, wobei die ZK-Infrastruktur wie Succinct still und leise dazu beiträgt. Wenn Celestia einen "verifizierbaren Datenspeicher" bereitstellt, ist Succinct dafür verantwortlich, einen "überprüfbaren Zustandsübergang" auf diesen Daten zu erstellen. Diese Kombination ist der Ausgangspunkt für die ZKP-Technologie, um von abstrakten Theorien zu realen Systemen überzugehen. 5. zkEVM, SP1 und SP1 Reth, die von jedem bedient werden können Succinct, das auf diese Weise die Zugänglichkeit der Infrastruktur löste, entwickelte eine Open-Source-zkVM namens SP1 (Succinct Processor 1), um die Einstiegshürde für zkVMs selbst zu senken. SP1 ist eine in Rust implementierte Allzweck-zkVM, die so konzipiert ist, dass sie direkt von jedermann verwendet werden kann, ohne dass ein komplexes Schaltungsdesign wie bei herkömmlichen zkEVMs erforderlich ist. Ein frühes Beispiel für das Potenzial von SP1 ist SP1 Reth. SP1 Reth ist ein Typ-1-zkEVM, der mit nur etwa 2.000 Zeilen Rust-Code implementiert wurde und einfach durch die Wiederverwendung von Komponenten aus dem bestehenden Ethereum-Client-Ökosystem (Reth, Revm, Alloy usw.) erstellt werden kann. Was noch erstaunlicher ist, ist seine Leistung. SP1 Reth hat durchschnittliche Proof-Kosten pro Ethereum-Transaktion von nur 0,01 $~0,02, was niedriger ist als die üblichen Kosten für die Datenverfügbarkeit auf L2. Diese Leistung ist dank des "Precompilation"-Systems von SP1 möglich. Rechenintensive Operationen wie Hash-Funktionen und Signaturprüfung werden mit einer voroptimierten Struktur abgewickelt, wodurch der Ressourcenverbrauch von zkVMs deutlich reduziert wird. Bisher hat die Implementierung von zkEVM mit zkVMs bis zu 10~20 $ pro Block gekostet, aber SP1 Reth ist es gelungen, dies auf einen einstelligen Bereich zu senken. Sowohl SP1 als auch SP1 Reth sind vollständig Open Source, und jeder kann sie forken, um sein eigenes zkEVM zu erstellen oder Vorkompilierungen hinzuzufügen, um die Leistung zu verbessern. Dies ist eine Änderung, die die bestehende kostenintensive und schwierigkeitsreiche zk-Entwicklungsumgebung komplett auf den Kopf stellt und eine Ära einläutet, in der jeder Rust-Entwickler am zk-System teilnehmen kann. 6. Immerhin ist ZK jetzt für alle verfügbar Bei Succinct geht es nicht nur um das technische Potenzial der ZKP-Technologie, sondern auch um das letzte Puzzleteil: Zugänglichkeit und Praktikabilität. Ohne komplexe Schaltkreise oder dedizierte Hardware kann jeder Anwendungen mit ZKP erstellen, und der Nachweis wird von einem dezentralen Netzwerk übernommen. Eine Ära, in der alle Rollups ZK-Rollups sein können, und das Internet, das nur mit der Wahrheit funktioniert. An diesem Ausgangspunkt befinden sich Succinct und SP1. Nun, ZKPs sind die Technologie von allen, nicht von einigen.