Microsoft Magnetar siktar på snabbare nollkunskapsbevis
Microsoft Research säger att deras system Magnetar kan generera bevis för vanlig programkörning snabbare, vilket potentiellt kan minska en betydande kostnad för beräkningar med nollkunskapsbevis. Magnetar stöder program kompilerade från Rust, Go och C. I forskarnas tester var systemet i genomsnitt 10 till 39 gånger snabbare än vissa jämförbara bevisningssystem, och verifieringen tog cirka 12 millisekunder.
Magnetar bygger på standardiserade hashfunktioner, som är avsedda att minska beroendet av kryptografi som kan bli sårbar för framtida kvantattacker. För blockkedjor skulle snabbare och billigare nollkunskapsbevis kunna möjliggöra verifierbar beräkning utanför kedjan och mer komplexa tillämpningar. De rapporterade prestandavinsterna behöver dock inte överföras direkt till produktionsbaserade rollups eller alla typer av arbetsbelastningar för smarta kontrakt. Integration, hårdvara och bevisstorlek är fortfarande viktiga faktorer. Forskningen skulle också kunna göra det möjligt för institutioner och AI-agenter att verifiera att programvara följt instruktioner utan att avslöja privata data.
Neutral
Tillkännagivandet beskriver en potentiellt betydelsefull teknikutveckling, men rapporterar inte om någon driftsättning av blockkedjan i skarp miljö, något adoptionsavtal eller någon förändring av en kryptovalutas ekonomiska förutsättningar. Magnetars benchmarkresultat tyder på att det kan bli snabbare och billigare att bevisa vanlig programkörning. Om systemet integreras i blockkedjeinfrastruktur kan det på längre sikt göra verifierbar beräkning utanför kedjan och komplexa applikationer mer genomförbara.
För handeln är den omedelbara effekten sannolikt begränsad. Artikeln ger inga belägg för en efterfrågan på kort sikt på någon specifik token, förändrad nätverksaktivitet eller direkt påverkan på avgifter eller intäkter. Handlare kan reagera positivt på de bredare utsikterna för effektivare nollkunskapsteknik, ungefär som framsteg inom skalningsforskning kan förbättra sentimentet kring blockkedjeinfrastruktur. Men forskningsbesked har historiskt sett behövt följas av konkreta framsteg – exempelvis produktionsintegration, mätbar användning och ett varaktigt införande bland utvecklare – för att ge bestående marknadseffekter.
På kort sikt lär en eventuell reaktion snarare bestå av ett brett narrativt intresse för sektorn än av en fundamental omvärdering, och de övergripande marknadsförhållandena kommer fortsatt att väga tyngre. På lång sikt kan ett framgångsrikt genomförande bidra till skalbarhet för blockkedjor och integritetsinriktade applikationer. Fördelarna är inte garanterade: prestandan i produktionsmiljö kan skilja sig åt beroende på hårdvara, integrationskrav, bevisstorlek och skillnader mellan arbetsbelastningar. Sammantaget är nyheten neutral för marknaden i nuläget, med möjliga långsiktiga fördelar om den följs av adoption.