på krypto
Ifølge et indlæg fra 17. marts af forsker Danny Ryan arbejder Eth 2.0-forskergruppen på et nyt koncept kaldet "polynomiske forpligtelser" for at reducere de data, der bruges til computing på netværket.
Hvad er magisk matematik?
Døbt "magisk matematik" af Buterin, betragtes polynomiske forpligtelser som en måde at kontrollere netværkets tilstand til lave beregningsomkostninger, et vigtigt mål for fremtiden. Buterin er overbevist om at anvende magisk matematik op til mindst den tredje fase af Eth 2.0. ”Polynomiske forpligtelser kan være det gennembrud, vi ledte efter,” sagde Ryan.
Kort sagt de polynomiske forpligtelser
Polynomiske forpligtelser svarer til de polynomer, som vi alle lærte i skolen: et matematisk udtryk med variabler og koefficienter. Men i betragtning af at det er magisk matematik, er det ikke så simpelt.
Buterin beskriver polynomiske forpligtelser som "en slags hash af nogle polynomer P (x) med egenskaben til at udføre aritmetiske kontrol af hashes." Det originale dokument om polynomiske forpligtelser opsummerer det matematiske skema i seks algoritmer, der viser tegn på en begivenhed, der forekommer med så få beregningsdata som muligt.
"Vi foreslår at erstatte Merkle-træer med såkaldte magiske matematiske polynomiske forpligtelser til opbevaring af blockchain-status," sagde Buterin i et blogindlæg fra Ethereum Foundation.
Blockchain-tilstanden
Blockchains registrerer både ind og ud transaktioner. Samlet set er blockchain-regnskabssystemer af to typer: UTXO-modellen (Unspent Transaction Output) og den kontobaserede model. Bitcoin bruger førstnævnte, mens Ethereum bruger sidstnævnte.
Når en bruger ønsker det investere bitcoin i UTXO-modellen, trækker dens transaktion hele historikken for disse mønter med sig, som derefter kontrolleres af hver peer på netværket.
Kontomodellen registrerer derimod kun transaktionen mellem de to jævnaldrende, mens de retter spørgsmål om gyldigheden af transaktionen til Ethereum Virtual Machine (EVM) sammen med et bevis på transaktionen.
EVM udfører tilstandsændringer - kontrolkonti og saldo i blockchain - på brugerens vegne. Hver blok på Ethereum - som binder transaktioner med denne platform - indeholder også et bevis, et Merkle-træ, der linker til begyndelsen af netværkets historie.
Dette bevis indeholder modtagelsen af ovenstående status og kræves for at EVM kan udføre en transaktion. Merkle-træer er dataeffektive, men ikke effektive nok til Eth 2.0's ambitioner. Det er her, magien sker.
Den aktuelle Merkle-trækonfiguration kræver ca. 0,5 MB pr. Transaktion. Ryan anslår, at ordninger for polynomiske forpligtelser ville reducere vægten af statstestene mellem 0,001 og 0,01 MB.
For et netværk, der gennemsnitligt er omkring 700.000 transaktioner om dagen, er besparelserne i beregningen betydelige. Flere projekter uden for Ethereum er også afhængige af polynomiske forpligtelser på deres egen måde. Buterin sagde, at hans gennemførelse af polynomiske forpligtelser stadig er en af mange. Desuden er det stadig i forskningsfasen.
