<Hvorfor mislyktes ZK, og hva ønsker Succinct å endre?> 1. Bevissthet om problemet Bitcoin-skaperen Satoshi Nakamoto har uttrykt skepsis til nullkunnskapsbevis (ZKP). "For å bevise at noe ikke eksisterer, må du kjenne til hele transaksjonen," sa han, og vurderte at det er strukturelt vanskelig å bruke ZKP-er på blokkjeder. Imidlertid sa han også: "Hvis vi finner en løsning, vil det være mulig å implementere Bitcoin mye bedre, enklere og mer praktisk." Med andre ord, mens de anerkjente de tekniske begrensningene til ZK, erkjente de at hvis de ble adressert, kunne de være et stort vendepunkt i utviklingen av blokkjede. Nå, år senere, har cypherpunk-samfunnet og ZK-forskere endelig funnet en løsning. Zcash var den første til å bruke ZKP på kryptovalutaer i den virkelige verden, og prosjekter som StarkWare, zkSync og Scroll har siden utviklet denne teknologien som et nøkkelmiddel for å forbedre Ethereums skalerbarhet og verifiserbarhet. Det er imidlertid fortsatt et gap i virkeligheten. Å lage zkEVM krever dyp ekspertise, mange års utvikling og maskinvare med høy ytelse, og de fleste prosjekter er avhengige av spesifikke bevisleverandører i stedet for å drive sin egen ZKP-infrastruktur. Som et resultat forble ZKP-er et komplekst verktøy som bare noen få kunne håndtere i stedet for en "teknologi som alle kan bruke." 2. Hva er kortfattet? Kortfattet (@SuccinctLabs) er et forsøk på å løse dette problemet direkte. Nøkkelen er å gjøre ZKP-er til en infrastruktur som enkelt kan brukes av alle utviklere, og å hjelpe alle med å lage et "tillitsløst system" uten behov for komplekse kretser eller infrastruktur. Succinct er en infrastruktur som forvandler idealet om et "tillitsløst" system som blokkjeden har forfulgt til en virkelighet som faktisk kan realiseres. Tillitsløs betyr ikke "upålitelig", men refererer til en struktur som fungerer på egen hånd uten forutsetning om tillit, det vil si et system som kan være matematisk verifiserbart uten behov for en tredjepart eller sentral myndighet. Imidlertid er det nåværende blokkjedeøkosystemet fortsatt sterkt avhengig av tillit. Brohacks, multisig-operasjoner og sentralisert validatordelegering er alle bevis på at systemet bare fungerer når vi fortsatt stoler på mennesker og organisasjoner. Et forsøk på å bryte gjennom denne tillitsbaserte grensen direkte er ZKP, eller Zero-Knowledge Proof-teknologi. Denne teknologien, som lar oss matematisk bevise at "denne beregningen er riktig" uten å måtte stole på noen, er helt klart et nøkkelgrunnlag for desentraliserte systemer. Problemet var at ZKP-er var for komplekse og tunge til å faktisk skrive. 3. Hvorfor føltes ZKP-er vanskelige? ZKP-teknologien har vært like høy som potensialet. Spesielt krevde opprettelsen av zkEVM et profesjonelt team, mange års utvikling og kostbar infrastruktur. De fleste zk-prosjekter måtte designe sine egne kretser, bygge dedikerte zkVM-er og til og med betjene maskinvaren selv. Det var først etter å ha gått gjennom alle disse prosessene at de kunne kalle seg "ZK rollups". Dessuten har tradisjonelle zkVM-er for generell bruk vært svært ineffektive til å generere bevis. Normalt krevde det å bevise en blokk en klynge med dusinvis av høyytelsesmaskiner, og kostnaden nådde $10~$20 per blokk. På grunn av denne høye tekniske byrden og driftskostnadene har mange prosjekter forlatt introduksjonen av ZKP-er eller valgt strukturer som er avhengige av noen sentraliserte bevisleverandører. ...