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

Фундаментальные работы Голдвассер по доказательствам с нулевым разглашением и криптографии сложности заложили формальные инструменты и понятия безопасности, лежащие в основе современной инженерии приватности. Для проектов вроде ARPA, реализующих MPC в экосистеме, где широко используются zero‑knowledge‑методы, SNARK и сопутствующие методы ончейн‑верификации, эти теоретические результаты служат ориентиром для сопоставления гарантий безопасности и компромиссов по производительности. Техники нулевого разглашения позволяют получать компактные доказательства корректности вычислений, тогда как MPC предоставляет интерактивные протоколы для вычислений без раскрытия входов; взаимодействие этих парадигм определяет многие архитектурные решения в инфраструктуре приватности. Исследования Голдвассер также углубили понимание моделей противника, парадигм симуляции и композиционности — концептов, которые ARPA должна реализовывать на практике при проектировании механизмов стимулов, систем репутации узлов и возможностей аудита. Таким образом её научное наследие присутствует и в криптографических примитивах, и в языке оценок безопасности, который ARPA использует для обоснования протокольных решений и коммуникации с партнёрами и регуляторами.