Ciao amici, ciao a tutti! Ti do un caloroso benvenuto sul mio canale, contatta Mr. Atlas. L'articolo di oggi sarà dedicato a un progetto unico e molto promettente che ha molto supporto, sia da parte degli utenti che da parte degli investitori, e questo è Aleo . E per essere più precisi, in questo numero

esamineremo le ultime novità su questo progetto . Ti consiglio di leggere questo articolo fino alla fine, perché: le informazioni sono interessanti e affidabili e tu, mia cara, sei la prima a saperlo. Quindi andiamo!

☯️Richiesta dal Team:

Siamo felici di annunciare la seconda fase di Aleo Testnet 3! In questa versione, implementeremo molte delle funzionalità chiave descritte nella nostra roadmap originale per Testnet 3, come l'implementazione e l'esecuzione di programmi definiti dall'utente e un puzzle per guidare lo sviluppo dell'hardware di verifica zkSNARK.

Quindi, amici, ora capite: il rilascio sarà piuttosto interessante :)

Per approfondire un po' il momento, suggerisco di partire dalle basi...

☯️ Cos'è Aleo?

Aleo è una nuova blockchain di livello 1 che utilizza la crittografia a conoscenza zero per abilitare applicazioni decentralizzate scalabili e private.

‌ Aleo team, comprendi che nella loro architettura (i programmi) non vengono eseguiti in una catena; piuttosto, gli utenti eseguono il programma offline e pubblicano zkSNARK (brevi prove a conoscenza zero) nella catena che dimostrano la corretta esecuzione in modo da preservare la privacy.

Il passaggio successivo eseguito dalla catena è il controllo di brevi bozze in un momento (indipendente) dal tempo di esecuzione del programma.

Ma! Se tutto fosse andato bene, il progetto sarebbe già stato quotato in borsa

‌ Il piano funziona bene al 100%, ad eccezione di un piccolo bug: creare una prova della corretta esecuzione del programma con zero conoscenze può essere molte volte più costoso della semplice esecuzione diretta del programma. Per molte applicazioni utili (come i pagamenti), questo sovraccarico può essere gestito anche durante il controllo su un dispositivo comune come un telefono cellulare o un laptop.

Quando utilizziamo applicazioni più intensive dal punto di vista computazionale, come l'apprendimento automatico, i giochi o l'autenticazione, il sovraccarico della verifica sui dispositivi standard può essere proibitivo

E questo, a sua volta, rende questi casi d'uso irraggiungibili.

Certo, il momento non è abbastanza piacevole, ma continuerò, perché:

‌Tuttavia, il design di Aleo consente ai clienti di scegliere se esternalizzare o meno la generazione di prove a un "servizio di convalida" di terze parti , che potrebbe avere più risorse di calcolo per aiutare a calcolare zkSNARK per calcoli più grandi.

Ad esempio:

​​come processori con molti core, grandi quantità di RAM o persino hardware speciale per la verifica.

Solo allora, il problema diventa stimolare lo sviluppo di migliori architetture di evidenza. Risolvere quest'ultimo problema è una delle motivazioni chiave alla base dello sviluppo del nuovo algoritmo di consenso di Aleo, AleoBFT. Ad alto livello, AleoBFT è un'architettura ibrida che utilizza la prova del palo per ottenere una finalità immediata per la conferma del blocco e utilizza anche un puzzle coinbase di prova del lavoro che premia lo sviluppo di metodi più veloci per generare prove.

Abbonati, siamo anche con voi, ci immergeremo più chiaramente nei dettagli di questo cifrario. Così…

☯️ INFORMAZIONI su Coinbase Puzzle?

‌ Il puzzle coinbase è un puzzle proof-of-work progettato per guidare lo sviluppo di software e hardware più veloci per generare prove a conoscenza zero.

Cioè?

Per raggiungere questo obiettivo, il nostro puzzle coinbase ha due caratteristiche uniche (su cui ci concentreremo prima).

Caratteristiche uniche:

‌_Cryptographic_Function:

⚡️a differenza del tradizionale PoW come si troverebbe in Bitcoin o Ethereum, il puzzle coinbase richiede la creazione di procedure efficienti per algoritmi "utili" per i principali sottocomponenti della convalida zkSNARK.

‌ _Caratteristica_Economia:

⚡️a differenza del PoW tradizionale, in cui ogni blocco può contenere solo una soluzione di puzzle valida, il nostro puzzle coinbase accetta più soluzioni valide per blocco, impedendo che il vincitore prenda tutto e portando a una più ampia distribuzione di premi di prova.

Amici, ora dobbiamo rivolgere la nostra attenzione al 100% al design del puzzle, relativamente alla parte crittografica, quindi:

☯️Design del puzzle?

La prima cosa a cui rivolgeremo la nostra attenzione è: Quick zkSNARK Design Guide.

⚡️Il tempo per creare una dimostrazione nei moderni zkSNARK è dominato dal tempo per verificare due sottocomponenti: l'IOP polinomiale e lo schema di impegno polinomiale.

Cioè , questo puzzle coinbase stimola efficacemente l'accelerazione di questi sottocomponenti.

Se osserviamo il flusso del protocollo, che si compone di due passaggi, noteremo:

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (1) Generazione di soluzioni (Prover)

Per creare una variante di soluzione, il verificatore genera (da un elemento una tantum) e moltiplica un polinomio casuale, quindi corregge il polinomio del prodotto risultante utilizzando uno schema di impegno polinomiale (schema KZG10, nel nostro caso). Questo impegno risultante viene quindi sottoposto ad hashing e, se questo hash corrisponde alla complessità di destinazione, è una soluzione valida che può essere inviata all'aggregatore (insieme a una prova del punteggio per un'aggregazione efficiente).

Anche così , il puzzle risultante è costituito da 2 elementi di gruppo e 1 elemento di campo, un indirizzo e un nonce, e può essere verificato nelle moltiplicazioni e negli accoppiamenti del campo D, dove D è il grado del polinomio generato.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (2) Aggregazione di soluzioni valide (BFT Leader)

Sebbene una valida soluzione di puzzle possa essere verificata da chiunque, l'aggiunta di ogni soluzione di puzzle alla catena aumenterà lo stato.

Per evitare ciò in questa fase, questo puzzle coinbase consente al leader BFT di raccogliere soluzioni valide. Il team non entrerà nei dettagli di come ciò avvenga, ma il risultato generale è che l'archiviazione di rete dipende dal costo di n + 1 elementi dell'array e 1 elemento dell'array rappresenta un miglioramento significativo. Come vantaggio collaterale, anche il controllo del puzzle è più veloce.

Bene, amici, dopo tante informazioni, propongo di riassumere tutto. Così..

☯️SOMMARIO:

Sulla base della nostra discussione, AleoBFT è un nuovo meccanismo di consenso che combina la finalità della prova del palo con un potente meccanismo di incentivazione della prova del lavoro. Se prendi il nostro caso, il puzzle coinbase stimola l'accelerazione della prova zkSNARK. Trovo questo lavoro utile perché si trasferisce direttamente all'esecuzione di qualsiasi altro programma in Aleo.

Sulla base di ciò, ne consegue che con questo meccanismo speriamo di stimolare un forte ecosistema di verifica che andrà a vantaggio degli utenti Aleo riducendo i costi e la latenza dell'applicazione (è decisamente interessante, d'accordo)

​​Incoraggiamento motivazionale?

E infine, per i più pazienti, ho preparato una buona notizia. Poiché questa fase della rete di prova sarà incoraggiata. E questo, a sua volta, può essere qualsiasi cosa (quindi ti consiglio di superare questo testnet)

Amici, avrò tutto su questo. Mi ha fatto piacere esserti utile. Ci rivediamo al prossimo numero!

Aleo:

Sito web | Cinguettio | Discordia | Git Hub