„Microsoft“ magnetinio tyrimo rezultatai gali turėti įtakos blokų grandinės patikrinimo išlaidoms
Priežastis pasitikėti
Griežta redakcinė politika, orientuota į tikslumą, tinkamumą ir nešališkumą
Sukurta pramonės ekspertų ir kruopščiai peržiūrėta
Aukščiausi ataskaitų teikimo ir leidybos standartai
Griežta redakcinė politika, orientuota į tikslumą, tinkamumą ir nešališkumą
Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque, niekur kitur nepriskirtas, ullamcorper eu odio.
TL;DR: „Microsoft Research“ teigia, kad jos „Magnetar“ sistema leidžia greičiau įrodyti įprastą programos vykdymą, tuo pat metu pasikliaujant standartine maišos kriptografija.
Nulinių žinių sistemos žada, kad skaičiavimą galima patikrinti nepasitikint jį atlikusia mašina. Viena iš priežasčių, kodėl juos sunku įdiegti, yra tų įrodymų generavimo išlaidos. „Microsoft Research“ spalio 15 d. paskelbtame Magnetar pranešime sprendžiama ši kliūtis naudojant virtualią mašiną, skirtą įprastoms programoms įrodyti.
Tyrėjai teigia, kad Magnetar palaiko kodą, sudarytą iš Rust, Go ir C, ir veikia vidutiniškai nuo 10 iki 39 kartų greičiau nei tam tikros panašios įrodinėjimo sistemos pagal jų etalonus. Remiantis „Microsoft“ testais, patvirtinimas trunka maždaug 12 milisekundžių. Sistema sukurta remiantis standartinėmis maišos funkcijomis – dizainu, skirtu sumažinti priklausomybę nuo kriptografijos, pažeidžiamos būsimų kvantinių atakų.
Naudojant blokines grandines, mažesnės įrodinėjimo sąnaudos gali palengvinti patikrinamą skaičiavimą ir sudėtingą programų logiką. Tačiau etaloniniai skaičiai negarantuoja lygiaverčių patobulinimų gamybos apibendrinimo ar kiekvieno išmaniosios sutarties darbo krūvio viduje. Integracija, techninės įrangos sąlygos ir įrodymo dydžiai yra svarbūs.
Taip pat yra platesnis galimo naudojimo atvejis: institucijos ir AI agentai gali pateikti patikrinamų įrodymų, kad programinė įranga vykdė nurodytas instrukcijas, neatskleidę pagrindinių privačių duomenų. Tyrimas rodo ateitį, kurioje kriptografiniai įrodymai bus pridedami prie įprastesnių kompiuterių operacijų, nors ši ateitis priklausys nuo įgyvendinimo už laboratorijos ribų.
Daugiau iš NewsBTC: Kriptovaliutų naujienos · Ethereum aprėptis · Kriptovaliutų tyrimai ir kategorijos
