Vitalik Buterin, medgrundare av Ethereum, har introducerat betydande framsteg inom kryptografiska bevis, vilket särskilt förbättrar verifieringshastigheterna och förenklar processen.
Denna utveckling utnyttjar nya tekniker i STARKs och introducerar innovativa verktyg som Plonky2 och Binius. Dessa förändringar kommer att förbättra effektiviteten hos blockchain-teknologier drastiskt.
Snabbt och enkelt att verifiera kryptografiska bevis
I rampljuset står STARKs – skalbara, transparenta kunskapsargument. Enligt Buterin utmärker sig dessa kryptografiska bevis för sin förmåga att effektivt verifiera komplexa påståenden, som till exempel ett Ethereum-blocks giltighet.
En anmärkningsvärd innovation i STARKs är användningen av mindre fältstorlekar, vilket står i skarp kontrast till de större 256-bitars heltal som krävdes av deras föregångare SNARKs. Denna förändring minskar beräkningsbelastningen och påskyndar verifieringsprocessen dramatiskt.
Det nya kryptografiska verktyget Plonky2 är ett exempel på denna utveckling. Genom att använda Goldilocks-fältet, som fungerar på 64-bitars heltal, uppnår Plonky2 bevishastigheter som är hundratals gånger snabbare än tidigare metoder. Sådana effektivitetsvinster är avgörande, särskilt för blockchain-applikationer där hastighet och skalbarhet är av största vikt.
“Plonky2:s huvudsakliga innovation var att göra aritmetik modulo ett mindre primtal: 264-232+1=18446744069414584321. Nu kan varje addition eller multiplikation alltid göras med bara några få instruktioner på en CPU, och att hasha alla data tillsammans är 4x snabbare än tidigare”, förklarade Buterin.
Vitalik Buterins arbete stannar inte vid att optimera fältstorlekar. Hans senaste satsning på kryptografiska bevis utforskar potentialen hos binära fält – med enkla nollor och ettor. Detta tillvägagångssätt, som implementeras av ett system som heter Binius, utnyttjar olika matematiska strategier för att förenkla bevisgenereringen ytterligare.
Binius särskiljer sig genom att fokusera på binära fält, som är fundamentalt effektiva för digitala system. Anledningen till detta fokus är att digitala system till sin natur är binära. Genom att anpassa kryptografiska operationer till detta kan man därför minimera beräkningsomkostnaderna.
“Om man använder Binius behöver man inte längre bry sig så mycket om att göra beräkningar “aritmetikvänliga”: “Vanliga” hashar är inte längre mer effektiva än traditionella aritmetiska hashar, multiplikation modulo 232 eller modulo 2256 är inte längre en stor huvudvärk jämfört med multiplikation modulo p, och så vidare”, avslutade Buterin.
Läs mer om detta: Vad är nollkunskapsbevis? Säkra tillväxten för Web3-appar
Dessa innovationer är ett bevis på Vitalik Buterins pågående engagemang för att förbättra blockkedjetekniken. När dessa nya kryptografiska metoder blir mer utbredda förväntas de sänka barriärerna för blockkedjeadoption avsevärt.
Disclaimer
All information på vår webbplats publiceras i god tro och endast för allmän information. Varje åtgärd som läsaren vidtar baserat på informationen på vår webbplats sker strikt på egen risk.