na kryptoměně
Podle příspěvku výzkumného pracovníka Dannyho Ryana ze dne 17. března pracuje výzkumný tým Eth 2.0 na novém konceptu nazvaném „polynomiální závazky“ ke snížení dat používaných pro výpočet v síti.
Co je magická matematika?
Polynomiální závazky, které Buterin nazval „magickou matematikou“, jsou považovány za způsob, jak zkontrolovat stav sítě při nízkých výpočetních nákladech, což je klíčový cíl do budoucna. Buterin je přesvědčen, že aplikuje magickou matematiku alespoň do třetí fáze etapy 2.0. „Polynomiální závazky by mohly být průlomem, který jsme hledali,“ řekl Ryan.
Polynomiální závazky ve zkratce
Polynomiální závazky jsou podobné polynomům, které jsme se všichni učili ve škole: matematický výraz s proměnnými a koeficienty. Ale vzhledem k tomu, že je to magická matematika, není to tak jednoduché.
Buterin popisuje polynomiální závazky jako „jakýsi hash některých polynomů P (x) se schopností provádět aritmetické kontroly hashů.“ Původní dokument o polynomiálních závazcích syntetizuje matematické schéma do šesti algoritmů, které ukazují důkazy o události, ke které došlo s nejmenším množstvím výpočetních dat.
„Navrhujeme nahradit stromy Merkle takzvanými polynomiálními závazky magické matematiky pro ukládání stavu blockchainu,“ uvedl Buterin v příspěvku na blogu od nadace Ethereum.
Stav blockchainu
Blockchainy zaznamenávají příchozí i odchozí transakce. Celkově lze říci, že blockchainové účetní systémy jsou dvou typů: model nevyčerpaných transakcí (UTXO) a model založený na účtu. Bitcoin používá první, zatímco Ethereum používá druhou.
Když uživatel chce investovat bitcoin v modelu UTXO, jeho transakce s sebou táhne celou historii těchto mincí, které pak zkontroluje každý partner v síti.
Model účtu na druhé straně zaznamenává pouze transakci mezi dvěma vrstevníky, zatímco směruje otázky týkající se platnosti transakce na virtuální stroj Ethereum (EVM) spolu s dokladem o transakci.
EVM provádí změny stavu - kontrolu účtů a zůstatků blockchainu - jménem uživatelů. Každý blok na Ethereu - který spojuje transakce s touto platformou - také obsahuje důkaz, strom Merkle, který odkazuje na začátek historie sítě.
Tento důkaz obsahuje přijetí výše uvedeného stavu a je vyžadován pro EVM k provedení transakce. Stromy Merkle jsou datově efektivní, ale nejsou dostatečně efektivní pro ambice Eth 2.0. To je místo, kde se kouzlo děje.
Aktuální konfigurace stromu Merkle vyžaduje přibližně 0,5 MB na transakci. Ryan odhaduje, že schémata polynomiálních závazků by snížila váhu státních testů mezi 0,001 a 0,01 MB.
U sítě, která má průměrně kolem 700.000 XNUMX transakcí denně, jsou úspory ve výpočtu značné. Několik projektů mimo Ethereum také svým způsobem spoléhá na polynomiální závazky. Buterin uvedl, že jeho implementace polynomiálních závazků zůstává jednou z mnoha. Navíc je stále ve fázi výzkumu.
