<Waarom faalde ZK en wat wil Succinct veranderen?> 1. Bewustwording van het probleem Bitcoin-maker Satoshi Nakamoto heeft zijn scepsis geuit over zero-knowledge proofs (ZKP's). "Om te bewijzen dat iets niet bestaat, moet je de hele transactie kennen", zei hij, en oordeelde dat het toepassen van ZKP's op blockchains structureel moeilijk is. Hij zei echter ook: "Als we een oplossing vinden, zal het mogelijk zijn om Bitcoin veel beter, gemakkelijker en handiger te implementeren." Met andere woorden, hoewel ze de technische beperkingen van ZK erkenden, erkenden ze dat als ze werden aangepakt, ze een belangrijk keerpunt zouden kunnen zijn in de evolutie van blockchain. Nu, jaren later, hebben de cypherpunk-gemeenschap en ZK-onderzoekers eindelijk een oplossing gevonden. Zcash was de eerste die ZKP toepaste op echte cryptocurrencies, en projecten zoals StarkWare, zkSync en Scroll hebben deze technologie sindsdien ontwikkeld als een belangrijk middel om de schaalbaarheid en verifieerbaarheid van Ethereum te verbeteren. Er is echter nog steeds een gat in de realiteit. Het creëren van zkEVM vereist diepgaande expertise, jarenlange ontwikkeling en krachtige hardware, en de meeste projecten vertrouwen op specifieke bewijsleveranciers in plaats van hun eigen ZKP-infrastructuur te exploiteren. Als gevolg hiervan bleven ZKP's een complex hulpmiddel dat slechts enkelen aankonden, in plaats van een "technologie die iedereen kan gebruiken". 2. Wat is beknopt? Succinct (@SuccinctLabs) is een poging om dit probleem frontaal aan te pakken. De sleutel is om ZKP's om te zetten in een infrastructuur die gemakkelijk door alle ontwikkelaars kan worden gebruikt, en om iedereen te helpen een "betrouwbaar systeem" te creëren zonder de noodzaak van complexe circuits of infrastructuur. Beknopt is een infrastructuur die het ideaal van een 'betrouwbaar' systeem dat blockchain nastreeft, transformeert in een realiteit die daadwerkelijk kan worden gerealiseerd. Trustless betekent niet "onbetrouwbaar", maar verwijst naar een structuur die op zichzelf werkt zonder het uitgangspunt van vertrouwen, dat wil zeggen een systeem dat wiskundig verifieerbaar kan zijn zonder dat er een derde partij of centrale autoriteit nodig is. Het huidige blockchain-ecosysteem is echter nog steeds sterk afhankelijk van vertrouwen. Bridge-hacks, multisig-bewerkingen en gecentraliseerde validatiedelegatie zijn allemaal het bewijs dat het systeem alleen werkt als we mensen en organisaties nog steeds vertrouwen. Een poging om deze op vertrouwen gebaseerde limiet frontaal te doorbreken is ZKP, of Zero-Knowledge Proof-technologie. Deze technologie, die ons in staat stelt wiskundig te bewijzen dat "deze berekening correct is" zonder iemand te hoeven vertrouwen, is duidelijk een belangrijke basis voor gedecentraliseerde systemen. Het probleem was dat ZKP's te complex en te zwaar waren om daadwerkelijk te schrijven. 3. Waarom voelden ZKP's zich moeilijk? ZKP-technologie is zo hoog als zijn potentieel geweest. Met name het maken van zkEVM vereiste een professioneel team, jarenlange ontwikkeling en dure infrastructuur. De meeste zk-projecten moesten hun eigen circuits ontwerpen, speciale zkVM's bouwen en zelfs de hardware zelf bedienen. Pas na al deze processen te hebben doorlopen, konden ze zichzelf "ZK-rollups" noemen. Bovendien zijn traditionele zkVM's voor algemeen gebruik zeer inefficiënt geweest in het genereren van bewijzen. Normaal gesproken vereiste het bewijzen van een blok een cluster van tientallen krachtige machines, en de kosten bereikten $ 10 ~ $ 20 per blok. Vanwege deze hoge technische last en operationele kosten hebben veel projecten de introductie van ZKP's stopgezet of gekozen voor structuren die afhankelijk zijn van een aantal gecentraliseerde bewijsleveranciers. 4. Succinct's poging @SuccinctLabs beschouwt deze structurele problemen als "infrastructurele problemen". ZKP's zijn technisch krachtig genoeg, maar het probleem is wie ze implementeert, hoe en tegen welke prijs. Daarom creëert Succinct een gedecentraliseerd proof-netwerk dat voor iedereen gemakkelijk toegankelijk is, zonder dat individuele projecten hun eigen proof-infrastructuur hoeven te gebruiken. Ontwikkelaars hoeven geen complexe zkVM's in te stellen of hardware te leveren. Wanneer een bewijsverzoek naar het netwerk wordt gestuurd, bieden sondes met verschillende hardware erop op een veilingmanier om het te verwerken. De kosten van bewijzen dalen natuurlijk door concurrentie, en tasters genereren efficiënt bewijzen met hoogwaardige apparatuur. Het resultaat is snelle en goedkope proofs voor ontwikkelaars en een zeer beschikbare en censuurbestendige proof-infrastructuur voor het hele ecosysteem. Succinct demonstreert niet alleen zijn technische mogelijkheden, maar bewijst ook zijn rol in gebieden waar echte vraag ontstaat. Een typisch voorbeeld is de 'CLOBs on Blobs'-stroom die in het @celestia-ecosysteem is ontstaan. Met de opkomst van krachtige gedecentraliseerde orderboeken (CLOB's) bovenop de blobruimte van Celestia, zijn grootschalige gegevensverwerking en snelle state proofs essentiële infrastructuurbehoeften. Projecten zoals Hyperliquid en @hibachi_xyz implementeren complexe orderboektransacties en prijsbepalingslogica on-chain, die schaalbaarheid en prestaties vereisen die verder gaan dan eenvoudige rollups. Dit is waar Celestia's high-performance databeschikbaarheidslaag en de gedecentraliseerde ZK-proof infrastructuur van Succinct nodig zijn. In feite ervaart Celestia een snelle toename van het werkelijke gebruik van de blobruimte, met ZK-infrastructuur zoals Succinct die stilletjes bijdraagt. Als Celestia een "verifieerbare gegevensopslag" biedt, is Succinct verantwoordelijk voor het creëren van een "verifieerbare toestandsovergang" bovenop die gegevens. Deze combinatie is het startpunt voor ZKP-technologie om van abstracte theorieën naar real-world systemen te gaan. 5. zkEVM, SP1 en SP1 Reth die door iedereen kunnen worden gehanteerd Succinct, dat op deze manier de toegankelijkheid van de infrastructuur oploste, ontwikkelde een open-source zkVM genaamd SP1 (Succinct Processor 1) om de toetredingsdrempel voor zkVM's zelf te verlagen. SP1 is een zkVM voor algemeen gebruik geïmplementeerd in Rust, ontworpen om direct door iedereen te worden gebruikt zonder de noodzaak van een complex circuitontwerp zoals traditionele zkEVM's. Een vroeg voorbeeld van het potentieel van SP1 is SP1 Reth. SP1 Reth is een type-1 zkEVM geïmplementeerd met ongeveer 2.000 regels Rust-code en kan eenvoudig worden geconstrueerd door componenten uit het bestaande Ethereum-clientecosysteem (Reth, Revm, Alloy, enz.) te hergebruiken. Wat nog verbazingwekkender is, zijn de prestaties. SP1 Reth heeft gemiddelde proefkosten per Ethereum-transactie van slechts $ 0,01 ~ 0,02, wat lager is dan de gebruikelijke kosten voor het beschikbaar zijn van gegevens op L2. Deze prestaties zijn mogelijk dankzij het 'precompilation'-systeem van SP1. Rekenintensieve bewerkingen zoals hash-functies en handtekeningverificatie worden afgehandeld met een vooraf geoptimaliseerde structuur, waardoor de bronnen die door zkVM's worden verbruikt, aanzienlijk worden verminderd. Tot nu toe kostte het implementeren van zkEVM met zkVM's maar liefst $10~20 per blok, maar SP1 Reth is erin geslaagd dit terug te brengen tot enkele cijfers. Zowel SP1 als SP1 Reth zijn volledig open-source en iedereen kan ze forken om zijn eigen zkEVM te maken of precompilaties toe te voegen om de prestaties te verbeteren. Dit is een verandering die de bestaande dure zk-ontwikkelomgeving met hoge kosten en hoge moeilijkheidsgraden volledig omverwerpt en een tijdperk opent waarin elke Rust-ontwikkelaar kan deelnemen aan het zk-systeem. 6. ZK is nu immers voor iedereen beschikbaar Bij Succinct gaat het niet alleen om de technische mogelijkheden van de ZKP-technologie, maar ook om het laatste stukje van de puzzel: toegankelijkheid en bruikbaarheid. Zonder complexe circuits of speciale hardware kan iedereen applicaties maken met ZKP, en het bewijs wordt afgehandeld door een gedecentraliseerd netwerk. Een tijdperk waarin alle rollups ZK-rollups kunnen zijn, en het internet dat alleen met de waarheid werkt. Op dat startpunt staan Succinct en SP1. Nu zijn ZKP's de technologie van iedereen, niet van sommigen.