<Varför misslyckades ZK och vad försöker Succinct förändra?> 1. Problemmedvetenhet Bitcoins skapare, Satoshi Nakamoto, uttryckte skepsis mot Zero-Knowledge Proofs (ZKP). Han sa: "För att bevisa att något inte existerar måste du känna till hela transaktionen", och drog slutsatsen att det är strukturellt svårt att tillämpa ZKP på blockchain. Men han nämnde också att "om en lösning hittas skulle det vara mycket bättre, enklare och bekvämare att implementera Bitcoin." Med andra ord, samtidigt som han erkände de tekniska begränsningarna med ZK, erkände han att om det löses kan det bli en viktig vändpunkt i utvecklingen av blockchain. Flera år senare har cypherpunk-communityt och ZK-forskare äntligen hittat den lösningen. Zcash var det första fallet som tillämpade ZKP på en riktig kryptovaluta, och efterföljande projekt som StarkWare, zkSync och Scroll har utvecklat denna teknik som ett viktigt sätt att förbättra Ethereums skalbarhet och verifierbarhet. Det finns dock fortfarande en lucka i verkligheten. Att skapa en zkEVM kräver djup expertis, år av utvecklingstid och högpresterande hårdvara, och de flesta projekt slutar med att förlita sig på specifika bevisleverantörer istället för att driva sin egen ZKP-infrastruktur. Som ett resultat är ZKP fortfarande ett komplext verktyg som bara ett fåtal kan hantera snarare än en teknik som alla kan använda. 2. Vad är kortfattat? Kortfattad (@SuccinctLabs) är ett försök att direkt ta itu med det här problemet. Dess kärnuppdrag är att omvandla ZKP till en infrastruktur som alla utvecklare enkelt kan använda, vilket gör det möjligt för vem som helst att skapa ett "pålitligt system" utan komplexa kretsar eller infrastruktur. Succinct är en infrastruktur som förvandlar idealet om ett "Trustless"-system, som blockchain har eftersträvat, till en praktiskt genomförbar verklighet. Trustless betyder inte "opålitlig"; Snarare hänvisar det till en struktur som fungerar oberoende utan att förlita sig på förtroende, det vill säga ett matematiskt verifierbart system utan tredje part eller centrala myndigheter. Det nuvarande blockkedjeekosystemet är dock fortfarande starkt beroende av förtroende. Bridge-hacks, operationer med flera signaturer och centraliserade valideringsdelegeringar fungerar alla som bevis på att vi fortfarande måste lita på människor eller organisationer för att systemet ska fungera. Försöket att bryta igenom dessa förtroendebaserade begränsningar är just Zero-Knowledge Proof (ZKP) -tekniken. Denna teknik gör det möjligt att matematiskt bevisa att "denna beräkning är korrekt" utan att lita på någon, vilket gör den till en grundläggande grund för decentraliserade system. Problemet har varit att ZKP är för komplext och tungt för praktisk användning. 3. Varför kändes ZKP svårt? ZKP-tekniken har höga barriärer lika mycket som dess potential. Att skapa en zkEVM kräver i synnerhet ett specialiserat team, år av utvecklingstid och kostsam infrastruktur. De flesta zk-projekt var tvungna att designa sina egna kretsar, bygga dedikerade zkVM:er och köra hårdvara direkt. Först efter att ha gått igenom alla dessa processer kunde de hävda att de var "ZK rollups". Dessutom var befintliga zkVM:er för allmänna ändamål mycket ineffektiva när det gällde att generera bevis. Vanligtvis krävde bevisning av ett enda block ett kluster av dussintals högpresterande maskiner, vilket kostade $10 till $20 per block. På grund av dessa tekniska bördor och driftskostnader övergav många projekt antingen införandet av ZKP helt och hållet eller valde att förlita sig på vissa centraliserade bevisleverantörer. 4. Kortfattads försök @SuccinctLabs betraktar dessa strukturella frågor som "infrastrukturproblem". ZKP är tillräckligt tekniskt kraftfullt, men frågan är vem, hur och till vilken kostnad det implementeras. Därför skapar Succinct ett decentraliserat provnätverk som vem som helst enkelt kan komma åt utan att enskilda projekt behöver driva bevisinfrastruktur direkt. Utvecklare behöver inte konfigurera komplexa zkVM:er eller skaffa maskinvara. När de skickar bevisförfrågningar till nätverket bjuder olika bevisare med olika hårdvara på att bearbeta dem på ett auktionsliknande sätt. Provkostnaderna minskar naturligtvis genom konkurrens, och provare genererar effektivt provtryck med hjälp av högpresterande utrustning. Som ett resultat får utvecklare snabba och billiga bevis, medan hela ekosystemet drar nytta av en bevisinfrastruktur med hög tillgänglighet och censurmotstånd. Succinct visar inte bara tekniska möjligheter; Den bevisar sin roll i områden där den faktiska efterfrågan uppstår. Ett representativt exempel är framväxten av trenden "CLOBs on Blobs" i det @celestia ekosystemet. Decentraliserade börser som använder högpresterande CLOB-metoder (Central Limit Order Book) dyker upp på Celestias blobutrymme, vilket leder till infrastrukturkrav för storskalig databehandling och snabba tillståndsbevis. Projekt som Hyperliquid och @hibachi_xyz implementerar komplex orderbokshandel och prisupptäcktslogik i kedjan, vilket kräver skalbarhet och prestanda utöver enkla sammanslagningar. Det som behövs här är Celestias högpresterande datatillgänglighetslager och den decentraliserade ZK-säkra infrastrukturen som tillhandahålls av Succinct. Faktum är att Celestia har sett en snabb ökning av den faktiska användningen av blobutrymme, och bakom detta bidrar ZK-infrastrukturer som Succinct i tysthet. Om Celestia tillhandahåller en "verifierbar datalagring" är Succinct ansvarig för att skapa "verifierbara tillståndsövergångar" på dessa data. Denna kombination kan ses som startpunkten för ZKP-teknikens övergång från abstrakt teori till ett fungerande system i verkligheten. 5. En zkEVM som alla kan hantera, SP1 och SP1 Reth Genom att lösa tillgängligheten till infrastrukturen syftar Succinct också till att sänka inträdesbarriärerna för zkVM i sig genom att utveckla en zkVM med öppen källkod som heter SP1 (Succinct Processor 1). SP1 är en allmän zkVM implementerad i Rust, designad för vem som helst att använda direkt utan den komplexa kretsdesign som krävs av befintliga zkEVM:er. Ett tidigt exempel som visar potentialen hos SP1 är SP1 Reth. SP1 Reth är en typ-1 zkEVM implementerad med bara cirka 2 000 rader Rust-kod, som enkelt konfigureras genom att återanvända komponenter från det befintliga Ethereum-klientekosystemet (Reth, Revm, Alloy, etc.). Ännu mer häpnadsväckande är dess prestanda. Den genomsnittliga beviskostnaden per Ethereum-transaktion för SP1 Reth är endast cirka $0,01 till $0,02, vilket är lägre än de kostnader för datatillgänglighet som vanligtvis uppstår i L2. Anledningen till att denna prestanda är möjlig beror på det "förkompilera" system som SP1 har. Den bearbetar beräkningsintensiva operationer som hashfunktioner och signaturverifieringar i en föroptimerad struktur, vilket avsevärt minskar de resurser som förbrukas av zkVM. Hittills har implementering av zkEVM med en zkVM kostat $10 till $20 per block, men SP1 Reth har lyckats minska detta till ensiffriga siffror. Både SP1 och SP1 Reth är helt öppen källkod och tillgängliga för vem som helst att gaffla och skapa sin egen zkEVM eller lägga till förkompileringar för att förbättra prestandan. Detta representerar en fullständig omvälvning av den befintliga högkostnads- och svårighetsgraden zk-utvecklingsmiljö, vilket öppnar en era där alla Rust-utvecklare kan delta i zk-system. 6. I slutändan är ZK nu tillgängligt för alla Kortfattat fyller i de sista pusselbitarna av ZKP-teknikens potential, tillgänglighet och praktiska egenskaper. Utan komplexa kretsar eller dedikerad hårdvara kan vem som helst skapa applikationer med hjälp av ZKP, och bevisen bearbetas av ett decentraliserat nätverk. Vi är på väg in i en era där alla rollups kan bli ZK-rollups, och internet fungerar enbart på sanning. Utgångspunkten för detta är Kortfattad och SP1. Nu är ZKP en teknik för alla, inte bara några få utvalda.