på krypto
I følge et innlegg fra 17. mars av forsker Danny Ryan, jobber Eth 2.0-forskerteamet med et nytt konsept kalt "polynomiale forpliktelser" for å redusere dataene som brukes til databehandling på nettverket.
Hva er magisk matematikk?
Kalt "magisk matematikk" av Buterin, blir polynomforpliktelser sett på som en måte å kontrollere tilstanden til nettverket til lave beregningskostnader, et sentralt mål for fremtiden. Buterin er overbevist om å bruke magisk matematikk opp til minst den tredje fasen av Eth 2.0. "Polynomiske forpliktelser kan være gjennombruddet vi lette etter," sa Ryan.
Polynomforpliktelsene i korte trekk
Polynomforpliktelser ligner polynomene vi alle lærte på skolen: et matematisk uttrykk med variabler og koeffisienter. Men med tanke på at det er magisk matematikk, er det ikke så enkelt.
Buterin beskriver polynomforpliktelser som "en slags hash av noen polynomer P (x), med egenskapen til å utføre aritmetiske kontroller av hashes." Originaldokumentet om polynomforpliktelser syntetiserer det matematiske skjemaet i seks algoritmer som viser bevis for en hendelse som oppstår med minst mulig beregningsdata.
"Vi foreslår at du erstatter Merkle-trær med såkalte magiske matematiske polynomforpliktelser, for lagring av blockchain-status," sa Buterin i et blogginnlegg fra Ethereum Foundation.
Blockchain-staten
Blokkjeder registrerer både inn- og ut-transaksjoner. Samlet sett er blockchain-regnskapssystemer av to typer: UTXO-modellen (Unspent Transaction Output) og den kontobaserte modellen. Bitcoin bruker førstnevnte mens Ethereum bruker sistnevnte.
Når en bruker vil investere bitcoin i UTXO-modellen, drar transaksjonen hele historien til disse myntene med seg, som deretter blir sjekket av alle andre i nettverket.
Kontomodellen registrerer derimot bare transaksjonen mellom de to jevnaldrende mens de retter spørsmål om gyldigheten av transaksjonen til Ethereum Virtual Machine (EVM) sammen med et bevis på transaksjonen.
EVM utfører statusendringer - kontrollkontoer og saldoer til blockchain - på vegne av brukerne. Hver blokk på Ethereum - som binder transaksjoner i denne plattformen - inneholder også et bevis, et Merkle-tre, som lenker til begynnelsen av nettverkets historie.
Dette beviset inneholder mottak av ovennevnte status og er nødvendig for at EVM skal kunne utføre en transaksjon. Merkle-trær er dataeffektive, men ikke effektive nok for Eth 2.0s ambisjoner. Det er her magien skjer.
Den nåværende Merkle-trekonfigurasjonen krever omtrent 0,5 MB per transaksjon. Ryan anslår at ordninger for polynomiske forpliktelser vil redusere vekten av statlige tester mellom 0,001 og 0,01 MB.
For et nettverk som i gjennomsnitt har rundt 700.000 XNUMX transaksjoner per dag, er besparelsene i beregningene betydelige. Flere prosjekter utenfor Ethereum er også avhengige av polynomiske forpliktelser, på sin egen måte. Buterin sa at implementeringen av polynomforpliktelser fortsatt er en av mange. Videre er det fremdeles i forskningsfasen.
