sa crypto
Ayon sa isang post sa Marso 17 ng mananaliksik na si Danny Ryan, ang koponan ng pananaliksik ng Eth 2.0 ay nagtatrabaho sa isang bagong konsepto na tinatawag na "polynomial komitment" upang mabawasan ang data na ginamit para sa computing sa network.
Ano ang magic matematika?
Ang binansagang "magic matematika" ni Buterin, ang mga komitment ng polynomial ay itinuturing na isang paraan upang mapatunayan ang estado ng mababang computational cost network, isang pangunahing layunin para sa hinaharap. Kumbinsido si Buterin na mag-aplay ng mahiwagang matematika hanggang sa ikatlong yugto ng Eth 2.0. "Ang mga pangako sa polynomial ay maaaring maging punto ng pag-asa na hinahanap namin," sabi ni Ryan.
Ang mga pangako sa polynomial ay maikli
Ang mga pangako sa polynomial ay katulad ng mga polynomial na nalaman nating lahat sa paaralan: isang expression ng matematika na may mga variable at coefficients. Ngunit, isinasaalang-alang ito ay magic matematika, hindi ito simple.
Inilarawan ni Buterin ang mga pangako ng polynomial bilang "isang uri ng hash ng ilang mga P (x) polynomial, na may ari-arian ng pagsasagawa ng mga pagsusuri sa aritmetika sa mga hashes." Ang orihinal na dokumento sa mga komiteng polynomial ay nagbubuod sa matematika na pamamaraan sa anim na algorithm na nagpapakita ng katibayan ng isang kaganapan na naganap na may kaunting data sa pagkalkula hangga't maaari.
"Iminumungkahi namin ang pagpapalit ng mga puno ng Merkle sa tinatawag na polynomial na pangako ng mahiwagang matematika para sa pag-archive ng estado ng blockchain," sabi ni Buterin sa isang post sa blog mula sa Ethereum Foundation.
Ang estado ng blockchain
Ang mga blockchain ay nagtatala sa loob at labas ng mga transaksyon. Sa pangkalahatan, ang mga sistema ng accounting ng blockchain ay may dalawang uri: ang hindi Tiyak na Transaksyon Output (UTXO) modelo at modelo na batay sa account. Ginagamit ng Bitcoin ang dating habang ginagamit ang Ethereum.
Kapag nais ng isang gumagamit mamuhunan bitcoin sa modelo ng UTXO, ang transaksyon nito ay nag-drag kasama ang buong kasaysayan ng mga barya, na pagkatapos ay kinokontrol ng bawat peer sa network.
Ang modelo ng account, sa kabilang banda, ay nagtatala lamang ng transaksyon sa pagitan ng dalawang mga kapantay habang nagdidirekta ng mga katanungan tungkol sa pagiging epektibo ng transaksyon sa Ethereum Virtual Machine (EVM) kasama ang isang patunay ng transaksyon.
Ang EVM ay nagsasagawa ng mga pagbabago sa katayuan - pagsuri ng mga account at balanse ng blockchain - sa ngalan ng mga gumagamit. Ang bawat bloke sa Ethereum - na nagbubuklod ng mga transaksyon sa platform na ito - naglalaman din ng isang patunay, isang puno ng Merkle, na kumokonekta sa simula ng kasaysayan ng network.
Ang patunay na ito ay naglalaman ng pagtanggap ng katayuan sa itaas at kinakailangan para sa EVM na magsagawa ng isang transaksyon. Ang mga puno ng Merkle ay mahusay na data, ngunit hindi sapat na mahusay para sa mga ambisyon ng Eth 2.0. Ito ang punto kung saan nangyayari ang magic.
Ang kasalukuyang pagsasaayos ng punong Merkle ay nangangailangan ng humigit-kumulang na 0,5 MB bawat transaksyon. Tinantiya ni Ryan na ang mga scheme ng mga komiteng polynomial ay magbabawas ng bigat ng mga pagsusuri sa estado sa pagitan ng 0,001 at 0,01 MB.
Para sa isang network na katamtaman sa paligid ng 700.000 mga transaksyon sa bawat araw, ang pagtitipid sa pagkalkula ay makabuluhan. Maraming mga proyekto sa labas ng Ethereum ay batay din sa mga pangako ng polynomial, sa kanilang sariling paraan. Sinabi ni Buterin na ang kanyang pagpapatupad ng mga polynomial komitment ay nananatiling isa sa marami. Bukod dito, nasa yugto pa rin ito ng pagsasaliksik.
