Cynthia Dwork

，並且答案能被服務方快速驗算，以此耗用的時間、設備與能源做為擔保成本，以確保服務與資源是被真正的需求所使用。此概念最早由Cynthia Dwork（英语：Cynthia Dwork）和Moni Naor（英语：Moni Naor）於1993年的學術論文提出，而工作量證明一詞則是在1999年由Markus

力。这一概念被朱利安·阿桑奇和拉尔夫·温曼在 Rubberhose 文件系统中使用，并在一篇 1996 年由 Ran Canetti, Cynthia Dwork, Moni Naor 和 Rafail Ostrovsky 撰写的论文中详细讨论。 See http://www.schneier

年与岩泽健吉分享美国数学会所设之科尔数论奖。 德沃克曾使用假名Maurizio Boyarsky发表过两篇论文。他的女儿辛西娅·德沃克（Cynthia Dwork）为计算机科学家, 哈佛大学教授。 德沃克最知名的贡献是他对有限域上代数簇的 zeta 函数的有理性的证明。在这个证明中，他提出了所谓“

2017年 – Oded Goldreich 2018年 – Johan Håstad 2019年 – 阿維·威格森 2020年 – Cynthia Dwork 2021年 – 摩西·瓦尔迪 2022年 – 諾加·阿隆 ACM Awards Knuth Prize to Pioneer for Advances

attack）。由此可以推知，在绝大多数情况下，如不注入一定程度的噪声，就无法确保隐私。这一结论引出了差分隐私的研究。 2006年，辛西娅·德沃克（英语：Cynthia Dwork）、弗兰克·麦克雪丽（英语：Frank McSherry）、科比·尼西姆（英语：Kobbi Nissim）和亚当·D·史密斯（英语：Adam