Deoarece angajamentele polinomiale ar putea fi un „punct de cotitură” pentru Ethereum 2.0

De ce angajamentele polinomiale ar putea fi un „punct de cotitură” pentru Ethereum 2.0 - preț et 1024x576Potrivit unei postări din 17 martie a cercetătorului Danny Ryan, echipa de cercetare Eth 2.0 lucrează la un nou concept numit „angajamente polinomiale” pentru a reduce datele utilizate pentru calculul în rețea.

Ce este matematica magică?

Numit „matematica magică” de Buterin, angajamentele polinomiale sunt văzute ca o modalitate de a verifica starea rețelei la un cost de calcul redus, un obiectiv cheie pentru viitor. Buterin este convins să aplice matematica magică până cel puțin în a treia fază a Eth 2.0. „Angajamentele polinomiale ar putea fi descoperirea pe care o căutam”, a spus Ryan.

Angajamentele polinomiale pe scurt

Angajamentele polinomiale sunt similare cu polinoamele pe care le-am învățat cu toții la școală: o expresie matematică cu variabile și coeficienți. Dar, având în vedere că este o matematică magică, nu este atât de simplu.

Buterin descrie angajamentele polinomiale ca „un fel de hash al unor polinoame P (x), cu proprietatea de a efectua verificări aritmetice asupra hashurilor”. Documentul original privind angajamentele polinomiale rezumă schema matematică în șase algoritmi care arată dovezi ale unui eveniment care are loc cu cât mai puține date de calcul posibil.

"Vă sugerăm să înlocuiți arborii Merkle cu așa-numitele angajamente polinomiale ale matematicii magice, pentru stocarea stării blockchain", a spus Buterin într-o postare pe blog de la Ethereum Foundation.

Starea blockchain

Blockchain-urile înregistrează atât tranzacții în interior cât și în afara. În general, sistemele de contabilitate blockchain sunt de două tipuri: modelul UTXO (Untrent Transaction Output) și modelul bazat pe cont. Bitcoin îl folosește pe primul, în timp ce Ethereum îl folosește pe cel din urmă.

Când un utilizator dorește Invest bitcoin în modelul UTXO, tranzacția sa trage cu el întregul istoric al acelor monede, care este apoi verificat de fiecare coleg din rețea.

Modelul contului, pe de altă parte, înregistrează doar tranzacția dintre cei doi colegi în timp ce direcționează întrebări despre validitatea tranzacției către mașina virtuală Ethereum (EVM) împreună cu o dovadă a tranzacției.

EVM efectuează schimbări de stare - conturile de verificare și soldurile blockchain - în numele utilizatorilor. Fiecare bloc de pe Ethereum - care leagă tranzacțiile de această platformă - conține, de asemenea, o dovadă, un arbore Merkle, care se leagă de începutul istoriei rețelei.

Această dovadă conține primirea stării de mai sus și este necesară pentru ca EVM să execute o tranzacție. Arborii Merkle sunt eficienți în ceea ce privește datele, dar nu sunt suficient de eficiente pentru ambițiile Eth 2.0. Aici se întâmplă magia.

Configurarea curentă a arborelui Merkle necesită aproximativ 0,5 MB per tranzacție. Ryan estimează că schemele de angajament polinomial ar reduce greutatea testelor de stat între 0,001 și 0,01 MB.

Pentru o rețea cu o medie de aproximativ 700.000 de tranzacții pe zi, economiile în calcul sunt substanțiale. Mai multe proiecte în afara Ethereum se bazează, de asemenea, pe angajamente polinomiale, în felul lor. Buterin a spus că implementarea angajamentelor sale polinomiale rămâne una dintre multe. Mai mult, este încă în faza de cercetare.