Lucruri de știut despre AleoBFT – algoritmul de consens care face Aleo

• Prezentare generală
• Lucruri de știut despre AleoBFT - noua arhitectură hibridă pentru consens
• AleoBFT garantează finalitatea instantanee pentru fiecare bloc
• AleoBFT asigură că rețeaua rămâne complet descentralizată
• AleoBFT stimulează demonstratorii să extindă probabilitatea ecosistemului Aleo în timp
• AleoBFT Structura de bază
• Epilog

La închiderea anului 2022, un blockchain public tipic de confidențialitate care folosește tehnologia Zero-Knowledge Proofs Aleo a obținut un mare succes atunci când a strâns 200 de milioane de dolari - una dintre ofertele de strângere de fonduri. Nu numai asta, Aleo și-a intensificat și strategia de sensibilizare a utilizatorilor atunci când a lansat o serie de Tesnet stimulat. programe și obținerea a peste 1 miliard de dovezi pe secundă, de 50.000 de ori mai mare decât în ​​2021. 

Pentru o imagine de ansamblu mai bună asupra a ceea ce a realizat Aleo în 2022, cititorii pot vedea și articolul „Privindu-ne înapoi la 2022 al lui Aleo” pe TraderH4.com. În cadrul acestui articol, TraderH4 va aprofunda algoritmul de consens care face Aleo diferit de alte proiecte Layer 1 din același segment.

Prezentare generală

Aleo are mai mult succes pe măsură ce mai multe companii folosesc zkSNARK în aplicațiile lor. Deoarece verificarea este dificilă, designul Aleo permite aplicațiilor să externalizeze „servicii de verificare” terțe părți care utilizează hardware și software specializat pentru a gestiona calculele. zkSNARK este mai rapid, mai ieftin și mai eficient decât poate face un dezvoltator de aplicații pe unele procesoare de bază. . 

Unul dintre cei mai mari factori limitativi pentru viitor, chiar și pentru dovada serviciilor, este că „generarea unei dovezi fără cunoștințe a execuției corecte a aplicației poate fi costisitoare.” mult mai mult decât rularea directă a aplicației. Acest lucru demonstrează că zkSNARK nu este încă cea mai bună tehnologie.

Pentru ca dovezile fără cunoștințe să devină obișnuite și pentru ca Aleo să aibă succes, hardware-ul, software-ul și cunoștințele de verificare zkSNARK trebuie diseminate. Și Aleo și-a proiectat mecanismul de consens și a sponsorizat concursul ZPrize pentru a dovedi acest lucru. 

Exploatarea tradițională PoW, precum Bitcoin, este relativ simplă, iar hardware-ul este comercializat. Minerii folosesc funcțiile SHA-256 pe ASIC-uri și încearcă să se poziționeze lângă sursele de energie ieftine pentru a maximiza profiturile. Nu există multe modalități creative de a câștiga un avantaj. 

Pe Aleo, verificarea necesită o înțelegere mai profundă a zkSNARK, care este un spațiu de proiectare mai bogat, cu mai multe oportunități pentru doveditorii de a obține avantaje uriașe. 

Aleo se deosebește de Bitcoin prin faptul că acceptă mai multe soluții valide pe bloc și, astfel, distribuie recompense către mai mulți proofers, mai degrabă decât să urmeze un cadru „învingător sau învins”. Dacă existența unui doveditor îi zdrobește pe toți ceilalți, va reduce participarea și descentralizarea dovatorului, ceea ce va menține costurile mai mari. 

Așa că Aleo a făcut două lucruri pentru a-și comercializa suplimentul zkSNARK de dovadă a lucrului: AleoBFT și ZPrize. În această secțiune ne vom scufunda în AleoBFT. 

Lucruri de știut despre AleoBFT – noua arhitectură hibridă pentru consens

AleoBFT combină Proof of Stake (PoS) și un tip specific de Proof of Work (PoW) numit Proof of Succinct Work (care în sine este un subset al Proof of Necessary Work).  

AleoBFT este conceput pentru a face trei lucruri: să securizeze protocolul, să se asigure că există suficienți verificatori cu experiență pentru a satisface nevoile de rezolvare a problemelor zkSNARK ale aplicației și să încurajeze mai mulți oameni să participe la demonstrarea mai eficientă și mai ieftină a rețelei . 

În timpul Testnet 3, Aleo a spus că își vor converti modelul de consens într-o arhitectură hibridă pentru validatori și aceasta este AleoBFT.

AleoBFT combină finalitatea instantanee a noilor blocuri de la validatoare cu puterea de calcul a validatoarelor pentru a aduce alimentarea coinbase în rețea. Designul AleoBFT încurajează validatorii să întrețină rețeaua prin generarea de blocuri și încurajează verificatorii să extindă dovada de concept la ecosistemul Aleo. Acest algoritm de consens al AleoBFT are multe

AleoBFT garantează finalitatea instantanee pentru fiecare bloc

Tranzacțiile sunt confirmate după ce validatorii generează și ajung la un consens pentru fiecare bloc. Această abordare rezolvă problemele de bifurcare pentru validatori și îmbunătățește stabilitatea nodului. În plus, acest lucru creează o experiență fluidă a aplicației pentru dezvoltatorii de pe Aleo. Și pentru utilizatori, acest lucru îmbunătățește UI/UX, permițând confirmări rapide în portofele, browsere, exploratori și aplicații. În cele din urmă, această garanție face interoperabilitatea cu alte ecosisteme mult mai simplă.

AleoBFT asigură că rețeaua rămâne complet descentralizată

După cum a subliniat Testnet 2, producția de blocuri a devenit extrem de centralizată după ce câțiva oameni de verificare au dezvoltat hardware specializat pentru criptografia fără cunoștințe. În timp ce ZPrize ajută la egalizarea condițiilor de joc, rămâne faptul că unele entități vor domina rețeaua, punând riscul de centralizare și cenzură pentru utilizatori.

Prin utilizarea AleoBFT, Aleo poate decupla rolul producției de bloc de generarea coinbase. Validatorii sunt responsabili pentru generarea blocurilor, iar validatorii pot acum calcula dovezi la scara dorită. AleoBFT este conceput pentru a stimula demonstranții să devină validatori, mizând cel puțin 1 milion de credite Aleo în rețea. Acest lucru asigură că corectorii își pot menține rezistența la cenzură devenind reprezentantul tuturor corectorilor în consens.

AleoBFT stimulează demonstratorii să extindă probabilitatea ecosistemului Aleo în timp 

În AleoBFT, probatorii stabilesc și generează dovada coinbase (PoSW) în rețea în schimbul unei cote din recompensa coinbase în fiecare bloc. Cu acest nou model, verificatorii calculează acum pe subcomponentele de bază ale dovezilor cu cunoștințe zero. Și anume multiplicarea multi-scalare (MSM) și transformarea Fourier rapidă (FFT) și câștigați procentul lor în dovadă din fiecare recompensă bloc.

Pentru probator, AleoBFT permite operarea oricărei piese hardware la orice scară pentru a genera dovezi de zero cunoștințe fără a concura pentru un efect „câștigător-câștigător” în fiecare caz. Astfel, spre deosebire de Testnet 2, acest proces înseamnă că chiar și validatorii care rulează pe hardware virtual vor putea să participe și să câștige recompense coinbase. Aceste recompense coinbase sunt împărțite între probatori și validatori pentru a-i încuraja pe cei care fac dovadă să devină validatori pe măsură ce acumulează jetoane în timp. Încurajând o distribuție mai largă a recompenselor către participanți, credem că aceste noi mecanisme vor scala rețeaua Aleo pentru a obține o dovadă de concept mult mai mare pentru dezvoltatorii și utilizatorii Aleo.

AleoBFT Structura de bază

Detaliile despre porțiunea PoS a AleoBFT sunt încă anunțate, dar echipa a spus că se va baza pe DiemBFT. Aleo a scris că seturile de dovezi nu generează blocuri în AleoBFT, ci ar putea fi:

• Demonstratorii generează dovezi pentru un anumit bloc și câștigă cote proporționale din recompensa coinbase (un subset al recompensei totale a blocului) în funcție de numărul de dovezi la țintă pe care le trimit.
• Validatorii contribuie cu credite Aleo pentru sugerarea blocurilor formate din astfel de dovezi și primesc o parte din recompensa totală a blocului pentru validare. 
• Verificatorul verifică dacă dovezile din bloc sunt adevărate (indiferent de cunoașterea conținutului probei) și primește o parte din recompensa blocului. 

Ali Yahya, care a studiat și criptografia sub Dan Boneh, mi-a explicat de ce combinația dintre teoria jocurilor (PoS) și criptografia (PoSW) este din nou semnificativă. Ali Yahya spune:

„Fiind de acord cu privire la includerea tranzacțiilor, nu o poți face criptografic, așa că trebuie să folosești o abordare a teoriei jocurilor. Când aveți tranzacții prin care doriți să le efectuați în ordine, orice altceva ar trebui să faceți criptografic.” Cu alte cuvinte, folosește criptografia ori de câte ori este posibil și teoria jocurilor când nu poți. 

Partea dovedită a AleoBFT se bazează pe algoritmul de consens original al Aleo, Proof of Succinct Work (PoSW). Cel mai important lucru de înțeles despre PoSW, mai ales că Ethereum și noile lanțuri evită utilizarea Proof of Work din motive de mediu, este că „lucrarea” din Proof of Succinct Work este cu adevărat utilă, spre deosebire de SHA.-256. 

De fapt, PoSW se bazează pe Proof of Necessary Work, o idee propusă de Assimakis Katis (mentorul lui Aleo de la început) și Joe Bonneau (un alt absolvent Boneh) în 2020, unde crearea de grade Proofs este o parte integrantă a PoW utilizat în Consensul lui Nakamoto, creând dovezi eficiente folosind energie care altfel ar fi irosită. Dacă trebuie să cheltuiți energie pentru securizarea blockchain-urilor, cheltuiți acea energie pe dovezi. Aleo o va face în două moduri:

• Direct: Generarea zkSNARK este utilă pentru a permite oricui să demonstreze ceva fără a dezvălui informații despre acesta. 
• Indirect: prin stimularea creării zkSNARK, Aleo speră să accelereze dezvoltarea unor arhitecturi mai bune pentru dovezi. 

La Podcastul Zero Knowledge, Howard a spus că „obiectivul este de a încuraja minerii să dezvolte accelerarea hardware pentru SNARK pentru a face aceste tipuri de calcule să fie comercializate și omniprezente. O modalitate de a face acest lucru este să vă asigurați că minerii au întotdeauna ceva de dovedit.

Epilog

Mai sus sunt informații detaliate despre algoritmul de consens AleoBFT care diferențiază Aleo de alte proiecte blockchain Layer 1 din același segment. Pentru a înțelege mai multe despre potențialul de dezvoltare al Aleo, vă rugăm să citiți articolul „Foaia de parcurs Aleo 2023 actualizată” de pe site-ul TraderH4. 

• Opinia experților despre modul în care moneda digitală stablecoin afectează criptomonedele chineze?
• Pentru a schimba industria artei, NFT are nevoie de o securitate mai bună