XiaoMi-AI文件搜索系统
World File Search System多轮
机器检查多轮杂乱证明：terelius- ...
shuffls在纸系统中使用的物理投票箱几乎相同的方式用于电子投票：（加密）选票输入到shuffle中，并以随机顺序输出（加密）选票，从而破坏选民身份和选票之间的链接。为了确保不添加，省略或更改的选票，零知识证明（称为shuffle的证明）可用于提供公开的能够验证的转录本，以证明输出是输入的重新加密置换的。实际上，最突出的shu e e证据是由于Terelius和Wikstréom（TW）以及Bayer and Groth（BG）造成的。tw更简单，而在带宽和计算方面，BG更有效。对更简单（TW）SHU e的证明的安全性已经进行了机器检查，但几家著名供应商坚持使用更复杂的BG证明SHUfflE的证明。在这里，我们通过COQ证明辅助剂来检查拜耳格罗斯（Bayer-Groth）的安全性证明。然后，我们提取检查拜耳 - 格罗斯（Bayer-Groth Implentions）产生的成绩单所需的verifier（软件），并使用它来检查瑞士国家选举中的瑞士邮报的成绩单。
改良的多轮德尔菲研究结果
简介：预测肿瘤学、种系技术和自适应无缝试验是治疗致命癌症的有希望的进展。然而，昂贵的研究、监管障碍和因 COVID-19 大流行而加剧的结构性不平等阻碍了这些疗法的获得。方法：为了满足对快速和更公平地获得致命癌症突破性疗法的全面战略的需求，我们与加拿大、欧洲和美国的 70 名肿瘤学、临床试验、法律和监管流程、患者权益、伦理、药物开发和卫生政策专家进行了一项改良的多轮德尔菲研究。半结构化民族志访谈（n = 33）用于确定问题和解决方案，参与者随后在调查（n = 47）中对其进行了评估。调查和访谈数据被共同分析，以完善面对面圆桌会议的主题，26 名参与者在会上审议并起草了系统变革建议。结果：参与者强调了患者获取新型疗法的主要问题，包括完成资格要求或参与试验所需的时间、成本和交通负担。只有 12% 的受访者对当前的研究系统表示满意，其中“患者获取试验”和“研究批准延迟”是最受关注的问题。结论：专家一致认为，应开发以公平为中心的精准肿瘤学沟通模式，以改善患者获取自适应无缝试验、资格改革和即时试验激活的机会。国际倡导团体是动员患者信任的关键因素，应参与研究和治疗批准的每个阶段。我们的结果还表明，政府可以通过让研究人员和付款人参与生态系统方法，以应对危及生命的癌症患者面临的独特临床、结构、时间和风险收益状况，从而促进更好、更快地获得救命的疗法。
多轮协议的量子回溯
简洁论证 [Kil92、Mic94] 允许证明者说服验证者语句 x 属于语言 L，并且通信长度短于对应关系的见证长度。简洁论证已成为现代密码学的基石，并推动了许多现实世界应用的发展，如可验证计算和匿名加密货币。近年来，基于各种密码学假设，简洁论证的构造呈爆炸式增长。然而，量子计算的出现对这些进步构成了重大威胁。一方面，Shor 算法 [Sho94] 迫使我们过渡到基于后量子假设的密码系统，例如带错学习 (LWE) 问题的难度 [Reg05]。另一方面，由于量子信息的根本性质不同，一些已知的证明密码协议安全性的技术不再适用于后量子时代。最值得注意的是倒带技术，这种技术在简洁论证的安全性证明中无处不在。在倒带证明中，有人认为，如果对手在一次随机挑战中以足够高的概率取得成功，那么他一定能在多次挑战中取得成功。这种经典的直观想法在量子环境中不成立，因为测量对手对一次挑战的反应会导致不可逆转的信息丢失，这可能使其无法用于回答其他挑战。一类重要的简洁论证是基于 [ BCC + 16 , BBB + 18 ] 递归折叠技术的交互式协议，在文献中也称为 Bulletproofs 。利用密码方案的代数性质，类似 Bulletproofs 的协议可以实现比基于 PCP 和 IOP 的简洁论证 [ Kil92 , BCS16 ] 小得多的证明大小，同时保留公共币设置的好处。然而，与基于 PCP 和 IOP 的论证不同，原始的 Bulletproofs 构造不是后量子安全的，而是基于离散对数问题的难度。这激发了一系列旨在设计“后量子 Bulletproofs” [BLNS20、AL21、ACK21、BCS21] 的工作。虽然这些工作不依赖于量子不安全的加密假设，但它们对后量子安全性的分析只是启发式的，因为健全性只能在面对经典对手时才能体现出来。受此情况的启发，我们提出以下问题：
