<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. ...