<Varför misslyckades ZK och vad vill Succinct förändra?> 1. Medvetenhet om problemet Bitcoin-skaparen Satoshi Nakamoto har uttryckt skepsis mot nollkunskapsbevis (ZKP). "För att bevisa att något inte existerar måste du känna till hela transaktionen", sa han, och bedömde att det är strukturellt svårt att tillämpa ZKP:er på blockkedjor. Men han sa också: "Om vi hittar en lösning kommer det att vara möjligt att implementera Bitcoin mycket bättre, enklare och bekvämare." Med andra ord, samtidigt som de erkände de tekniska begränsningarna med ZK, erkände de att om de åtgärdades skulle de kunna bli en viktig vändpunkt i utvecklingen av blockchain. Nu, flera år senare, har cypherpunk-communityt och ZK-forskare äntligen hittat en lösning. Zcash var först med att tillämpa ZKP på verkliga kryptovalutor, och projekt som StarkWare, zkSync och Scroll har sedan dess 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 zkEVM kräver djup expertis, år av utveckling och högpresterande hårdvara, och de flesta projekt förlitar sig på specifika bevisleverantörer istället för att driva sin egen ZKP-infrastruktur. Som ett resultat förblev ZKP:er ett komplext verktyg som bara ett fåtal kunde hantera snarare än en "teknik som alla kan använda". 2. Vad är kortfattat? Kortfattad (@SuccinctLabs) är ett försök att ta itu med denna fråga direkt. Nyckeln är att förvandla ZKP:er till en infrastruktur som enkelt kan användas av alla utvecklare, och att hjälpa vem som helst att skapa ett "trustless system" utan behov av komplexa kretsar eller infrastruktur. Succinct är en infrastruktur som förvandlar idealet om ett "pålitligt" system som blockchain har strävat efter till en verklighet som faktiskt kan realiseras. Trustless betyder inte "opålitlig", utan hänvisar till en struktur som fungerar på egen hand utan förutsättningen för förtroende, det vill säga ett system som kan vara matematiskt verifierbart utan behov av en tredje part eller central myndighet. Det nuvarande blockchain-ekosystemet är dock fortfarande starkt beroende av förtroende. Bridge-hacks, multisig-operationer och centraliserad delegering av validering är alla bevis på att systemet bara fungerar när vi fortfarande litar på människor och organisationer. Ett försök att bryta igenom denna förtroendebaserade gräns är ZKP, eller Zero-Knowledge Proof-teknik. Denna teknik, som gör det möjligt för oss att matematiskt bevisa att "denna beräkning är korrekt" utan att behöva lita på någon, är helt klart en viktig grund för decentraliserade system. Problemet var att ZKP:er var för komplexa och tunga för att faktiskt skriva. 3. Varför kändes det svårt att ZKP:er? ZKP-tekniken har varit lika hög som sin potential. I synnerhet krävde skapandet av zkEVM ett professionellt team, år av utveckling och dyr infrastruktur. De flesta zk-projekt var tvungna att designa sina egna kretsar, bygga dedikerade zkVM:er och till och med driva hårdvaran själva. Det var först efter att ha gått igenom alla dessa processer som de kunde kalla sig "ZK rollups". Dessutom har traditionella zkVM:er för allmänna ändamål varit mycket ineffektiva när det gäller att generera bevis. Normalt krävdes det ett kluster av dussintals högpresterande maskiner för att bevisa ett block, och kostnaden nådde $10~$20 per block. På grund av denna höga tekniska börda och driftskostnader har många projekt övergett införandet av ZKP:er eller valt strukturer som är beroende av vissa centraliserade bevisleverantörer. 4. Kortfattads försök @SuccinctLabs betraktar dessa strukturella problem som "infrastrukturproblem". ZKP:er är tillräckligt kraftfulla tekniskt, men problemet är vem som implementerar dem, hur och till vilken kostnad. Det är därför Succinct skapar ett decentraliserat bevisnätverk som är lättillgängligt för alla, utan att enskilda projekt behöver driva sin egen bevisinfrastruktur. Utvecklare behöver inte konfigurera komplexa zkVM:er eller tillhandahålla maskinvara. När en begäran om bevis skickas till nätverket lägger probare med olika hårdvara bud på den på ett auktionssätt för att bearbeta den. Beviskostnaderna sjunker naturligtvis genom konkurrens, och prober genererar bevis effektivt med högpresterande utrustning. Resultatet är snabba och billiga bevis för utvecklare och en mycket tillgänglig och censurbeständig bevisinfrastruktur för hela ekosystemet. Succinct demonstrerar inte bara sina tekniska möjligheter, utan bevisar också sin roll inom områden där verklig efterfrågan uppstår. Ett typiskt exempel är flödet "CLOBs on Blobs" som uppstod i @celestia-ekosystemet. Med framväxten av högpresterande decentraliserade orderböcker (CLOBs) ovanpå Celestias blob-utrymme, är storskalig databehandling och snabba tillståndsbevis viktiga infrastrukturbehov. Projekt som Hyperliquid och @hibachi_xyz implementerar komplexa orderbokstransaktioner och prisupptäcktslogik i kedjan, vilket kräver skalbarhet och prestanda utöver enkla sammanslagningar. Det är här Celestias högpresterande datatillgänglighetslager och den decentraliserade ZK-säkra infrastrukturen som tillhandahålls av Succinct krävs. Faktum är att Celestia upplever en snabb ökning av den faktiska användningshastigheten för blobutrymmet, med ZK-infrastruktur som Succinct som tyst bidrar bakom den. Om Celestia tillhandahåller ett "verifierbart datalager" ansvarar Succinct för att skapa en "verifierbar tillståndsövergång" ovanpå dessa data. Denna kombination är utgångspunkten för ZKP-tekniken att gå bortom abstrakta teorier till verkliga system. 5. zkEVM, SP1 och SP1 Reth som kan hanteras av vem som helst Succinct, som löste tillgängligheten i infrastrukturen på detta sätt, utvecklade en zkVM med öppen källkod kallad SP1 (Succinct Processor 1) för att sänka inträdesbarriären för zkVM:erna själva. SP1 är en allmän zkVM implementerad i Rust, designad för att användas direkt av vem som helst utan behov av komplex kretsdesign som traditionella zkEVM:er. Ett tidigt exempel på potentialen hos SP1 är SP1 Reth. SP1 Reth är en typ-1 zkEVM implementerad med bara cirka 2 000 rader Rust-kod, och kan enkelt konstrueras genom att återanvända komponenter från det befintliga Ethereum-klientekosystemet (Reth, Revm, Alloy, etc.). Vad som är ännu mer fantastiskt är dess prestanda. SP1 Reth har en genomsnittlig beviskostnad per Ethereum-transaktion på endast $0,01~0,02, vilket är lägre än de vanliga kostnaderna för datatillgänglighet på L2. Denna prestanda är möjlig tack vare SP1:s "förkompileringssystem". Beräkningsintensiva operationer som hashfunktioner och signaturverifiering hanteras med en föroptimerad struktur, vilket avsevärt minskar de resurser som förbrukas av zkVMs. Hittills har det kostat så mycket som $10~20 per block att implementera zkEVM med zkVMs, men SP1 Reth har lyckats få ner detta till ensiffriga tal. Både SP1 och SP1 Reth är helt öppen källkod, och vem som helst kan gaffla dem för att skapa sin egen zkEVM eller lägga till förkompileringar för att förbättra prestandan. Detta är en förändring som helt vänder upp och ner på den befintliga zk-utvecklingsmiljön med höga kostnader och hög svårighetsgrad och öppnar en era där alla Rust-utvecklare kan delta i zk-systemet. 6. När allt kommer omkring är ZK nu tillgängligt för alla Kortfattad handlar inte bara om den tekniska potentialen hos ZKP-tekniken, utan också om den sista pusselbiten: tillgänglighet och praktiska egenskaper. Utan komplexa kretsar eller dedikerad hårdvara kan vem som helst skapa applikationer med hjälp av ZKP, och beviset hanteras av ett decentraliserat nätverk. En era där alla rollups kan vara ZK-rollups, och Internet som bara fungerar med sanning. Vid den utgångspunkten är Kortfattad och SP1. Nu är ZKP:er allas teknik, inte vissas.