打开斑点时,宾夕法尼亚州是为了播放她在创建它时发行的股票。如果PA试图使用[BCC]的技术证明某些语句,则上一节的结果表明,正确创建和广播股票符合PA的利益。,但是在其他情况下,沟通失败或改变内心可能会阻止PA最终广播股票。即使其他参与者要公开PA的股票,以便在没有PA帮助的情况下打开Blob,他们也会遇到一个计算问题:不舒适的参与者可能会为其股份公开虚假价值,并且找到所代表的价值可能需要搜索与一个小于dypolnomial的size 2d-t的股票相一致的股份,该股票的份额多于dolynomial size size size size size size size size size size size size bicy的份额是一致的。更糟糕的是,如果PA创建Blob时已经在作弊,那么大多数投诉者可能会可靠。在这种情况下,不可靠的参与者可以在广播之间进行开放时选择,这些广播不会为秘密或其他广播留下独特的解决方案,这些解决方案会毫无意义地产生特定的价值。
安全多方计算(MPC)对于安全保护敏感数据至关重要。它允许两个或多个当事方共同对其私人数据进行计算,而无需透露输出以外的任何内容。因此,MPC保证了隐私和机密性等安全性。对功能的遗忘评估是加密设计中最重要的基础之一。在Rabin [1]的工作中,引入了遗忘转移(OT)的想法。ot考虑有两个方的设置:发件人和接收者。发件人有两个位s 0和s 1,而接收器只能根据他选择的b来学习一个位s b。稍后,在[2]中显示了OT可用于对任何加密函数的遗漏评估。在过去的三十年中,在基于OT的MPC协议的设计中取得了很大的进步。但是,值得注意的是,可以使用直接构造对特定类型的功能进行更有效的评估,从而绕开了对MPC的需求。考虑到这种观点,Naor等人。[3]设计了遗忘的多项式评估(OPE)。这是一个有用的原始性,它解决了在输入α上忽略评估多项式P的问题。更准确地说,OPE是两个不信任的政党之间的两党协议,其中一个政党(例如鲍勃)拥有一个私人多项式P(x),而另一个
安全的多方量子计算是一种牢固且分布的技术(即聚合,乘法,比较和排序)的一种技术。凝聚是安全多方量子计算的基本算术操作之一。安全的多方量子汇总包含一组秘密和一组玩家。这些秘密与总体球员共享,并且球员的门槛数量共同执行聚合,而无需透露其秘密。现有的汇总协议是(n,n)阈值方法,其中n代表参与者的总数。如果一个播放器不诚实,则聚合协议不能齐路。在本文中,我们提出了基于阈值的A(t,n)基于阈值的汇总协议,其中t代表播放器的阈值数量。该协议使用Shamir的秘密共享,量子状态,SUM GATE,量子傅里叶变换,盲矩阵和Pauli操作员来效率且安全地汇总秘密。所提出的协议可用于构建复杂的电路[1,2,3,4,5,6,7,8,9,9,10,11,12],例如电子投票和电子拍卖。
经过数十年的军事统治,尼日利亚自 1999 年以来一直是多党共和国。自 1999 年过渡以来,治理在许多方面都有所改善,但对政治对手和记者的镇压、腐败和安全部队滥用职权的现象仍然存在。2015 年,尼日利亚经历了政党之间的首次选举权力移交,总统穆罕默杜·布哈里当选。布哈里在 2019 年的民意调查中赢得连任,但民意调查显示投票率低、暴力事件频发,并有普遍的贿选指控,因此引发了观察人士对尼日利亚民主轨迹的担忧。下一届大选将于 2023 年举行。在尼日利亚的多党时代,主要政党经常在地区基础上轮换公职候选人,包括总统候选人——这是尼日利亚联邦制的几种民族地区权力分享安排之一。
摘要。非交互式零知识证明(NIZK)是阈值加密系统中的必不可少的构件,例如多党签名,分布式关键产生和可验证的秘密共享,允许当事方在不揭示秘密的情况下证明正确的行为。此外,普遍合并(UC)Nizks在较大的密码系统中启用无缝组成。构建Nizks的一种流行方式是使用Fiat-Shamir变换来编译交互式协议。不幸的是,菲亚特 - 沙米尔(Fiat-Shamir)转换的nizk需要倒带对手,并且不可直线提取,这与UC相反。使用Fischlin的转换具有直线提取性,但以基本协议的许多重复为代价,导致具体效率差且难以设定参数。在这项工作中,我们提出了一个简单的新变换,该转换将代数关系的Sigma协议编译为UC-NIZK协议,而没有任何重复的开销。
加拿大摘要Chatgpt和其他大语言模型(LLMS)的快速发展对其在机器人技术中的应用产生了极大的兴趣。本评论探讨了生成AI与机器人技术的集成,重点是诸如ChatGpt之类的LLMS如何增强机器人智能,人类机器人互动和任务计划。llms可以改善自然语言处理,促进人与机器人之间的更有效的沟通,同时也有助于机器人的感知,决策和控制,例如视觉,听觉和触觉输入。审查研究了LLMS支持七种机器人智能的潜力,同时由于围绕自我意识和偏见的道德问题而解决了人际关系智能的排除。讨论了将CHATGPT纳入任务计划的新方法,尤其是使用国家意识来改善机器人自主权和适应性。还考虑了增强学习在优化基于LLM的机器人系统中的作用,尤其是在增强决策和生成现实的培训数据方面。最后,审查概述了将生成AI整合到机器人技术中的挑战和未来的研究方向,重点关注诸如过时的知识,多党相互作用和运动控制之类的克服局限性。
摘要。Quantum密码学允许实现仅使用经典加密术的无法体现的安全目标:它提供了永恒隐私的承诺。也就是说,试图攻击协议的对手必须在协议运行期间取得成功。协议终止后,安全性无条件地保持。在这项工作中,我们启动了一种新模型的研究,我们称之为量子脱位模型(QDM)。在简而言之,该模型捕获了在协议运行期间(以及之后的一段时间)在计算上界限的对手,但在协议终止后很长时间就会成为计算无限的。重要的是,一旦对手变得计算无限,他只能记住在取消计算界限之前的界数。我们提供了通用合并性框架的一种变体,该框架捕获了量子反应的新概念,并用量子随机甲壳增强了量子。作为我们的主要贡献,我们构建了一个非交互承诺计划,该计划实现了针对恶意发件人的无条件和统计安全性,并根据我们的新安全概念对恶意接收者进行了永恒的安全。此类承诺意味着具有永恒安全性的一般安全多党计算。最后,我们证明我们的核心技术可以应用于更广泛的概率。我们表明,它在QDM中引起了永恒的公钥加密和OT。在我们构造的技术核心上是一种新的,概念上简单而强大的反向熵不确定性关系。最后,我们还考虑了在量子反应的设置中不可压缩加密的较弱概念,并表明Quantum Ind-CPA安全后安全的公钥加密足以实现此概念而不诉诸随机口腔。
最初在[35]中引入了零知识(ZK)协议的头部范式中的多党计算(MPC),作为提供此类ZK协议的更好的理论和渐近构造的工具。一般设置如下:鉴于任何NP关联R(X,W),我们想设计一个ZK-protocol,供供供Prover P说服了一个验证者V,他知道有效的证人w对于公共价值X,而无需透露w的任何信息。此(两方)的供应库是由一般的MPC协议构建的,其中n派对z 1,z 2,。。。,z n检查他们是否共同为X共享有效的证人W。最常见的方法是假设W以W = w = w 1的形式编码W = w1⊕w2⊕···w n,其中每个方z i拥有相应的共享w i,并且存在有效的协议π以验证共享是否正确。在这种情况下,MPC in-the-The-The-The-The-The-The-The-The Brover P创建了他的秘密W,模拟执行π的新作品,并在此执行中对当事人的观点提出了贡献。之后,Verifier V要求打开这些视图的子集,并验证所有打开的视图都在播放和一致。如果原始的多方协议是针对开放子集的私有的,即保证这些参与者不能共同恢复秘密,则由此产生的两党协议将变为零知识。可以使用其他类型的共享技术,而不是简单的w = w = w1⊕w 2⊕···w n;例如,这是[28]中的情况。尽管对量子后签名没有用,但此示例启发了本文。在cbcrypto'23的邀请演讲中给出了另一个有趣的示例,显示了MPC在头中的应用到离散对数[37]。有关完整性,我们回想起第4节中的这个离散对数示例的描述。以此为灵感来源,我们描述了MPC在头上的应用,以创建有效的同构和小组动作问题的量子后签名。将集体操作通常用于加密目的的想法源自[16]。多年来,在加密结构中考虑了与该框架兼容的各种问题。最具象征意义的可能是图形同构问题,它已经在一些有关零知识的开创性论文中出现了[31,6,32]。但是,文献包含同构和群体作用问题的许多口味。由于并非全部适合我们的目的,我们讨论同构