在线动画手机网站模板一键免费开网店app

在线动画手机网站模板,一键免费开网店app,关键词优化公司兴田德润优惠吗,苏州网站设计电话安全多方计算#xff1a;在保护隐私的前提下协同计算 安全多方计算#xff08;MPC#xff09;是一种计算范式#xff0c;允许多个参与方在不泄露任何私人信息的情况下共同计算一个聚合函数[citation:5]。例如#xff0c;多方可以在不透露各自具体薪资的情况下#xff0c;…安全多方计算在保护隐私的前提下协同计算安全多方计算MPC是一种计算范式允许多个参与方在不泄露任何私人信息的情况下共同计算一个聚合函数[citation:5]。例如多方可以在不透露各自具体薪资的情况下计算出平均薪资。这项技术已在拍卖设计、密码学、数据分析、数字钱包安全和区块链计算等领域得到应用[citation:5]。2023年计算机协会ACM分布式计算领域的Dijkstra奖授予了三篇关于安全MPC的奠基性论文[citation:5]。其中一篇题为《可验证秘密共享与诚实多数的多方协议》的论文源于某中心密码学团队高级首席科学家塔尔·拉宾的博士论文[citation:5]。该奖项以计算机科学先驱艾兹格·W·迪杰斯特拉的名字命名旨在表彰在分布式计算原理方面具有长期显著影响力的杰出论文[citation:4]。从计算安全到信息论安全的突破安全MPC领域始于1982年当时计算机科学家姚期智发表了关于安全两方计算的论文[citation:5]。然而该MPC方案的安全性依赖于“大整数难以分解”这一计算假设。这立即引发了一个更深层的问题即使在对手拥有无限计算资源例如未来的量子计算机的情况下安全的MPC是否仍然可能这种不考虑对手计算能力限制的设定被称为“信息论安全”[citation:5]。2023年获得Dijkstra奖的前两篇论文证明如果计算参与者中不超过三分之一是恶意共谋的那么信息论安全的MPC是可行的[citation:5]。而塔尔·拉宾与迈克尔·本-奥尔合作的论文将这一恶意参与者的容忍比例提高到了约二分之一。这一比例在信息论设置中被证明是可达到的理论极限同时也是姚期智在其原始计算有界模型中证明的阈值[citation:5]。这一突破意味着即使在多达半数的参与者可能串通作弊的极端情况下系统依然能够保障计算的隐私性与正确性。信息检查数字签名在信息论下的替代方案拉宾和本-奥尔论文的核心贡献之一是将“数字签名”的概念适配到信息论安全的环境中。他们提出了一种称为“信息检查”的方法[citation:5]。该方法虽然不如传统数字签名功能强大但其优势在于不对恶意参与者的计算能力做任何假设从而实现了信息论安全。该协议涉及三个角色分发者、中介和接收者。为了模仿数字签名的安全保证信息检查必须满足两个关键标准[citation:5]正确性如果分发者和接收者是诚实的那么接收者将始终接受合法的信息并以极高的概率拒绝任何欺诈性替换。可预测性无论分发者是否诚实中介都能以高概率预测接收者是否会接受该信息。这两个标准共同确立了系统的可靠性只要分发者和中介两者中至少有一方是诚实的任何欺诈行为都能被检测出来。零知识证明的巧妙应用为了满足上述第二个标准可预测性拉宾和本-奥尔引入了“零知识证明”机制[citation:5]。这是一种允许一方证明自己知道某个值却无需透露该值具体内容的密码学工具。在具体实现中分发者不是用一组随机数来处理待发送的秘密而是使用多组随机数生成多对关联的校验值。在将这些校验值对发送给接收者后中介会随机挑选其中一半并要求接收者公开它们。由于中介知道秘密的原始值它可以验证这些公开的校验值是否正确。这样一来中介就能以高概率判断分发者是否诚实。同时由于中介不知道未被公开的那一半校验值即使它自己不诚实也无法系统地伪造信息来欺骗接收者。从弱秘密共享到可验证秘密共享接下来研究人员将上述两人之间的协议推广到多个接收者的场景。他们证明该协议能够实现“弱秘密共享”[citation:5]。这意味着如果所有接收者试图共同复原一个秘密结果只有两种可能要么成功复原出正确的值要么整个计算失败、无法得出任何结果。然而要构建一个完整的安全多方计算框架需要更强大的“可验证秘密共享”作为基础[citation:5]。拉宾和本-奥尔论文的第二个主要贡献正是提供了一种方法能够利用弱秘密共享来实现可验证秘密共享。在他们的协议中发送给所有接收者的校验值对都是通过同一个多项式函数生成的。为了证明秘密已被正确分享分发者需要向所有参与者证明所有接收到的校验值对都符合这个统一的多项式——同时仍然不泄露多项式本身。实现这一目标的工具依旧是零知识证明[citation:5]。这项发表于35年前的研究为当今安全MPC协议的设计奠定了坚实的理论基础[citation:5]。随着通用量子计算机的逐步发展基于计算复杂性假设的传统密码学面临挑战信息论安全的密码方法因此显得愈发重要。这项早期工作所确立的协议构造范式和安全性边界至今仍在指引着隐私计算技术的发展方向。更多精彩内容 请关注我的个人公众号 公众号办公AI智能小助手或者 我的个人博客 https://blog.qife122.com/对网络安全、黑客技术感兴趣的朋友可以关注我的安全公众号网络安全技术点滴分享