Zero-knowledge proofs zijn in 1985 ontstaan. In de afgelopen 40 jaar zijn ze vaak bespot als een mysterieuze technologie van "maandwiskunde", maar nu stappen ze uit het laboratorium en komen ze aan de voorhoede van de digitale economie. Terugkijkend op de ontwikkeling van het ZK-ecosysteem kan er een duidelijke conclusie worden getrokken: ZK is niet langer een optionele privacy-oplossing, maar de vertrouwensbasis van het volgende internet. Dit jaar zijn er veel ZK-gerelateerde projecten opgekomen. Broeders zullen ze misschien allemaal als ZK-projecten categoriseren, maar ik wil zeggen dat ze veel gedetailleerder zijn dan we denken. Laten we het levenscyclus indelen in bewijs generatie → batchverificatie → bevestiging op verschillende ketens. Sunccinct en Boundless richten zich op de fase van bewijs generatie, maar er is een structureel probleem in dit ecosysteem, namelijk de verificatieflessenhals. Onlangs heeft zkVerify @ZKVProtocol enkele oplossingen op dit gebied gepresenteerd. zkVerify is een project dat is gelanceerd door @HorizenLabs, dat de eerste privacy-applicatieketen op het Base-ecosysteem heeft gelanceerd, en zkVerify is de eerste gespecialiseerde bewijsverificatieketen. Wat de betekenis van verificatie-efficiëntie betreft, het is als de BMW-fabriek in Tiexi, Shenyang. Hoewel de productiecapaciteit indrukwekkend is, kan de logistiek niet bijbenen, waardoor ze de 3-serie en 5-serie niet snel aan de gebruikers kunnen leveren. Uiteindelijk hebben ze een rechtstreekse spoorlijn van de fabriek naar de haven aangelegd. Voor het ZK-ecosysteem is er ook behoefte aan een "logistiek systeem" dat de productiviteit verhoogt. Als we alleen maar concepten bespreken, begrijpen mensen misschien niet hoe ernstig de prestatieproblemen zijn waarmee verificatie wordt geconfronteerd. Laten we het zo zeggen: op Ethereum kan de kosten voor het verifiëren van een Gorth16-bewijs in piekperiodes oplopen tot 60 USD. In 2024 heeft het ZK-protocol op Ethereum 55 miljoen Gas verbruikt, en het ergste is dat Ethereum maximaal 15 bewijsverificaties per seconde kan verwerken. Hoe kan de industrie zich dan ontwikkelen? zkVerify, als 's werelds eerste gespecialiseerde bewijsverificatieketen, ondersteunt verschillende bewijs systemen zoals STARKs, Plonky2 en SP1 door compatibiliteit, en kan de kosten met 90% verlagen. Het belangrijkste ontwerp is het ontkoppelen van bewijs generatie en bewijs verificatie. Dit ontwerp is echt gemaakt voor het huidige ZK-ecosysteem; in de toekomst kunnen degenen die gespecialiseerd zijn in bewijs zich richten op bewijs, terwijl zij verantwoordelijk zijn voor verificatie. Als een opkomend verificatiesysteem verkent zkVerify ook een groter verhaal, namelijk de integratie van AI x ZK. Nu zijn er talloze projecten die zich met AI bezighouden, en ik denk dat een waardevol aspect van zkVerify is dat ze veel waarde hechten aan de ontwikkelaarsgemeenschap en echt aan de slag gaan. Ik heb hun updates van het afgelopen jaar op hun blog en YouTube bekeken en veel samenwerkingsverhalen gezien, wat laat zien hoe ze stap voor stap zijn opgebouwd. Volgende week, op 30 september, hebben ze hun TGE. Uit de token-economie blijkt ook de intentie van het team; alle kosten voor de gegenereerde verificatiebewijzen zullen worden betaald met $VFY, en het gemeenschapsaandeel is met 37,31% ook het hoogste. Er is nu nog een kans om deel te nemen; ze hebben een spel genaamd ZK Space Invaders georganiseerd, en de spelbeloningen kunnen op de TGE-dag worden ingewisseld voor de mainnet-token $VFY. Als een gespecialiseerde bewijsverificatietoken die is ontworpen voor AI-modellen, als we Succinct en Boundless vergelijken met de elektriciteitscentrales van ZK, dan denk ik dat zkVerify het elektriciteitsnet van ZK is, dat echt de plafonds van ZK zal openen.