Oggi continuiamo a esplorare un progetto che ha recentemente mostrato un notevole aumento, raddoppiando o triplicando il suo valore. Anche questo è un attore nel settore della privacy. In precedenza, ho parlato di molti progetti di privacy, come XMR, ZEC, DASH, OASIS, BELDEX, e sembra che il settore della privacy stia nuovamente guadagnando slancio. Alcuni amici mi hanno chiesto informazioni su questo progetto, quindi oggi lo esamineremo, poiché è entrato tra i primi 200, per comprendere le sue fondamenta e cosa faccia realmente.
1. Introduzione
Horizen ha inizialmente costruito la rete Horizen per consentire agli utenti di effettuare transazioni private. Successivamente, è stata sviluppata una rete di sidechain basata su Zendoo, impiegando certificati di zero-knowledge per legare le transazioni tra la sidechain e la mainchain, aumentando così il throughput.
Attualmente, il progetto è stato aggiornato alla versione 2.0, Horizen 2.0 è una blockchain EVM (customizzata per dApp zero-knowledge (ZK)) con estensioni precompilate, che supporta le prove di zero-knowledge all'avanguardia, permettendo così una verifica delle prove rapida e a basso costo. Questo design è stato progettato per superare le limitazioni delle capacità di zero-knowledge nelle reti esistenti, migliorando al contempo l'efficienza dei costi, le prestazioni e la fiducia.
2. Architettura - Architettura di Horizen 2.0
2.1 Panoramica
Horizen 2.0 è la prima blockchain specializzata in EVM progettata per la verifica delle prove di zero-knowledge (ZK), con contratti precompilati integrati direttamente nell'EVM. Questa è una piattaforma esclusiva per dApp di zero-knowledge, dove le dApp ZK sono definite come qualsiasi applicazione decentralizzata che genera, utilizza e/o verifica prove ZK.
Gli sviluppatori di dApp ZK affrontano spesso difficoltà nella scrittura e nell'audit dei contratti di verifica, i quali sono fondamentali per la verifica delle prove ZK. Per offrire una soluzione più semplificata e sicura, Horizen 2.0 fornisce contratti precompilati integrati per gestire la verifica delle prove, alleviando così il carico di sviluppo e migliorando la sicurezza.
Questi precompilati includono validatori per vari sistemi di prova ZK, come Groth16, Fonk, RiscZero e UltraPlonk. Ogni contratto precompilato incapsula le operazioni crittografiche necessarie, comprese le operazioni su curve ellittiche, funzioni hash e crittografia basata su accoppiamenti.
2.2 Componenti chiave
2.2.1 Architettura dei nodi
Horizen 2.0 utilizza il framework Substrate, suddividendo la sua architettura dei nodi in due componenti principali: il client principale (Core Client) e il runtime WebAssembly (Wasm). Questo design realizza modularità ed efficienza, distinguendo chiaramente le rispettive responsabilità:
1. Client principale (Core Client)
- Come livello di base, responsabile della gestione delle attività di rete, inclusa la scoperta dei nodi, la gestione delle richieste di transazione, il consenso con altri nodi e la risposta alle chiamate RPC.
2. Orizzonte Runtime (Horizen Runtime)
- Include tutta la logica aziendale necessaria per eseguire le funzioni di transizione dello stato della blockchain. Ciò implica la creazione di nuovi moduli (chiamati 'pallets' nel linguaggio di Substrate) e l'integrazione con i moduli incorporati.
2.2.2 Orizzonte Runtime (Horizen Runtime)
Horizen Runtime è un runtime WebAssembly (Wasm) avanzato e altamente configurabile, costruito su FRAME (framework di aggregazione entità modulare) basato su Substrate. FRAME consente agli sviluppatori di creare componenti runtime modulari, riutilizzabili e combinabili, chiamati pallets.
Il cuore del runtime di Horizen è costituito da pallets di verifica delle prove progettati specificamente per le prove di zero-knowledge. Questi pallets specializzati si concentrano sulla verifica delle prove ZK:
- Forniscono funzionalità tramite l'interfaccia precompilata EVM, consentendo agli sviluppatori di dApp ZK di accedere alle funzioni di verifica in modo sincrono.
Questa architettura garantisce flessibilità all'esecuzione e fornisce supporto diretto ed efficiente per lo sviluppo di applicazioni ZK.
Ogni contratto precompilato è ottimizzato per garantire una verifica delle prove rapida e sincrona (per alcuni tipi di prove) a livello di millisecondo, con attenzione all'efficienza dei costi.
2.2.3 Validatore Universale
Il Validatore Universale è un contratto precompilato unico, che sfrutta direttamente le capacità del framework di verifica integrato zkVerify, fornendo accesso ai validatori più recenti, che potrebbero non essere ancora stati implementati nella precompilazione di Horizen 2.0. Gli sviluppatori possono utilizzare i validatori ampiamente disponibili su zkVerify passando il nome del tipo di prova e la relativa chiave di verifica.
Questa integrazione beneficia di una stretta associazione tra Horizen 2.0 e la catena parziale zkVerify. Utilizzando Cross-Consensus Messaging (XCM), i validatori universali supportano la verifica delle prove asincrona, astrattando la complessità del processo di verifica. Questo design semplifica l'integrazione e amplia la gamma di protocolli crittografici supportati dalle dApp ZK. Quando zkVerify aggiunge nuovi validatori, gli sviluppatori di Horizen 2.0 possono utilizzare immediatamente questi validatori.
Una delle caratteristiche chiave del Validatore Universale è la sua natura asincrona. Diversamente da altri contratti precompilati che eseguono verifiche sincrone immediate, il Validatore Universale consente al processo di verifica di svolgersi indipendentemente da altre operazioni. Questa flessibilità consente agli sviluppatori di integrare le funzioni di verifica complete di zkVerify in dApp ZK che non richiedono verifiche immediate, realizzando così applicazioni più efficienti e scalabili.
2.3 Meccanismo di Consenso DPoS
Il Delegated Proof of Stake (DPoS) è un meccanismo di consenso che migliora l'efficienza e la scalabilità della rete blockchain introducendo un livello di delega nel processo di staking. In DPoS, i detentori di token votano per eleggere un numero limitato di rappresentanti (delegati) responsabili della produzione di blocchi e della manutenzione del funzionamento della rete. Attualmente, DPoS è il meccanismo di consenso di EON e continuerà a essere utilizzato in Horizen 2.0 per garantire coerenza e stabilità. Nella nuova architettura, i produttori di blocchi di EON saranno chiamati Collator, per riflettere il loro ruolo nella struttura della catena parallela.
Horizen 2.0 adotterà un modello di consenso ibrido ispirato a Moonbeam, che ha già raggiunto alte prestazioni e scalabilità attraverso DPoS. Pertanto, Horizen 2.0 utilizzerà il framework Nimbus per selezionare i collatori, assicurando un processo complesso e giusto. I blocchi selezionati verranno prodotti utilizzando BABE (Blind Assignment for Blockchain Extension) tramite i validatori della catena di relay zkVerify e finalizzati tramite GRANDPA (GHOST-based Recursive Ancestor Prefix Agreement).
La selezione dei collatori è un processo complesso, che utilizza i seguenti filtri e fonti di casualità per garantire equità ed efficienza:
1. Filtro di Pledge dei Diritti (Staking Filter)
- Determina l'idoneità in base all'importo della partecipazione dei collatori candidati. Solo i partecipanti qualificati e impegnati possono partecipare alla produzione di blocchi e alla manutenzione della rete, aumentando così l'affidabilità della rete.
2. Filtro di Sottogruppo di Dimensione Fissa (Fixed Size Subset Filter)
- Riduce ulteriormente il pool dei collatori candidati a un numero gestibile per ogni periodo di produzione di blocchi. Questo assicura che il numero di collatori selezionati bilanci l'equità della decentralizzazione con l'efficienza.
3. Fonti di casualità (Entropy Source)
- Introduce un elemento casuale sicuro e imprevedibile per prevenire collusioni e garantire una distribuzione equa delle responsabilità di verifica.
Esempi di applicazione:
Economia del Token
Il progetto è stato lanciato per la prima volta nel 2017, con un'offerta massima di token di 21.000.000, mentre la circolazione effettiva è di circa 15 milioni. La capitalizzazione di mercato è di 880 milioni di dollari, con un picco massimo di 168 dollari nel 2021, scendendo a un minimo di 5 dollari durante il mercato orso, e attualmente è a 42 dollari. A seguito della migrazione su una nuova catena e dell'introduzione di catene parallele, il 40% dei token precedenti è stato riservato a Coinbase, mentre il restante 60% è suddiviso tra il fondo del 32,5% e il tesoro DAO del 27,5%.
Per riassumere, il recente aumento di questo progetto è dovuto all'acquisto massiccio di Grayscale, che ha acquistato circa 300.000 token, portando a un'impennata. Non sono sicuro del motivo per cui Grayscale abbia deciso di acquistare. Dal punto di vista tecnico, nonostante l'aggiornamento a 2.0, personalmente non sono molto convinto riguardo a questo settore della privacy, sembra esserci una domanda un po' fittizia; il prezzo è già aumentato di quasi 8 volte dal minimo. Se non fosse stato per l'acquisto da parte di Grayscale, sarebbe rimasto stagnante, e ora che siamo a metà del mercato rialzista, è risalito a questa posizione, il che è davvero molto debole.