She is the co-inventor of zero-knowledge proofs, which probabilistically and interactively demonstrate the validity of an assertion without conveying any additional knowledge, and are a key tool in the design of cryptographic protocols.
Таа е заеднички пронаоѓач на докажувањето со нула-знаење, кое веројатносно и интерактивно ја демонстрира валидноста на тврдењето, без да пренесат дополнителни знаења, и се клучна алатка во дизајнирањето на криптографски протоколи.