na kryptomene
Podľa príspevku výskumného pracovníka Dannyho Ryana zo 17. marca pracuje výskumný tím Eth 2.0 na novom koncepte nazvanom „polynomiálne záväzky“ na zníženie dát použitých na výpočty v sieti.
Čo je to magická matematika?
Polynomiálne záväzky, ktoré Buterin nazval „magická matematika“, sa považujú za spôsob, ako skontrolovať stav siete pri nízkych výpočtových nákladoch, čo je kľúčový cieľ do budúcnosti. Buterin je presvedčený, že aplikuje magickú matematiku minimálne do tretej fázy Et 2.0. „Polynomické záväzky by mohli byť prielomom, ktorý sme hľadali,“ uviedol Ryan.
Polynomické záväzky v skratke
Polynomické záväzky sú podobné polynomom, ktoré sme sa všetci učili v škole: matematický výraz s premennými a koeficientmi. Ale vzhľadom na to, že je to magická matematika, nie je to také jednoduché.
Buterin popisuje polynomické záväzky ako „akýsi hash niektorých polynómov P (x) s vlastnosťou vykonávať aritmetické kontroly hashov.“ Pôvodný dokument o polynomiálnych záväzkoch syntetizuje matematickú schému do šiestich algoritmov, ktoré preukazujú výskyt udalosti s čo najmenším počtom výpočtových údajov.
„Navrhujeme nahradiť stromy Merkle takzvanými magickými matematickými polynómovými záväzkami pre ukladanie stavu blockchainu,“ uviedol Buterin v blogovom príspevku od nadácie Ethereum.
Stav blockchainu
Blockchainy zaznamenávajú vstupné aj výstupné transakcie. Systémy účtovníctva blockchain sú celkovo dva typy: model výstupu nevyužitých transakcií (UTXO) a model založený na účte. Bitcoin používa prvé, zatiaľ čo Ethereum používa druhé.
Keď chce používateľ investovať bitcoinu v modeli UTXO, jeho transakcia so sebou ťahá celú históriu týchto coinov, ktoré potom kontroluje každý rovnocenný hráč v sieti.
Model účtu na druhej strane zaznamenáva iba transakciu medzi týmito dvoma partnermi, zatiaľ čo otázky týkajúce sa platnosti transakcie smeruje na virtuálny stroj Ethereum (EVM) spolu s dokladom o transakcii.
EVM vykonáva zmeny stavu - kontrolu účtov a zostatkov blockchainu - v mene používateľov. Každý blok na Etherea - ktorý spája transakcie s touto platformou - obsahuje aj dôkaz, strom Merkle, ktorý odkazuje na začiatok histórie siete.
Tento dôkaz obsahuje prijatie vyššie uvedeného stavu a je potrebný na to, aby spoločnosť EVM mohla vykonať transakciu. Stromy Merkle sú dátovo efektívne, ale nie dostatočne efektívne pre ambície Eth 2.0. Tu sa deje mágia.
Aktuálna konfigurácia stromu Merkle vyžaduje približne 0,5 MB na transakciu. Ryan odhaduje, že schémy polynomiálnych záväzkov by znížili váhu štátnych testov medzi 0,001 a 0,01 MB.
Pre sieť s priemerom okolo 700.000 XNUMX transakcií za deň sú úspory pri výpočte značné. Niekoľko projektov mimo ethereum sa svojím spôsobom tiež spolieha na polynomiálne záväzky. Buterin uviedol, že jeho implementácia polynomiálnych záväzkov zostáva jednou z mnohých. Okrem toho je stále vo fáze výskumu.
