Гольдвассер, Шафи

Родилась в 1959 году в Нью-Йорке в семье израильтян. Вскоре после её рождения семья вернулась в Израиль, где Гольдвассер выросла и окончила школу в Тель-Авиве, после чего вернулась в США для получения высшего образования.

Получила степень бакалавра по математике в университете Карнеги — Меллон в 1979 году, после чего поступила в Калифорнийский университет в Беркли, где получила степени магистра (1981) и доктора философии по информатике (1984)^[12]. Её научным руководителем был Мануэль Блюм^[13].

В 1983 году начала преподавать в Массачусетском технологическом институте^[13]. С 1993 года — дополнительно работает профессором в институте Вейцмана^[12][13]. С 1 января 2018 года по август 2024 года занимала должность директора Института Саймонса по теории вычислений в Беркли, после чего заняла в институте пост директора по исследованиям (Research Director).

Шафи Гольдвассер известна своими фундаментальными работами в области криптографии и теории сложности вычислений, за которые она, совместно с Сильвио Микали, была удостоена премии Тьюринга в 2012 году^[14].

Ключевые научные достижения:

• Вероятностное шифрование (англ. Probabilistic Encryption). Гольдвассер является соавтором этой концепции, заложившей основы современной криптографии. В 1982 году вместе с Сильвио Микали она разработала первую доказуемо стойкую схему вероятностного шифрования с открытым ключом, известную как криптосистема Гольдвассер — Микали (GM). Эта система ввела стандарт семантической стойкости для шифрования, предложив метод, при котором одно и то же сообщение шифруется разными способами, что скрывает информацию о зашифрованных данных.

• Доказательство с нулевым разглашением (англ. Zero-Knowledge Proofs). Гольдвассер — одна из создателей интерактивных доказательств с нулевым разглашением^[14]. Это криптографический протокол, который позволяет одной стороне (доказывающей) убедить другую (проверяющую) в истинности утверждения, не раскрывая никакой дополнительной информации, кроме самого факта истинности. Эти протоколы являются ключевым инструментом в криптографических системах и находят применение в таких технологиях, как блокчейн и криптовалюта, для обеспечения конфиденциальности^[14].

• Теория сложности вычислений. Гольдвассер внесла значительный вклад в эту область, в частности, в классификацию задач аппроксимации. Её работы показали, что некоторые NP-трудные задачи остаются сложными даже тогда, когда требуется найти лишь приблизительное решение. Она также является одним из пионеров в области интерактивных и многопроверковых систем доказательств (позже названных вероятностно проверяемыми доказательствами, PCP), которые связывают теорию доказательств с трудностью нахождения приближённых решений для комбинаторных задач.

• Тесты простоты на основе эллиптических кривых. В области вычислительной теории чисел Гольдвассер совместно с Джо Килианом разработала метод проверки простоты чисел с использованием эллиптических кривых^[15].

За свой вклад в науку Шафи Гольдвассер была удостоена множества наград, почётных званий и членства в ведущих научных организациях.

Шафи Гольдвассер была научным руководителем для множества аспирантов, которые впоследствии стали известными исследователями и лауреатами престижных премий в области теоретической информатики.

• Йохан Хостад — шведский учёный в области теоретической информатики, один из первых аспирантов Гольдвассер^[32]. Известен своими работами по теории сложности вычислений. Является лауреатом двух премий Гёделя (1994 и 2011) и премии Кнута (2018)^[33].
• Салил Вадхан (англ. Salil Vadhan) — профессор компьютерных наук и прикладной математики в Гарвардском университете. Его исследования охватывают теорию сложности, криптографию и конфиденциальность данных. Лауреат премии Гёделя (2009) и исследователь фонда Саймонса (Simons Investigator)^[34][35].
• Амит Сахаи (англ. Amit Sahai) — профессор Калифорнийского университета в Лос-Анджелесе (UCLA). Является соавтором таких концепций, как шифрование на основе атрибутов (Attribute-Based Encryption) и неразличимая обфускация. Удостоен премии Хельда от Национальной академии наук США (2022), является исследователем фонда Саймонса и членом ACM^[32].
• Винод Вайкунтанатан — профессор Массачусетского технологического института (MIT). Один из изобретателей современных систем полностью гомоморфного шифрования. За эту работу был удостоен премии Гёделя в 2022 году^[36].
• Яэль Тауман Калай — старший научный сотрудник Microsoft Research и адъюнкт-профессор в MIT. Получила премию ACM в области вычислительной техники в 2022 году за прорыв в области верифицируемого делегирования вычислений^[37]. Её докторская диссертация, написанная под руководством Гольдвассер, получила премию Джорджа Спроулза за лучшую диссертацию в области компьютерных наук в Беркли^[38].