La prova a conoscenza zero è nata nel 1985 e, negli ultimi 40 anni, è stata derisa come una tecnologia misteriosa di "matematica lunare", ma ora è passata dai laboratori al fronte dell'economia digitale. Ripercorrendo l'intero sviluppo del settore ZK, si può trarre una conclusione chiara: ZK non è più una semplice patch per la privacy, ma è la base di fiducia della prossima generazione di Internet. Quest'anno sono emersi molti progetti correlati a ZK, e i fratelli potrebbero classificarli tutti come progetti del settore ZK, ma voglio dire che la loro suddivisione è più dettagliata di quanto immaginiamo. Possiamo suddividerli in base al ciclo di vita della generazione della prova → verifica in batch → conferma su varie catene; Sunccinct e Boundless si concentrano sulla fase di generazione della prova, ma c'è un problema strutturale in questo settore, ovvero il collo di bottiglia della verifica. Recentemente, ho visto zkVerify @ZKVProtocol che ha fornito alcune soluzioni in questo ambito. zkVerify è un progetto lanciato da @HorizenLabs, che ha introdotto la prima catena di applicazioni per la privacy nell'ecosistema Base, mentre zkVerify è la prima catena di verifica delle prove dedicata. Cosa significa l'efficienza della verifica? È come la fabbrica BMW di Tiexi a Shenyang: anche se la capacità produttiva è impressionante, la logistica non riesce a tenere il passo, quindi non possono consegnare rapidamente le serie 3 e 5 agli utenti. Alla fine, hanno costruito una ferrovia che collega direttamente la fabbrica al porto. Anche per il settore ZK, è necessario migliorare il "sistema logistico" della produttività. Se si parla solo di concetti, le persone potrebbero non comprendere quanto siano gravi i problemi di prestazioni che la verifica deve affrontare. Diciamo solo che, su Ethereum, il costo di verifica di una prova Gorth16 durante i picchi può arrivare fino a 60 dollari. Solo nel 2024, i protocolli ZK su Ethereum hanno consumato 55 milioni di Gas, e la cosa peggiore è che Ethereum può gestire al massimo 15 verifiche di prove al secondo. Come può quindi svilupparsi il settore? zkVerify, come prima catena di verifica delle prove dedicata al mondo, supporta la compatibilità con vari sistemi di prova come STARKs, Plonky2 e SP1, e può ridurre i costi del 90%. Il suo design centrale è quello di decouplare la generazione e la verifica delle prove; questo design è davvero nato per l'ecosistema ZK attuale. In futuro, chi si occupa di generazione di prove potrà concentrarsi su questo, mentre chi si occupa della verifica potrà fare il suo lavoro. Come sistema di verifica emergente, zkVerify sta anche esplorando una narrazione più ampia, ovvero la fusione tra AI e ZK. Ora ci sono molti progetti che parlano di AI, e penso che un aspetto molto prezioso di zkVerify sia che danno grande importanza alla comunità degli sviluppatori, facendo davvero cose concrete. Ho dato un'occhiata ai loro aggiornamenti su blog e YouTube nell'ultimo anno e hanno condiviso molte storie di collaborazione, dimostrando come stiano costruendo passo dopo passo. La prossima settimana, il 30 settembre, avranno il TGE, e dalla tokenomics si può vedere l'intento del team: tutte le spese per la verifica delle prove generate dal progetto saranno pagate con $VFY, e la quota della comunità è del 37,31%, la più alta. C'è ancora un'opportunità di partecipare; hanno creato un gioco chiamato ZK Space Invaders, e le ricompense del gioco possono essere scambiate per il token principale $VFY il giorno del TGE. Come catena di prove dedicata alla verifica e progettata per i modelli AI, zkVerify, se consideriamo Succinct e Boundless come le centrali elettriche di ZK, penso che zkVerify sia la rete elettrica di ZK, che aprirà davvero il soffitto verso l'alto per ZK.