Ker bi lahko polinomske zaveze predstavljale "prelomnico" za Ethereum 2.0

Glede na objavo raziskovalca Dannyja Ryana z dne 17. marca raziskovalna skupina Eth 2.0 pripravlja nov koncept, imenovan "polinomske zaveze", da bi zmanjšala podatke, ki se uporabljajo za računalništvo v omrežju.

Kaj je čarobna matematika?

Polinomske zaveze, ki jih je Buterin poimenoval "čarobna matematika", gledajo kot na način preverjanja stanja omrežja z nizkimi računskimi stroški, kar je ključni cilj v prihodnosti. Buterin je prepričan, da bo magično matematiko uporabljal vsaj do tretje faze Eth 2.0. "Polinomske zaveze bi lahko bile preboj, ki smo ga iskali," je dejal Ryan.

Polimanske zaveze na kratko

Polinomske obveznosti so podobne polinomom, ki smo se jih vsi naučili v šoli: matematični izraz s spremenljivkami in koeficienti. A glede na to, da gre za čarobno matematiko, ni tako preprosto.

Buterin opisuje polinomske zaveze kot "nekakšno razpršitev nekaterih polinomov P (x) z lastnostjo izvajanja aritmetičnih preverjanj zgoščenih elementov." Izvirni dokument o polinomskih zavezah sintetizira matematično shemo v šest algoritmov, ki prikazujejo dokaze o dogodku s čim manj računskimi podatki.

"Predlagamo, da drevesa Merkle nadomestimo s tako imenovanimi magičnimi matematičnimi polinomskimi zavezami za shranjevanje statusa verige blokov," je dejal Buterin v prispevku iz fundacije Ethereum.

Stanje verige blokov

Blockchains beležijo tako transakcije, kot tudi odhode. Na splošno obstajajo dve vrsti računovodskih sistemov blockchain: model neizvedenih transakcij (UTXO) in model, ki temelji na računu. Bitcoin uporablja prve, Ethereum pa druge.

Ko uporabnik želi vlagati bitcoin v modelu UTXO, njegova transakcija s seboj vleče celotno zgodovino teh kovancev, kar nato preveri vsak vrstnik v omrežju.

Model računa pa samo beleži transakcijo med obema vrstnikoma, medtem ko vprašanja o veljavnosti transakcije usmerja na navidezni stroj Ethereum (EVM), skupaj z dokazilom o transakciji.

EVM izvaja spremembe stanja - preverjanje računov in stanja verige blokov - v imenu uporabnikov. Vsak blok v Ethereumu, ki povezuje transakcije s to platformo, vsebuje tudi dokaz, drevo Merkle, ki povezuje začetek zgodovine omrežja.

Ta dokaz vsebuje prejem zgoraj navedenega stanja in je potreben, da EVM izvede transakcijo. Drevesa merkle so podatkovno učinkovita, vendar premalo učinkovita za ambicije Eth 2.0. Tu se zgodi čarovnija.

Trenutna konfiguracija drevesa Merkle zahteva približno 0,5 MB na transakcijo. Ryan ocenjuje, da bi sheme polinomskih zavez zmanjšale težo državnih testov med 0,001 in 0,01 MB.

Pri omrežju, ki povprečno dnevno porabi približno 700.000 transakcij, je prihranek pri računanju velik. Številni projekti zunaj Ethereuma se na svoj način zanašajo tudi na polinomske zaveze. Buterin je dejal, da njegovo izvajanje polinomskih zavez ostaja ena izmed mnogih. Poleg tega je še v fazi raziskav.