zkVerify: layer universale di verifica delle Zero-Knowledge Proof

Cosa è zkVerify

Amici, immaginate quando facciamo acquisti online o trasferiamo denaro: di solito serve una banca o un ente centrale come Alipay per confermare che la transazione sia reale, giusto? Nel mondo della blockchain, vogliamo decentralizzare questo potere di conferma, permettendo a tutti di verificare insieme, rendendo il tutto più trasparente e sicuro. Tuttavia, se ognuno dovesse controllare ogni dettaglio di tutte le transazioni, sarebbe molto lento e costoso.

zkVerify (abbreviazione del progetto: VFY) è come un “super verificatore” nel mondo blockchain. Non si occupa di tutte le transazioni, ma si dedica a una cosa: verificare in modo rapido ed economico quei particolari “bigliettini” chiamati “Zero-Knowledge Proof” (Prova a Conoscenza Zero, in breve ZK Proof).

Cos’è una Zero-Knowledge Proof? In parole semplici, è una tecnologia sorprendente che ti permette di dimostrare a qualcuno che conosci un segreto, senza dover rivelare il segreto stesso. Ad esempio, puoi dimostrare di avere più di 18 anni senza dire la tua data di nascita. Nella blockchain, la ZK Proof può essere usata per dimostrare che una transazione è valida, o che un calcolo è corretto, senza dover rendere pubblici tutti i dati.

Il progetto zkVerify è una rete blockchain nata appositamente per verificare questi “bigliettini”. È come una “società di revisione professionale” che riceve “prove” da varie applicazioni blockchain (ad esempio, transazioni che richiedono privacy o applicazioni che necessitano di calcoli su larga scala) e le verifica a costi bassissimi e con grande velocità.

Utenti target e scenari principali

zkVerify serve principalmente quei progetti blockchain che utilizzano Zero-Knowledge Proof, come:

• ZK Rollups: Immagina la mainnet di Ethereum come un’autostrada trafficata, i ZK Rollups sono come “corsie veloci” laterali che raggruppano molte piccole transazioni in una grande, usando una ZK Proof per dimostrare che tutte le piccole transazioni sono valide. zkVerify aiuta queste “corsie veloci” a verificare più rapidamente i loro “grandi bigliettini”.
• zkBridges: Come ponti che collegano diverse città, permettono la comunicazione e il trasferimento di asset tra diverse blockchain. zkVerify può aiutare a verificare la sicurezza di queste transazioni cross-chain.
• zkApps: Varie applicazioni decentralizzate che utilizzano Zero-Knowledge Proof per proteggere la privacy o implementare funzioni complesse.
• AI e identità digitale: Può persino estendersi alla verifica dell’intelligenza artificiale e all’autenticazione dell’identità digitale per la protezione della privacy personale.

Flusso tipico di utilizzo

Il suo funzionamento può essere così descritto:

1. Un’applicazione blockchain (ad esempio un ZK Rollup) genera un “bigliettino” di Zero-Knowledge Proof per dimostrare di aver completato un certo numero di calcoli o transazioni.
2. L’applicazione invia questo “bigliettino” alla rete zkVerify.
3. I verificatori professionali della rete zkVerify (cioè i nodi) controllano rapidamente ed efficientemente l’autenticità del “bigliettino”.
4. Dopo la verifica, zkVerify genera una “prova di verifica superata” (chiamata “Attestazione”), che viene poi inviata alla blockchain di origine dell’applicazione.
5. L’applicazione blockchain originale deve solo controllare questa piccola “attestazione”, senza dover gestire il complesso “bigliettino”, risparmiando così tempo e costi.

Visione del progetto e proposta di valore

La visione di zkVerify è diventare la “pietra angolare della fiducia” nel mondo blockchain, permettendo un uso più ampio e conveniente della potente tecnologia delle Zero-Knowledge Proof.

Problemi chiave che si propone di risolvere

Attualmente, sebbene le Zero-Knowledge Proof siano molto potenti, presentano un “punto dolente”: la verifica di queste prove, su blockchain generiche come Ethereum, è costosa, lenta e richiede molte risorse computazionali.

Immagina di assumere un maggiordomo tuttofare (una blockchain generica): può fare tutto, ma se gli chiedi di fare solo una cosa molto specializzata (come verificare una ZK Proof), potrebbe non essere efficiente e costare molto. zkVerify vuole risolvere proprio questo problema: è come un “esperto specializzato nella verifica di Zero-Knowledge Proof”, fa solo questo, quindi lo fa in modo veloce, efficiente ed economico.

Si stima che verificare una ZK Proof su una blockchain generica possa costare fino a 200.000-300.000 Gas (costi di calcolo sulla blockchain), e nei momenti di congestione della rete può arrivare anche a 60 dollari. L’obiettivo di zkVerify è ridurre questo costo di oltre il 90%.

Differenze rispetto a progetti simili

Le peculiarità di zkVerify sono:

• Specializzazione: È una “blockchain di primo livello” (Layer 1 blockchain) progettata appositamente per la verifica delle Zero-Knowledge Proof. A differenza delle blockchain “tuttofare”, zkVerify si concentra solo sulla verifica, senza gestire altre transazioni, risultando così estremamente efficiente.
• Modularità: Ha un design modulare che permette una facile integrazione con varie reti blockchain esistenti, come un “modulo di verifica plug-and-play”.
• Indipendenza dal tipo di prova: Può verificare diversi tipi di sistemi di Zero-Knowledge Proof (come Fflonk, Groth16, Plonky2, ecc.), agendo come un “traduttore multilingue”: qualunque sia il “linguaggio” della tua prova, può comprenderlo e verificarlo.
• Alte prestazioni e bassi costi: Grazie al design specializzato e al codice ottimizzato (scritto in Rust), zkVerify offre velocità di verifica elevatissime e costi estremamente bassi.

Caratteristiche tecniche

zkVerify presenta numerose soluzioni tecniche ingegnose che gli permettono di svolgere in modo efficiente il ruolo di “super verificatore”.

Caratteristiche tecniche

• Design modulare: Come i mattoncini Lego, l’architettura di zkVerify è modulare, il che significa che può adattarsi facilmente a diverse esigenze e può essere aggiornata ed estesa con facilità.
• Verificatori nativi scritti in Rust: Il programma di verifica principale è scritto in Rust. Rust è noto per le sue alte prestazioni e sicurezza, rendendo il processo di verifica di zkVerify sia efficiente che affidabile. Quando emergono nuovi sistemi di Zero-Knowledge Proof, è facile aggiungere o aggiornare nuovi verificatori nativi senza influenzare l’intera rete.
• Accelerazione hardware: Per raggiungere velocità di verifica nell’ordine dei millisecondi, zkVerify utilizza anche tecnologie di accelerazione hardware, come se avesse un “turbo” per la sua capacità di verifica.
• Meccanismo di attestazione e Merkle Tree: Dopo aver verificato più prove, zkVerify non restituisce tutte le prove alla chain di origine, ma le “impacchetta” in una “attestazione” più piccola tramite una struttura dati chiamata “Merkle Tree”. È come riassumere molte piccole spedizioni in un’unica lista, riducendo notevolmente la quantità di dati trasmessi e i costi.

Architettura tecnica

zkVerify è una blockchain “Layer 1” indipendente. Ciò significa che ha la propria rete, i propri nodi e il proprio meccanismo di sicurezza, senza dipendere da altre blockchain per funzionare. La sua base è costruita sul framework Substrate, un framework di sviluppo blockchain flessibile che consente agli sviluppatori di creare blockchain altamente personalizzate.

Meccanismo di consenso

Per garantire la sicurezza e la decentralizzazione della rete, zkVerify adotta il meccanismo di consenso “Nominated Proof-of-Stake” (NPoS). In breve, è un sistema in cui tutti possono eleggere i validatori tramite lo staking dei token, e i validatori mantengono la sicurezza della rete. Più token vengono messi in staking, maggiori sono le possibilità di essere scelti come validatore e di ricevere ricompense, ma chi si comporta in modo scorretto viene penalizzato, incentivando così comportamenti onesti.

Tokenomics

Il token del progetto zkVerify si chiama VFY, ed è il “carburante” e il “diritto di voto” dell’intera rete.

Informazioni di base sul token

• Simbolo del token: VFY
• Chain di emissione: la propria blockchain Layer 1 di zkVerify. Tuttavia, per facilitare scambi e liquidità, potrebbe avere anche indirizzi di contratto su altre chain (come Ethereum).
• Quantità totale o meccanismo di emissione: Alla genesi (lancio del progetto) vengono emessi in totale 1.000.000.000 (un miliardo) di token VFY.
• Inflazione/Burn: Per incentivare i validatori e mantenere la sicurezza della rete, il token VFY ha un tasso di inflazione annuo del 2,5%.
• Circolazione attuale e futura: Alla genesi, la circolazione iniziale è di circa 306,57 milioni di token (30,66% del totale). Entro ottobre 2025, la fornitura in circolazione sarà di circa 307,8 milioni di VFY.

Utilità del token

Il token VFY svolge diversi ruoli importanti nella rete zkVerify, proprio come la moneta di un paese:

• Commissioni di transazione (Gas): Qualsiasi operazione di invio e verifica di Zero-Knowledge Proof sulla rete zkVerify richiede il pagamento di VFY come commissione. È come pagare il pedaggio in autostrada, garantendo la sicurezza economica della rete.
• Staking e sicurezza della rete: Per diventare validatore della rete zkVerify, o per supportarne uno, è necessario mettere in staking (Staking) i token VFY. Lo staking di VFY aiuta a proteggere la rete e consente agli staker di ricevere ricompense in VFY.
• Governance: I detentori di VFY hanno diritto di voto sulle decisioni future del progetto, come aggiornamenti del protocollo, modifiche ai parametri, ecc. Questo permette ai membri della comunità di partecipare alla gestione del progetto.
• Incentivi per l’ecosistema: Una parte dei token VFY viene utilizzata per incentivare gli sviluppatori a partecipare a hackathon, fornire grant e promuovere la crescita della comunità e del progetto, attirando più persone a utilizzare e contribuire all’ecosistema zkVerify.

Distribuzione e sblocco dei token

La quantità totale di token VFY è distribuita tra diversi partecipanti, con diversi programmi di sblocco per garantire lo sviluppo stabile e a lungo termine del progetto. Ecco la distribuzione secondo le fonti disponibili (nota: le percentuali possono variare leggermente a seconda delle fonti; qui si adotta la versione più dettagliata):

• Comunità: Circa il 35% (350 milioni di token). Il 10% è in circolazione al Token Generation Event (TGE), il resto inizia a sbloccarsi dopo 12 mesi, con sblocco mensile in 48 mesi.
• Fondazione: Circa il 31,375% (313,75 milioni di token). Il 47% è in circolazione al TGE, il resto si sblocca mensilmente in 24 mesi a partire dal TGE.
• Core contributors (team): Circa il 19,625% (196,25 milioni di token). Nessun token in circolazione al TGE, sblocco mensile in 12 mesi a partire da 12 mesi dopo il TGE.
• Investitori: Circa il 14% (140 milioni di token). Nessun token in circolazione al TGE, sblocco mensile in 12 mesi a partire da 12 mesi dopo il TGE.

Team, governance e finanziamenti

Il successo di un progetto dipende dalle persone e dai meccanismi che lo sostengono.

Membri chiave e caratteristiche del team

Il progetto zkVerify è sviluppato da Ellipsis Distributed Systems e Horizen Labs è il principale contractor. Horizen Labs, fondata nel 2019, è una società di tecnologia blockchain specializzata in crittografia Zero-Knowledge, con una solida esperienza e competenza nel settore ZK.

Meccanismo di governance

zkVerify adotta un modello di governance decentralizzato. Ciò significa che i detentori di VFY possono votare sulle decisioni chiave del progetto, come aggiornamenti del protocollo, modifiche ai parametri, ecc. Questo assicura che la comunità abbia voce in capitolo nello sviluppo del progetto, evitando rischi di centralizzazione.

Tesoreria e runway finanziario

Ad oggi, il progetto zkVerify ha raccolto 11 milioni di dollari di venture capital. Questi fondi saranno utilizzati per supportare lo sviluppo, le operazioni e la costruzione dell’ecosistema del progetto, fornendo una solida base finanziaria per la crescita a lungo termine.

Roadmap

La roadmap è come il diario di crescita e il piano futuro del progetto.

Tappe e eventi storici importanti

• Maggio 2024: Lancio ufficiale della testnet di zkVerify. Questo segna la nascita della prima soluzione modulare per la verifica delle Zero-Knowledge Proof.
• Settembre 2024: Il team organizza challenge e attività di ricompensa per attrarre sviluppatori e membri della comunità, testando su larga scala la capacità di verifica delle Zero-Knowledge Proof e gettando le basi per il lancio della mainnet.
• Settembre 2025: Lancio ufficiale della mainnet di zkVerify e del token VFY.

Piani e tappe future importanti

Sebbene i dettagli della roadmap futura siano poco menzionati nelle fonti pubbliche, è prevedibile che zkVerify continuerà a:

• Espandere il supporto a più architetture blockchain: Compatibilità progressiva con un numero sempre maggiore di reti blockchain, diventando uno strato di verifica universale.
• Ottimizzare costantemente efficienza e costi di verifica: Attraverso iterazioni tecniche, ridurre ulteriormente i costi di verifica e aumentare la velocità.
• Promuovere lo sviluppo dell’ecosistema: Attirare più sviluppatori a costruire applicazioni sulla piattaforma, arricchendo gli scenari d’uso di zkVerify.

Avvertenze sui rischi comuni

Ogni progetto blockchain comporta dei rischi; conoscerli ci aiuta a valutare il progetto in modo più completo.

• Rischi tecnici e di sicurezza: Sebbene la tecnologia Zero-Knowledge sia molto avanzata, ogni sistema software complesso può avere vulnerabilità o bug sconosciuti. Inoltre, come nuova blockchain Layer 1, la sua sicurezza, la stabilità del meccanismo di consenso e l’integrazione con sistemi esterni richiedono tempo per essere testate.
• Rischi economici:
  • Concorrenza di mercato: Il settore della verifica delle Zero-Knowledge Proof sta attirando sempre più attenzione e potrebbero emergere altri progetti di layer di verifica universale (come Aligned Layer, Cloaking Layer), influenzando la quota di mercato e lo sviluppo di zkVerify.
  • Crescita di mercato inferiore alle attese: Se la crescita complessiva del mercato delle Zero-Knowledge Proof sarà più lenta del previsto, o se l’adozione delle applicazioni sarà lenta, ciò potrebbe influenzare il valore del token VFY.
  • Pressione da sblocco dei token: Una parte dei token sarà sbloccata progressivamente dopo il TGE (Token Generation Event). Se la quantità sbloccata è elevata, potrebbe esserci pressione di vendita a breve termine sul prezzo del token. Ad esempio, alcune fonti indicano che il 25% della fornitura viene sbloccata al TGE, il che può comportare una potenziale pressione di vendita.
• Rischi di conformità e operativi:
  • Incertezza normativa: Il quadro normativo globale sulle criptovalute è in continua evoluzione; futuri cambiamenti politici potrebbero influenzare le operazioni e lo sviluppo di zkVerify.
  • Sfide nella costruzione della comunità: Le fonti indicano che la capacità del team zkVerify di costruire e mantenere la comunità non è ancora stata pienamente dimostrata, un aspetto importante per un progetto decentralizzato.

Checklist di verifica

Per ogni progetto blockchain, possiamo fare una verifica preliminare tramite alcune informazioni pubbliche.

• Indirizzi dei contratti su block explorer:
  • Indirizzo del contratto del token VFY (potrebbe essere su Ethereum o altre chain):
    0xa749...b358
  • Block explorer della mainnet zkVerify:
    zkverify.subscan.io
• Attività su GitHub:
  • Repository GitHub di zkVerify:
    zkVerify/zkVerify
  • Il repository ha 451 stelle e 111 fork, segno di un certo interesse della comunità e della partecipazione di sviluppatori.
  • Nel repository sono presenti aggiornamenti del codice, come “Reduced MaxOpBeneficiaries”, “Collect also stas about vk use”, ecc., a dimostrazione che il progetto è ancora in fase di sviluppo e manutenzione attiva.

Riepilogo del progetto

Amici, in sintesi, zkVerify è un progetto blockchain molto interessante e promettente. È come un “centro di verifica specializzato per le Zero-Knowledge Proof” nel mondo blockchain, dedicato a risolvere i problemi di costo elevato e lentezza nell’applicazione delle Zero-Knowledge Proof. Grazie alla sua architettura Layer 1 unica, al design modulare e alla compatibilità con diversi sistemi di prova, zkVerify mira a rendere questa potente tecnologia più diffusa e accessibile, promuovendo la privacy, la scalabilità e l’efficienza dell’intero ecosistema Web3.

Il suo valore principale è permettere alle applicazioni che necessitano di molte verifiche di Zero-Knowledge Proof di “esternalizzare” questo compito a zkVerify, riducendo notevolmente i costi operativi e aumentando l’efficienza. Questo rappresenta un’infrastruttura fondamentale per ZK Rollups, bridge cross-chain e varie applicazioni per la privacy.

Naturalmente, ogni nuova tecnologia e progetto comporta dei rischi, come la forte concorrenza di mercato, la pressione derivante dallo sblocco dei token e le sfide del team nella costruzione della comunità. Pertanto, quando si segue questo progetto, è importante mantenere un approccio obiettivo e prudente.

Ricorda: tutte le informazioni sopra riportate sono solo una presentazione del progetto e non costituiscono alcun consiglio di investimento. Il mercato della blockchain e delle criptovalute è altamente volatile e rischioso. Prima di prendere qualsiasi decisione di investimento, assicurati di fare ricerche personali approfondite (Do Your Own Research, DYOR) e consulta un consulente finanziario professionista.

Per ulteriori dettagli, si consiglia di consultare il whitepaper ufficiale e il sito web di zkVerify per ottenere le informazioni più complete e aggiornate.