211service.com
Puslapis Goldwasser
Skaičių teorijos ekspertas, padėjęs pakeisti kriptografiją 2019 m. rugpjūčio 21 d
Puslapis Goldwasser Kaltieji yra Wintermeyer
Kai 1979 m. Kalifornijos universiteto Berklio informatikos absolventė Shafi Goldwasser nusprendė sutelkti dėmesį į kriptografiją ir algoritminę skaičių teoriją, jos laikas buvo tobulas.
1977 m. MIT profesoriai Ronaldas Rivestas, Adi Shamiras ir Lenas Adlemanas paskelbė pažangų RSA viešojo rakto šifravimo algoritmą, leidžiantį žmonėms keistis slapta informacija, prieš tai nesusitinkant, kad būtų nustatytas bendras šifravimo raktas. 1979 m. jie panaudojo savo šifravimo algoritmo idėjas, kad pasiūlytų būdą žaisti pokerį telefonu, neperduodant informacijos per patikimą trečiąją šalį. Jų metodas buvo susijęs su prekyba iš šifruotos kaladės, tačiau Berklio profesorius Richardas Liptonas atkreipė dėmesį, kad dalinė informacija apie šifruotas korteles gali nutekėti ir leisti žaidėjui sukčiauti.
Taigi Goldwasseris ir jo kolega Berklio absolventas Silvio Micali ėmėsi iššūkio, kaip užšifruoti taip, kad visa dalinė informacija būtų įrodomai paslėpta. Jie pristatė tikimybinio arba atsitiktinių imčių šifravimo idėją: kiekvienas paprastasis tekstas turi turėti daug galimų šifravimo būdų, visi vienodai tikėtini, o pranešimą šifruojantis asmuo pasirinks vieną. Tada jie parodė, kad būtų neįmanoma atskirti dviejų tokiu būdu užšifruotų pranešimų, užtikrinant stiprų saugumo lygį, kurį jie vadino semantiniu saugumu.
Darbe išryškėjo bet kurios šifravimo sistemos, įskaitant ankstyvąsias RSA versijas, pažeidžiamumas, dėl kurio tą patį pranešimą visada galima užšifruoti vienodai, todėl buvo sukurti kriptografijos standartai, reikalaujantys naudoti tikimybinius šifravimo metodus, kad būtų išvengta to.
Goldwasser ir Micali sistema nuo tada buvo plačiai pritaikyta vertinant kriptografines sistemas ir kuriant naujas. Ir viešo rakto kriptografija su atsitiktine tvarka ilgainiui tapo interneto komercializavimo raktu – tai buvo vienintelis būdas saugiai siųsti kredito kortelių numerius internetu.
Goldwasseris ir Micali 1983 m. gavo paskyrimus į MIT fakultetą ir tęsė bendradarbiavimą. Dirbdami su Charlesu Rackoffu Toronto universitete, jie sukūrė naujo tipo matematinius įrodymus, vadinamus interaktyvia įrodymų sistema, kurioje matematinį faktą parodo interaktyvus klausimų ir atsakymų dialogas tarp įrodančiojo ir tikrintojo – matematinis analogas. 20 klausimų žaidimas. Viena iš tokių sistemų, vadinama nulinių žinių įrodymu, turi nuostabią savybę – neatskleidžia jokios informacijos, išskyrus paties įrodymo teisingumą. Nulinių žinių įrodymai buvo sujungti su „blockchain“ technologijomis, kad būtų sukurtos kriptovaliutos, leidžiančios patvirtinti, kad operacijos yra galiojančios, o detalės išsaugomos privačiai ir išsaugomas anonimiškumas.
Už savo darbą, plečiant skaičiavimo teoriją ir pritaikant ją praktinėms kriptografijos problemoms, Goldwasseris ir Micali pasidalijo Turingo apdovanojimu, laikomu Nobelio skaičiavimo premija.
Nuo 1993 m. Goldwasser paskyrimą į MIT fakultetą (dabar ji yra RSA Elektros inžinerijos ir kompiuterių mokslo profesorė) suderino su antrąja profesūra Izraelio Weizmanno mokslo institute. 2018 m. ji taip pat buvo paskirta tarpdisciplininio Simonso skaičiavimo teorijos instituto UC Berkeley direktore. Goldwasseris taip pat yra „Duality Technologies“ – startuolio, komercializuojančio homomorfinę kriptografiją, vienas įkūrėjų ir vyriausiasis mokslininkas. Ši nauja matematinė technologija leidžia atlikti mašininį mokymąsi naudojant šifruotus duomenis prieš tai jų neiššifravus, o tai artimiausiais metais pakeis mokslinius tyrimus medicinoje, ekonomikoje ir kitose privatumui jautriose srityse.