Vitalik Buterin avslører kryptografiske bevis som er raske og enkle å verifisere

Vitalik Buterin, medgrunnlegger av Ethereum, har introdusert betydelige fremskritt innen kryptografiske bevis, særlig ved å øke verifikasjonshastigheten og forenkle prosessen.

Utviklingen utnytter nye teknikker i STARKs og introduserer innovative verktøy som Plonky2 og Binius. Endringene forbedrer effektiviteten til blokkjedeteknologien drastisk.

Kryptografiske bevis som er raske og enkle å verifisere

I søkelyset står STARKs – skalerbare, transparente kunnskapsargumenter. Ifølge Buterin skiller disse kryptografiske bevisene seg ut ved at de effektivt kan verifisere komplekse utsagn, for eksempel gyldigheten av en Ethereum-blokk.

En bemerkelsesverdig nyvinning i STARKs er bruken av mindre feltstørrelser, noe som står i skarp kontrast til de større 256-biters heltallene som forgjengerne, SNARKs, krevde. Dette reduserer beregningsbelastningen og gjør verifiseringsprosessen dramatisk raskere.

Det nye kryptografiske verktøyet Plonky2 er et eksempel på dette fremskrittet. Ved å bruke Goldilocks-feltet, som opererer på 64-biters heltall, oppnår Plonky2 bevishastigheter som er hundrevis av ganger raskere enn tidligere metoder. Slike effektivitetsgevinster er avgjørende, spesielt for blokkjedeapplikasjoner der hastighet og skalerbarhet er avgjørende.

“Plonky2s viktigste innovasjon var å gjøre aritmetikk modulo et mindre primtall: 264-232+1=18446744069414584321. Nå kan hver addisjon eller multiplikasjon alltid gjøres med bare noen få instruksjoner på en CPU, og hashing av alle dataene sammen er fire ganger raskere enn før”, forklarer Buterin.

Vitalik Buterins arbeid stopper ikke ved å optimalisere feltstørrelser. Hans siste satsing på kryptografiske bevis utforsker potensialet i binære felt – ved hjelp av enkle nuller og ett-tall. Denne tilnærmingen, som er implementert i et system ved navn Binius, utnytter ulike matematiske strategier for å forenkle genereringen av bevis ytterligere.

Binius skiller seg ut ved å fokusere på binære felt, som er fundamentalt effektive for digitale systemer. Begrunnelsen for dette fokuset er at digitale systemer i sin natur er binære. Ved å tilpasse kryptografiske operasjoner til dette kan man derfor minimere beregningsomkostningene.

“Hvis du bruker Binius, trenger du ikke lenger å bry deg så mye om å gjøre beregningene “regnevennlige”: “Vanlige” hasher er ikke lenger mer effektive enn tradisjonelle aritmetiske hasher, multiplikasjon modulo 232 eller modulo 2256 er ikke lenger en stor hodepine sammenlignet med multiplikasjon modulo p, og så videre”, konkluderer Buterin.

Les mer om dette: Hva er nullkunnskapsbevis? Sikrer vekst for Web3-apper

Disse nyvinningene er et bevis på Vitalik Buterins kontinuerlige engasjement for å forbedre blokkjedeteknologien. Etter hvert som disse nye kryptografiske metodene blir mer utbredt, forventes de å senke barrierene for å ta i bruk blokkjeden betraktelig.