ACM has named Yael Tauman Kalai to receive the 2022 ACM Prize in Computing for fundamental contributions to cryptography that have influenced modern practices.
Kalai created techniques for generating succinct proofs that certify the correctness of any computation, allowing weak devices to offload any computation to stronger devices while upholding efficient correctness checks.
Her research spearheaded the study of "doubly efficient" interactive proofs, which guarantee small computational overhead on strong devices, making verifiable delegation practical.
Kalai's cryptographic development of certificates of computation tapped quantum informational "non-signaling" strategies to erect a one-round delegation scheme for any computation.
ACM President Yannis Ioannidis described Kalai as “a true star all around,” adding, “she has also established herself as a respected mentor, inspiring and cultivating the next generation of cryptographers.”
From ACM
View Full Article
Abstracts Copyright © 2023 SmithBucklin, Washington, D.C., USA
No entries found