<Waarom faalde ZK en wat wil Succinct veranderen?> 1. Bewustwording van het probleem Bitcoin-maker Satoshi Nakamoto heeft zijn scepsis geuit over zero-knowledge proofs (ZKP's). "Om te bewijzen dat iets niet bestaat, moet je de hele transactie kennen", zei hij, en oordeelde dat het toepassen van ZKP's op blockchains structureel moeilijk is. Hij zei echter ook: "Als we een oplossing vinden, zal het mogelijk zijn om Bitcoin veel beter, gemakkelijker en handiger te implementeren." Met andere woorden, hoewel ze de technische beperkingen van ZK erkenden, erkenden ze dat als ze werden aangepakt, ze een belangrijk keerpunt zouden kunnen zijn in de evolutie van blockchain. Nu, jaren later, hebben de cypherpunk-gemeenschap en ZK-onderzoekers eindelijk een oplossing gevonden. Zcash was de eerste die ZKP toepaste op echte cryptocurrencies, en projecten zoals StarkWare, zkSync en Scroll hebben deze technologie sindsdien ontwikkeld als een belangrijk middel om de schaalbaarheid en verifieerbaarheid van Ethereum te verbeteren. Er is echter nog steeds een gat in de realiteit. Het creëren van zkEVM vereist diepgaande expertise, jarenlange ontwikkeling en krachtige hardware, en de meeste projecten vertrouwen op specifieke bewijsleveranciers in plaats van hun eigen ZKP-infrastructuur te exploiteren. Als gevolg hiervan bleven ZKP's een complex hulpmiddel dat slechts enkelen aankonden, in plaats van een "technologie die iedereen kan gebruiken". 2. Wat is beknopt? Succinct (@SuccinctLabs) is een poging om dit probleem frontaal aan te pakken. De sleutel is om ZKP's om te zetten in een infrastructuur die gemakkelijk door alle ontwikkelaars kan worden gebruikt, en om iedereen te helpen een "betrouwbaar systeem" te creëren zonder de noodzaak van complexe circuits of infrastructuur. Beknopt is een infrastructuur die het ideaal van een 'betrouwbaar' systeem dat blockchain nastreeft, transformeert in een realiteit die daadwerkelijk kan worden gerealiseerd. Trustless betekent niet "onbetrouwbaar", maar verwijst naar een structuur die op zichzelf werkt zonder het uitgangspunt van vertrouwen, dat wil zeggen een systeem dat wiskundig verifieerbaar kan zijn zonder dat er een derde partij of centrale autoriteit nodig is. Het huidige blockchain-ecosysteem is echter nog steeds sterk afhankelijk van vertrouwen. Bridge-hacks, multisig-bewerkingen en gecentraliseerde validatiedelegatie zijn allemaal het bewijs dat het systeem alleen werkt als we mensen en organisaties nog steeds vertrouwen. Een poging om deze op vertrouwen gebaseerde limiet frontaal te doorbreken is ZKP, of Zero-Knowledge Proof-technologie. Deze technologie, die ons in staat stelt wiskundig te bewijzen dat "deze berekening correct is" zonder iemand te hoeven vertrouwen, is duidelijk een belangrijke basis voor gedecentraliseerde systemen. Het probleem was dat ZKP's te complex en te zwaar waren om daadwerkelijk te schrijven. 3. Waarom voelden ZKP's zich moeilijk? ZKP-technologie is zo hoog als zijn potentieel geweest. Met name het maken van zkEVM vereiste een professioneel team, jarenlange ontwikkeling en dure infrastructuur. De meeste zk-projecten moesten hun eigen circuits ontwerpen, speciale zkVM's bouwen en zelfs de hardware zelf bedienen. Pas na al deze processen te hebben doorlopen, konden ze zichzelf "ZK-rollups" noemen. Bovendien zijn traditionele zkVM's voor algemeen gebruik zeer inefficiënt geweest in het genereren van bewijzen. Normaal gesproken vereiste het bewijzen van een blok een cluster van tientallen krachtige machines, en de kosten bereikten $ 10 ~ $ 20 per blok. Vanwege deze hoge technische last en operationele kosten hebben veel projecten de introductie van ZKP's stopgezet of gekozen voor structuren die afhankelijk zijn van een aantal gecentraliseerde bewijsleveranciers. ...