Succinct ist ein Protokoll auf Ethereum, das eine verteilte Gruppe unabhängiger Prover organisiert, um auf Abruf Zero-Knowledge-Proofs (ZKPs) zu erzeugen. Indem die Proof-Erzeugung zu einem geteilten Dienst gemacht wird, macht Succinct ZKPs schneller, günstiger und einfacher in jede Anwendung — on-chain wie off-chain — zu integrieren.
Das Netzwerk fungiert als dezentraler Marktplatz. Entwickler und Anwendungen, die einen ZK-Beweis benötigen, stellen eine Anfrage. Ein wettbewerbsfähiges Netzwerk von Provern bietet dann für die Erfüllung dieser Anfrage. Anstatt teure, spezialisierte Hardware und komplexe Software-Pipelines zu bauen und zu betreiben, können Teams einfach auf diese gemeinsame Infrastruktur zugreifen. Das senkt die Betriebskosten drastisch und hilft Entwicklern, ZK-gestützte Funktionen wie Datenschutz, Skalierbarkeit und verifizierbare Berechnungen viel schneller auszuliefern.
SP1 ist eine allgemeine Zero-Knowledge-Virtual-Machine (zkVM), die Entwicklern erlaubt, vertrauten Code — etwa in Rust oder C++ — zu schreiben und in Programme zu kompilieren, die Prover ausführen können, um ZKPs zu erzeugen. Das bedeutet, dass Teams keine komplizierten arithmetischen Schaltkreise oder maßgeschneiderten ZK-Stacks entwerfen müssen. Sie schreiben, kompilieren und übermitteln Programme; Prover führen diese unter SP1 aus und liefern einen Beweis, dass die Berechnung korrekt ausgeführt wurde, ohne private Eingaben offenzulegen.
Das System verbindet zwei Hauptakteure: Requester (Apps, die Proofs benötigen) und Prover (Knoten, die Proofs erzeugen). Wenn eine Proof-Aufgabe eingestellt wird, bewerten Prover sie und geben Angebote ab — sie konkurrieren um Preis, Geschwindigkeit oder Reputation — sodass Requester den jeweils besten Service wählen können.
Matching und Bidding erfolgen Off-Chain über eine schnelle Auktionsschicht, die auf RPC-ähnlicher Nachrichtenübermittlung basiert. Das hält die Latenz niedrig und vermeidet das Warten auf Blockbestätigungen, sodass Prover Aufgaben in Echtzeit sehen und beantworten können.
Obwohl das Matching Off-Chain stattfindet, werden Ergebnisse und Integrität auf Ethereum verankert. Der Auktionär und die Prover-Dienste übermitteln kryptographische Beweise und Zustands-Commitments an On-Chain-Verträge, die Gelder halten und es jedem ermöglichen, die Korrektheit von Aufgabenvergabe und Zahlungen zu überprüfen.
Das gesamte System ist auf Transparenz und unabhängige Verifikation ausgelegt. Der Auktionär führt ein klares, prüfbares Protokoll aller Anfragen, Salden und abgeschlossenen Jobs und nutzt kryptographische Techniken wie Merkle-Commitments, um seine Integrität nachzuweisen. Ein separater Prover-Dienst liest diesen Zustand, erzeugt mit SP1 einen ZK-Beweis und stellt diesen finalen Beweis On-Chain. So kann jeder Dritte bestätigen, dass das Netzwerk genau wie vorgesehen arbeitet.
Das Protokoll nutzt einen ERC-20-Utility-Token, PROVE, um Anreize im Netzwerk auszurichten. Typische Rollen des Tokens sind:
Die Nutzung eines externen Prover-Netzwerks nimmt viel von der Schwerarbeit beim Betrieb von Proof-Infrastruktur ab, aber Teams sollten trotzdem Latenz, Preisgestaltung und die ökonomische Sicherheit durch Staking und On-Chain-Abwicklung bewerten. Die Überwachung veröffentlichter On-Chain-Beweise und das Verständnis der Auktionsdynamiken sind wichtig, um dem Service-Modell zu vertrauen und die gewünschten SLAs für Produktionssysteme sicherzustellen.
Durch die Kombination eines Marktplatzes von Provern, einer entwicklerfreundlichen zkVM (SP1) und einer On-Chain-Abwicklungsschicht zielt die Succinct-Architektur darauf ab, Zero-Knowledge-Proofs für reale Anwendungen zugänglicher zu machen. Dieser Ansatz senkt technische Hürden und verteilt Kosten sowie Komplexität der Proof-Erzeugung über ein dezentrales Netzwerk, sodass Entwickler leichter Datenschutz, Skalierbarkeit und verifizierbare Berechnung in ihre Produkte integrieren können.