(1) Raymond Chu (cofondatore di Aleo, laureato presso l'Università della California, Berkeley, responsabile dello sviluppo di Snarkvm e snarkOS per i nodi di validazione)

(2) Collin C (cofondatore di Aleo, laureato presso l'Università della California, Berkeley, responsabile dello sviluppo del linguaggio di programmazione Aleo, Leo)

(3) Howard Wu (cofondatore di Aleo, laureato presso l'Università della California, Berkeley, cofondatore e CTO, ha contribuito con codice a Fil, Ethereum e Zcash, responsabile dello sviluppo del protocollo di consenso Aleo Aleo BFT (con risultati di ricerca approfonditi sulla prova a conoscenza zero)

(4) Alex Pruden (laureato all'Accademia Militare degli Stati Uniti, ha prestato servizio nelle forze speciali dell'esercito americano, attualmente direttore esecutivo della Aleo Foundation, ha lavorato per A16z dal 2019 al 2020)

Gli amici interessati possono prestare particolare attenzione a questa persona, che ha contribuito al libro bianco di Ethereum e attualmente si occupa del linguaggio di programmazione Aleo, Leo.

e il meccanismo di consenso Aleo BFT.

Questa persona ha condotto ricerche approfondite sugli algoritmi di prova a conoscenza zero, in particolare sull'algoritmo Zk Snarks, che è anche la versione avanzata dell'algoritmo utilizzato da Aleo.

La direzione dell'aggiornamento della mainnet di Aleo è:

(1) L'algoritmo è stato aggiornato a Snark, la versione avanzata è Snarks.

Introduzione all'algoritmo Snark:

① Sinteticità (Succinctness): la prova generata dall'algoritmo SNARK è molto piccola, quasi trascurabile rispetto alle dimensioni del calcolo da dimostrare.

② Non interattività (Non-interactive): l'algoritmo SNARK non richiede interazioni multiple tra il dimostratore (prover) e il validatore (verifier), rendendo il processo di verifica più efficiente.

③ Completezza della conoscenza (Knowledge-soundness): il dimostratore non può costruire una prova valida senza conoscere un determinato testimone (witness), cioè esiste un estrattore in grado di estrarre il testimone dalla prova.

④ Protezione della privacy (Privacy): l'algoritmo SNARK protegge le informazioni sensibili attraverso tecniche crittografiche avanzate, consentendo a individui e organizzazioni di eseguire transazioni e condividere informazioni senza rivelare alcun dettaglio sottostante.

⑤ Maggiore efficienza (Increased Efficiency): grazie alla sua natura non interattiva, l'algoritmo SNARK consente la verifica delle informazioni in millisecondi, migliorando l'efficienza.

⑥ Efficienza dei costi (Cost-Efficiency): l'algoritmo SNARK riduce le interazioni tra dimostratori e validatori, abbassando così i costi dell'intero processo di verifica.

⑦ Versatilità: l'algoritmo SNARK può essere utilizzato in diversi scenari applicativi, inclusi criptovalute con protezione della privacy, autenticazione e transazioni finanziarie riservate.

⑧ Sicurezza: nonostante alcune domande sulla sicurezza dell'algoritmo SNARK, ad esempio, se un utente possiede la chiave privata per impostare il protocollo, potrebbe creare prove false che sembrano valide, ma implementando misure di sicurezza aggiuntive, si può garantire che nessun'entità singola possa accedere a questa chiave privata, aumentando così la sicurezza.

⑨ Verifica rapida (Fast Verification): la verifica della prova SNARK è computazionalmente efficiente, quindi il tempo di verifica è veloce.

⑩ Ampia applicabilità: grazie alle sue dimensioni di prova compatte e ai tempi di verifica rapidi, i SNARK a conoscenza zero sono comunemente utilizzati in monete di privacy, finanza decentralizzata e sviluppo di dApp, oltre che per l'autenticazione.

(2) Il meccanismo di consenso è stato aggiornato da PoSW a Aleo BFT.

I vantaggi del meccanismo Aleo BFT si manifestano principalmente in diversi aspetti:

1. Alta capacità di elaborazione e bassa latenza: l'algoritmo di consenso AleoBFT può gestire un gran numero di transazioni, realizzando una rete blockchain ad alta capacità di elaborazione e fornendo velocità di conferma delle transazioni più rapide.

2. Sicurezza robusta: AleoBFT combina il proof of stake (PoS) con il proof of work sintetico (PoSW), garantendo un numero sufficiente di validatori esperti per risolvere i problemi zkSNARK e incoraggiando più partecipanti a dimostrare l'efficienza e l'efficacia dei costi della rete.

3. Alta decentralizzazione: il design di AleoBFT consente di separare la produzione di blocchi dalla generazione di Coinbase, il che significa che i validatori sono responsabili della generazione dei blocchi, mentre i dimostratori possono calcolare le prove su scala come necessario, garantendo così la decentralizzazione della rete.

4. Algoritmo di consenso ibrido: AleoBFT è un algoritmo di consenso ibrido che combina la finalità immediata dei validatori e la capacità computazionale dei dimostratori, aumentando il grado di decentralizzazione della rete, migliorando al contempo le prestazioni e la sicurezza.

5. Meccanismo di incentivazione: il modello AleoBFT incentiva i validatori a mantenere la vitalità della rete generando continuamente blocchi, mentre i dimostratori sono incentivati a espandere continuamente la loro capacità di dimostrazione nella rete Aleo, i dimostratori risolvono e generano prove SNARK di Coinbase (sotto forma di PoSW) in cambio di una quota del premio di blocco.

6. Efficienza dei costi: AleoBFT consente agli utenti di impacchettare dati off-chain e caricarli come prove crittografiche con carico computazionale ridotto, riducendo significativamente le spese di gas necessarie per partecipare alla rete Aleo.

7. Finalità immediata dei blocchi: una volta che il validatore ha generato e raggiunto un consenso su ciascun blocco, le transazioni vengono confermate, risolvendo il problema delle fork superficiali dei validatori e migliorando la stabilità dei nodi.

8. Supporto per l'interoperabilità dei sistemi su larga scala: il design di AleoBFT offre un'esperienza di sviluppo applicativo fluida, migliorando l'esperienza dell'utente attraverso conferme istantanee delle transazioni nei portafogli e nelle applicazioni, supportando al contempo il potenziale per l'interoperabilità dei sistemi su larga scala.

9. Protezione della privacy: la rete Aleo si basa sulla crittografia a conoscenza zero, affrontando la sfida di proteggere la privacy e supportare la gestione di enormi quantità di dati (scalabilità) nelle attuali blockchain pubbliche, risolvendo il problema delle perdite di dati su Internet e migliorando la trasparenza e la pubblicità delle informazioni blockchain attuali.

10. Scalabilità: Aleo ha costruito una blockchain pubblica che offre tutta la flessibilità di Ethereum attraverso un'architettura scalabile migliore, i miner non devono ripetere ogni transazione, ma possono semplicemente verificarne la correttezza.

Questi vantaggi fanno del meccanismo Aleo BFT una soluzione blockchain molto promettente, in grado di supportare vari scenari applicativi ad alte prestazioni e sicurezza.

(3) Riduzione della produzione di PoS, riduzione della pressione di vendita. Aumento della produzione di PoW, miglioramento del morale dei miner, inflazione ridotta al 5%.

(4) Migliorare le prestazioni complessive della rete della mainnet di Aleo, aumentando significativamente il TPS, attualmente il TPS è solo di 10-12 transazioni al secondo.

Pubblicheremo ulteriori informazioni relative ad Aleo, gli amici interessati possono continuare a seguire...