沙菲·戈德瓦瑟
人物简介
沙菲·戈德瓦瑟参与奠定了现代密码学与计算证明的重要理论基础。
沙菲·戈德瓦瑟是理论计算机科学家，研究密码安全与计算证明。她与合作者建立概率加密和零知识证明等方法，并研究数字签名、素性证明、性质测试与可验证计算，使“安全”与“可信验证”成为能够精确定义和分析的问题。
与Micali合作提出概率加密（1982）与零知识交互证明（1985），2012年图灵奖
公开来源
评分详情
已评估 7 组贡献，仍在补充。
评估范围
本轮当前已列7项有限研究账；M与归功份额为可修订判断。未覆盖内容和未核清的负面作用不按零处理，具体缺口见逐项说明。
其中 7 项仍含暂估信息，具体缺口见对应贡献。
计算方式
Q = 10^(M/2) − 1；Lᵢ = aᵢ × Qᵢ；L = Σ Lᵢ；S = 2 × log₁₀(1 + L)。
M 表示成果量级，a 表示个人分配份额。每项单项折合分只能用于观察单项尺度，不能直接相加；可相加的是按个人份额分配后的个人亮度。
本次计算的总亮度为 3024.670119。
逐项贡献明细
点击成果可查看评分依据、共同贡献分配与来源。
概率加密与语义安全框架OUT-SL1750-1982-1984-PROBABILISTIC-ENCRYPTION-SEMANTIC-SECURITY · 1982–1984 · 缺证暂估6.737%827.95682127.3735%5.84
把安全从破解全部明文推进到对部分信息泄露的形式定义，并用随机化构造连接定义与证明。
- M 的依据
- 是跨密码学广泛复用的基础定义与构造方法，接近信息论大锚但范围限计算安全。
- 个人份额的依据
- 沙菲·戈德瓦瑟 .37；西尔维奥·米卡利 .37；公钥密码与复杂性前史 .12；原始评审出版链 .05；未解析份额 .09。对称份额是当前证据下的研究判断，不代表实际劳动完全相等。
- 重叠处理
- 只计Goldwasser–Micali概率加密与语义安全定义；数字签名是不同认证终态，另点计算且只把共有复杂性方法作为前史。
共同贡献分配
- 沙菲·戈德瓦瑟 · 37%
- 西尔维奥·米卡利 · 37%
- 公钥密码与复杂性前史 · 12%
- 原始评审出版链 · 5%
- 未解析份额 · 9%
待补：概率加密原论文此次未重新逐页核读；伪随机函数等相邻成果仍需具体论文边界
交互证明与零知识证明系统OUT-SL1750-1985-1989-INTERACTIVE-ZERO-KNOWLEDGE · 1985及正式扩展 · 缺证暂估6.827%677.93933722.4137%5.66
把“说服验证者”与“除真值外不泄露知识”形式化，并给出二次剩余相关实例。
- M 的依据
- 概念和形式模型均具基础性，跨理论计算与密码学，故与概率加密同属高M方法。
- 个人份额的依据
- 沙菲·戈德瓦瑟 .27；西尔维奥·米卡利 .27；查尔斯·拉科夫 .27；证明复杂性与密码前史 .10；原始评审出版链 .04；未解析份额 .05。对称份额是当前证据下的研究判断，不代表实际劳动完全相等。
- 重叠处理
- 计三人论文所定义和展示的交互/零知识证明终态；不领取区块链、身份系统或所有后续零知识协议。
共同贡献分配
- 沙菲·戈德瓦瑟 · 27%
- 西尔维奥·米卡利 · 27%
- 查尔斯·拉科夫 · 27%
- 证明复杂性与密码前史 · 10%
- 原始评审出版链 · 4%
- 未解析份额 · 5%
待补：本次核读题名、作者、摘要及STOC书目；正式期刊扩展的全部定理未逐页复核；交互证明更早前史仍为集合预算
自适应选择消息攻击安全的数字签名方案OUT-SL1750-1984-1988-ADAPTIVE-CHOSEN-MESSAGE-SECURE-SIGNATURES · 1984初稿、1988期刊版 · 缺证暂估6.427%427.65116214.1388%5.26
将攻击者可自适应请求签名后的不可伪造性作为强安全边界，并给出基于明确计算假设的构造。
- M 的依据
- 具有独立于保密加密的认证目标、强攻击模型和具体构造，覆盖广泛密码协议基础，但范围仍限计算安全。
- 个人份额的依据
- 沙菲·戈德瓦瑟 .27；西尔维奥·米卡利 .27；罗恩·里维斯特 .27；数字签名与公钥密码前史 .11；原始评审出版链 .04；未解析份额 .04。对称份额是当前证据下的研究判断，不代表实际劳动完全相等。
- 重叠处理
- 计三人提出能抵抗自适应选择消息攻击的数字签名安全目标、基于因子分解/无爪置换的方案和证明；不领取所有数字签名、PKI、互联网认证或部署收益。
共同贡献分配
- 沙菲·戈德瓦瑟 · 27%
- 西尔维奥·米卡利 · 27%
- 罗恩·里维斯特 · 27%
- 数字签名与公钥密码前史 · 11%
- 原始评审出版链 · 4%
- 未解析份额 · 4%
公开来源
待补：本次实际读取SIAM完整书目和摘要，正文在付费墙后未读；不从“potentially practical”推定真实部署效果
GKR可验证委托计算交互证明OUT-SL1750-2008-GKR-DELEGATED-COMPUTATION-INTERACTIVE-PROOFS · 2008 · 缺证暂估6.227%339.63986111.2290%5.06
把交互证明配置为客户端验证服务器计算，给出低于重算的验证与通信边界。
- M 的依据
- 将早期交互证明转化为不同的委托验证终态，兼有理论模型与效率边界，范围广但不等同所有可验证计算。
- 个人份额的依据
- 沙菲·戈德瓦瑟 .27；雅埃尔·陶曼·卡莱 .27；盖伊·罗斯布卢姆 .27；交互证明、委托验证与电路前史 .11；原始评审出版链 .04；未解析份额 .04。对称份额是当前证据下的研究判断，不代表实际劳动完全相等。
- 重叠处理
- 计Goldwasser、Kalai、Rothblum 2008年让较弱客户端与服务器交互验证所委托计算正确性的协议及复杂度结论；不领取云服务、区块链、SNARK或后续GKR优化。
共同贡献分配
- 沙菲·戈德瓦瑟 · 27%
- 雅埃尔·陶曼·卡莱 · 27%
- 盖伊·罗斯布卢姆 · 27%
- 交互证明、委托验证与电路前史 · 11%
- 原始评审出版链 · 4%
- 未解析份额 · 4%
公开来源
待补：实际读取官方书目与摘要，未逐节核验完整证明；不据渐近摘要推定工程可用性或部署
性质测试模型与次线性检验方法OUT-SL1750-1990S-PROPERTY-TESTING · 1990年代 · 缺证暂估6.030%299.7000009.9085%4.96
形式化无需读取全部输入即可判断对象是否具有或远离某性质的模型与算法。
- M 的依据
- 模型抽象度高、跨图与函数等对象复用，达到重要计算方法量级。
- 个人份额的依据
- 沙菲·戈德瓦瑟 .30；奥德·戈德赖希 .30；达娜·朗 .30；随机算法与复杂性前史 .06；原始评审出版链 .02；未解析份额 .02。对称份额是当前证据下的研究判断，不代表实际劳动完全相等。
- 重叠处理
- 计三人建立的性质测试模型与代表性方法；不领取整个次线性算法领域的后续成果。
共同贡献分配
- 沙菲·戈德瓦瑟 · 30%
- 奥德·戈德赖希 · 30%
- 达娜·朗 · 30%
- 随机算法与复杂性前史 · 6%
- 原始评审出版链 · 2%
- 未解析份额 · 2%
公开来源
待补：需补奠基论文题名、版本与具体性质实例；应用收益不回灌
椭圆曲线素性证明方法OUT-SL1750-1986-ELLIPTIC-CURVE-PRIMALITY-PROOFS · 1986及后续 · 缺证暂估5.640%251.9829388.3309%4.81
以椭圆曲线构造可高效验证的素性证明路线。
- M 的依据
- 方法有明确独立终态和算法价值，范围窄于密码学两大基础族。
- 个人份额的依据
- 沙菲·戈德瓦瑟 .40；乔·基利安 .40；素性判定与椭圆曲线前史 .12；原始评审出版链 .04；未解析份额 .04。对称份额是当前证据下的研究判断，不代表实际劳动完全相等。
- 重叠处理
- 只计Goldwasser–Kilian素性证明方法，不领取后续独立素性算法或椭圆曲线密码系统。
共同贡献分配
- 沙菲·戈德瓦瑟 · 40%
- 乔·基利安 · 40%
- 素性判定与椭圆曲线前史 · 12%
- 原始评审出版链 · 4%
- 未解析份额 · 4%
公开来源
待补：需补原论文正文和算法复杂度条件；后续改进不纳入本预算
1988年多证明者交互证明模型OUT-SL1750-1988-MULTIPROVER-INTERACTIVE-PROOFS · 1988 · 缺证暂估6.020%199.8000006.6057%4.61
把证明交互扩展到互不通信的多个证明者，使验证能力与复杂性结构出现新的可形式化边界。
- M 的依据
- 模型改变证明系统的参与结构并有明确四人论文终态，属于重要复杂性方法；范围严格窄于整个PCP路线。
- 个人份额的依据
- 迈克尔·本-奥尔 .20；沙菲·戈德瓦瑟 .20；乔·基利安 .20；阿维·维格德森 .20；交互证明与复杂性前史 .12；原始评审出版链 .04；未解析份额 .04。对称份额是当前证据下的研究判断，不代表实际劳动完全相等。
- 重叠处理
- 只计Ben-Or、Goldwasser、Kilian、Wigderson 1988年多证明者交互证明论文的模型与定理；不领取后来的PCP定理、局部检查或近似困难性成果。
共同贡献分配
- 迈克尔·本-奥尔 · 20%
- 沙菲·戈德瓦瑟 · 20%
- 乔·基利安 · 20%
- 阿维·维格德森 · 20%
- 交互证明与复杂性前史 · 12%
- 原始评审出版链 · 4%
- 未解析份额 · 4%
公开来源
待补：本次读取MIT作者出版目录，未取得论文摘要或正文，具体定理表述保持有界；不据目录声称整个PCP/近似困难性贡献
没有与当前查找条件匹配的项目。
未计入的项目与原因（3）
- GOLDWASSER-MULTIPARTY-COMPUTATION-SPECIFIC-CONTRIBUTIONS · 安全多方计算的具体原创贡献：ICM摘要证明她系统讲述该领域，但不证明每种协议为其原创；待补具体论文和共同作者。
- GOLDWASSER-ACADEMIC-LEADERSHIP · 教学与机构领导：职位不自动构成独立成果，尚缺具体课程或制度交付。
- GOLDWASSER-POSTQUANTUM-AND-QUANTUM-CRYPTOGRAPHY · 后期量子与后量子密码研究：现有补充包未提供具体原论文、共同作者和独立终态，仍保留缺口。
下载原始公开 JSON ↘ · 未取整数值与计算口径保存在文件中