<Hvorfor mislyktes ZK, og hva prøver Succinct å endre?> 1. Bevissthet om problemer Bitcoins skaper, Satoshi Nakamoto, uttrykte skepsis til Zero-Knowledge Proofs (ZKP). Han uttalte: "For å bevise at noe ikke eksisterer, må du kjenne til hele transaksjonen," og konkluderte med at det er strukturelt vanskelig å bruke ZKP på blokkjede. Imidlertid nevnte han også at "hvis en løsning blir funnet, vil det være mye bedre, enklere og mer praktisk å implementere Bitcoin." Med andre ord, mens han anerkjente de tekniske begrensningene til ZK, erkjente han at hvis det løses, kan det være et betydelig vendepunkt i utviklingen av blokkjede. År senere har cypherpunk-samfunnet og ZK-forskere endelig funnet den løsningen. Zcash var det første tilfellet som brukte ZKP på en ekte kryptovaluta, og påfølgende prosjekter som StarkWare, zkSync og Scroll har utviklet denne teknologien som et nøkkelmiddel for å forbedre Ethereums skalerbarhet og verifiserbarhet. Det er imidlertid fortsatt et gap i virkeligheten. Å lage en zkEVM krever dyp ekspertise, mange års utviklingstid og maskinvare med høy ytelse, og de fleste prosjekter ender opp med å stole på spesifikke bevisleverandører i stedet for å drive sin egen ZKP-infrastruktur. Som et resultat forblir ZKP et komplekst verktøy som bare noen få kan håndtere i stedet for en teknologi som alle kan bruke. 2. Hva er kortfattet? Kortfattet (@SuccinctLabs) er et forsøk på å ta opp dette problemet direkte. Kjerneoppgaven er å transformere ZKP til en infrastruktur som alle utviklere enkelt kan bruke, slik at alle kan lage et "tillitsløst system" uten komplekse kretser eller infrastruktur. Succinct er en infrastruktur som gjør idealet om et "tillitsløst" system, som blokkjeden har forfulgt, til en praktisk implementerbar virkelighet. Tillitsløs betyr ikke 'upålitelig'; snarere refererer det til en struktur som fungerer uavhengig uten å stole på tillit, det vil si et matematisk verifiserbart system uten tredjeparter eller sentrale myndigheter. Imidlertid er det nåværende blokkjedeøkosystemet fortsatt sterkt avhengig av tillit. Brohacks, multisignaturoperasjoner og sentraliserte valideringsdelegeringer fungerer alle som bevis på at vi fortsatt må stole på mennesker eller organisasjoner for at systemet skal fungere. Forsøket på å bryte gjennom disse tillitsbaserte begrensningene er nettopp Zero-Knowledge Proof (ZKP)-teknologien. Denne teknologien lar en matematisk bevise at "denne beregningen er riktig" uten å stole på noen, noe som gjør den til et grunnleggende grunnlag for desentraliserte systemer. Problemet har vært at ZKP er for komplekst og tungt for praktisk bruk. 3. Hvorfor føltes ZKP vanskelig? ZKP-teknologi har høye barrierer like mye som potensialet. Spesielt krever det å lage en zkEVM et spesialisert team, mange års utviklingstid og kostbar infrastruktur. De fleste zk-prosjekter måtte designe sine egne kretser, bygge dedikerte zkVM-er og betjene maskinvare direkte. Først etter å ha gått gjennom alle disse prosessene kunne de hevde å være "ZK-rollups." Dessuten var eksisterende generelle zkVM-er svært ineffektive i å generere bevis. Vanligvis krevde det å bevise en enkelt blokk en klynge med dusinvis av høyytelsesmaskiner, som kostet $10 til $20 per blokk. På grunn av disse tekniske byrdene og driftskostnadene forlot mange prosjekter enten innføringen av ZKP helt eller valgte å stole på noen sentraliserte bevisleverandører. 4. Kortfattet forsøk @SuccinctLabs ser på disse strukturelle problemene som «infrastrukturproblemer». ZKP er teknisk kraftig nok, men spørsmålet er hvem, hvordan og til hvilken pris det implementeres. Derfor skaper Succinct et desentralisert bevisnettverk som alle enkelt kan få tilgang til uten at individuelle prosjekter trenger å betjene bevisinfrastruktur direkte. Utviklere trenger ikke å sette opp komplekse zkVM-er eller anskaffe maskinvare. Når de sender bevisforespørsler til nettverket, byr forskjellige bevisere med forskjellig maskinvare å behandle dem på en auksjonslignende måte. Beviskostnadene reduseres naturlig gjennom konkurranse, og bevisere genererer effektivt bevis ved hjelp av utstyr med høy ytelse. Som et resultat får utviklere raske og rimelige bevis, mens hele økosystemet drar nytte av en bevisinfrastruktur med høy tilgjengelighet og sensurmotstand. Kortfattet demonstrerer ikke bare tekniske muligheter; Det beviser sin rolle på områder der faktisk etterspørsel oppstår. Et representativt eksempel er fremveksten av «CLOBs on Blobs»-trenden i @celestia-økosystemet. Desentraliserte børser som bruker høyytelses sentrale grenseordrebokmetoder (CLOB) vises på Celestias blob-plass, noe som fører til infrastrukturkrav for storskala databehandling og raske tilstandsbevis. Prosjekter som Hyperliquid og @hibachi_xyz implementerer kompleks ordrebokhandel og prisoppdagelseslogikk på kjeden, noe som krever skalerbarhet og ytelse utover enkle rollups. Det som trengs her er Celestias høyytelses datatilgjengelighetslag og den desentraliserte ZK-bevisinfrastrukturen levert av Succinct. Faktisk har Celestia sett en rask økning i den faktiske bruken av blob-plass, og bak dette bidrar ZK-infrastrukturer som Succinct i det stille. Hvis Celestia tilbyr en "verifiserbar datalagring", er Succinct ansvarlig for å lage "verifiserbare tilstandsoverganger" på disse dataene. Denne kombinasjonen kan sees på som utgangspunktet for ZKP-teknologien til overgangen fra abstrakt teori til et fungerende system i virkeligheten. 5. En zkEVM som alle kan håndtere, SP1 og SP1 Reth Ved å løse tilgjengeligheten til infrastruktur, har Succinct også som mål å senke inngangsbarrierene til selve zkVM ved å utvikle en åpen kildekode zkVM kalt SP1 (Succinct Processor 1). SP1 er en generell zkVM implementert i Rust, designet for alle å bruke direkte uten den komplekse kretsdesignen som kreves av eksisterende zkEVM-er. Et tidlig eksempel som viser potensialet til SP1 er SP1 Reth. SP1 Reth er en type-1 zkEVM implementert med omtrent 2,000 linjer med Rust-kode, enkelt konfigurert ved å gjenbruke komponenter fra det eksisterende Ethereum-klientøkosystemet (Reth, Revm, Alloy, etc.). Enda mer forbløffende er ytelsen. Den gjennomsnittlige beviskostnaden per Ethereum-transaksjon for SP1 Reth er bare rundt $0,01 til $0,02, som er lavere enn datatilgjengelighetskostnadene som vanligvis påløper i L2. Grunnen til at denne ytelsen er mulig er på grunn av "precompile"-systemet som SP1 har. Den behandler beregningsintensive operasjoner som hash-funksjoner og signaturverifiseringer i en forhåndsoptimalisert struktur, noe som reduserer ressursene som forbrukes av zkVM betydelig. Til nå har implementering av zkEVM med en zkVM kostet $10 til $20 per blokk, men SP1 Reth har lyktes i å redusere dette til ensifrede tall. Både SP1 og SP1 Reth er helt åpen kildekode og tilgjengelig for alle å forgrene og lage sin egen zkEVM eller legge til forhåndskompileringer for å forbedre ytelsen. Dette representerer en fullstendig omveltning av det eksisterende zk-utviklingsmiljøet med høye kostnader og høy vanskelighetsgrad, og åpner en æra der enhver Rust-utvikler kan delta i zk-systemer. 6. Til syvende og sist er ZK nå tilgjengelig for alle Succinct fyller ut de siste puslespillbitene av ZKP-teknologiens potensial, tilgjengelighet og praktiske egenskaper. Uten komplekse kretser eller dedikert maskinvare kan hvem som helst lage applikasjoner ved hjelp av ZKP, og bevisene behandles av et desentralisert nettverk. Vi går inn i en æra der alle rollups kan bli ZK rollups, og internett opererer utelukkende på sannhet. Utgangspunktet for dette er Succinct og SP1. Nå er ZKP en teknologi for alle, ikke bare noen få utvalgte.