XiaoMi-AI文件搜索系统
World File Search SystemProof
QMA 的零知识证明系统 | 第 49 卷，第 2 期
摘要。先前的研究已经确定，NP 中的所有问题都允许经典的零知识证明系统，并且在合理的量子计算难度假设下，这些证明系统可以抵御量子攻击。我们证明了一个结果，该结果代表了这一事实的进一步量子概括，即复杂度类 QMA 中的每个问题都有一个量子零知识证明系统。更具体地说，假设存在一个无条件约束和量子计算隐藏承诺方案，我们证明复杂度类 QMA 中的每个问题都有一个量子交互式证明系统，该系统对于高效量子计算是零知识的。我们的 QMA 证明系统对任意量子证明者都是可靠的，但只需要一个诚实的证明者执行多项式时间量子计算，前提是它持有所考虑的 QMA 问题给定实例的量子见证。证明系统依赖于 QMA 完全局部汉密尔顿问题的新变体，其中局部项由 Clifford 操作和标准基础测量描述。我们相信该问题的 QMA 完全性在量子复杂性中可能有其他用途。
神经网络的有效且可扩展的零知识证明框架
近年来，云供应商已开始通过提供训练有素的神经网络模型来提供付费服务进行数据分析。但是，面对懒惰或恶意供应商，客户缺乏工具来验证云供应商提供的结果是否是正确推断的。称为零知识证明（ZKP）的Cryp-tographic原始人解决了此问题。它使结果可以进行验证，而无需泄漏有关模型的信息。不幸的是，神经网络的现有ZKP方案具有较高的计算开销，尤其是对于神经网络中的非线性层。在本文中，我们提出了为神经网络的有效且可扩展的ZKP框架。我们的工作改善了非线性层的证明的性能。与以前依靠位分解技术的工作相比，我们将非线性关系转换为范围和指数关系，这大大减少了证明非线性层所需的约束数量。此外，我们采用模块化设计，使我们的框架与更多的神经网络兼容。具体来说，我们提出了两个增强的范围和查找证明作为基本块。他们有效地证明了范围和指数关系的满意度。然后，我们使用少量范围和指数关系来限制原始非线性操作的正确计算。最后，我们建立了从原始操作到整个神经网络的ZKP框架，从而为各种神经网络提供了灵活性。6×（最多477。我们将ZKP实施用于卷积和变压器的网络网络。评估结果表明，我们的工作达到了168多个。2×）分离的非线性层和41的加速。与最先进的作品Mystique相比，整个Resnet-101卷积神经网络的4倍加速度。此外，我们的工作还可以证明GPT-2是一种具有1.17亿个参数的变压器神经网络，287。1秒，达到35。超过ZKML的7×加速度，这是支持变压器神经网络的最先进的工作。
私人职业卫生提供者用于疫苗接种和免疫证明
舰队街诊所，该诊所提供职业健康疫苗接种并测试各种部门和行业，例如医疗保健，教育，媒体，旅行，建筑和招待。他们提供的一些疫苗是乙型肝炎，乙型肝炎，流感，MMR，脊髓灰质炎，白喉和破伤风，狂犬病，伤寒，水疗和黄热病。他们还为丙型肝炎免疫和结核病筛查提供了血液检查。
机身边界层吸入推进的概念验证研究
1 Bauhaus Luftfahrt eV，Willy-Messerschmitt-Str. 1，82024 Taufkirchen，德国；anais.habermann@bauhaus-luftfahrt.net（ALH）；fabian.peter@bauhaus-luftfahrt.net（FP）；florian.troeltsch@bauhaus-luftfahrt.net（FT）2 剑桥大学 Whittle 实验室，1 JJ Thomson Av.，剑桥 CB30DY，英国；ac2181@cam.ac.uk 3 代尔夫特理工大学航空航天工程学院，2629 代尔夫特，荷兰；b.dellacorte@tudelft.nl（BDC）；m.vansluis@tudelft.nl（MvS）4 华沙理工大学动力与航空工程学院，Pl. Politechniki 1, 00-661 华沙，波兰；goraj@meil.pw.edu.pl（ZG）；mkowalski@meil.pw.edu.pl（MK） 5 查尔姆斯理工大学力学与海洋科学系流体动力学系，412 96 哥德堡，瑞典；xin.zhao@chalmers.se（XZ）；tomas.gronstedt@chalmers.se（TG） 6 工程高级计划，MTU Aero Engines AG，80995 慕尼黑，德国；julian.bijewitz@mtu.de 7 劳斯莱斯电气，劳斯莱斯德国有限公司，91058 埃尔朗根，德国；guido.wortmann@rolls-royce-electrical.com * 通讯地址：arne.seitz@bauhaus-luftfahrt.net
fiat-shamir的证据也缺乏证据
我们探讨了任意共享物理资源的加密功能。最通用的资源是在每个协议执行时访问新鲜的纠缠量子状态。我们将其称为常见的参考量子状态（CRQ）模型，类似于众所周知的常见参考字符串（CRS）。CRQS模型是CRS模型的自然概括，但似乎更强大：在两党设置中，CRQ有时可以通过在许多相互无偏置的基础之一中测量最大纠缠的状态来表现出与随机甲骨文相关的特性。我们将此概念形式化为一个弱的一次性随机Oracle（Wotro），在该n –bit输入条件时，我们只要求M-Pit Outputs具有一定的随机性。我们表明，当n -m∈Ω（lg n）时，CRQS模型中WOTRO的任何协议都可以受到（低效率）对手的攻击。此外，我们的对手是有效的模拟，它排除了通过将完全黑盒减少到加密游戏假设来证明方案的计算安全性的可能性。另一方面，我们为哈希函数引入了一个非游戏量子假设，该假设暗示了CRQ $模型中的WoTro（CRQ仅由EPR对组成）。我们首先构建一个统计安全的WOTRO协议，其中m = n，然后哈希输出。WoTro的不可能带来以下后果。首先，我们显示了量子菲亚特 - 沙米尔变换的完全黑色盒子，这扩大了Bitansky等人的不可能结果。（TCC 2013）到CRQS模型。第二，我们显示了Quantum Lightning版本（Zhandry，Eurocrypt 2019）的完全黑色盒子的不可能结果，其中量子螺栓具有附加参数，而没有生成新的螺栓就无法更改。我们的结果还适用于普通模型中的2个 - 摩塞格协议。
使用培养物学比较阴道和子宫内膜微生物群：概念证明
1微生物学和感染控制部，Vrije Universiteit Brussel（VUB），大学医院布鲁塞尔大学（UZ Brussels）（UZ Brussels），1090年，布鲁塞尔，比利时2号布鲁塞尔2号制药科学系，实体或体外毒理学，体外毒理学（BISI），布鲁塞尔大学免费大学（VUB），Laarbeeklaan 103，1090 Brussels，比利时4号布鲁塞尔4号，安特卫普大学生物科学工程系（UA），2020年安特斯特普，比利时5布鲁斯尔5布鲁塞尔IVF，大学医院Brussels（UZ Brussels） （vub），laarbeeklaan 103，1090布鲁塞尔，比利时 *通信：thomas.demuyser@uzbrussel.be
Leigh Anne Swayne博士 10/2023在... 上收到的共同疫苗的证明 ESDM培训计划| UC Davis Mind Institute
•记录中需要进行强制性信息要接受（缺乏信息和记录将被拒绝并发送回来，要求提供更多信息→此时不合规的信息）：o法律上的和姓氏，而不是首选或nick名称
第一部分 完全疫苗接种状态证明 员工常见问题解答 ...
管理系统（“CVMS”）。有关访问 CVMS 和注册的信息，工人可以访问 NCDHHS COVID-19 疫苗管理系统网络门户。特别注意：工人的疫苗信息可能不包含在 CVMS 中。其他疫苗管理系统（例如，其他州使用的系统，或药房或其他医疗保健提供者使用的系统）也可能包含疫苗接种信息。承包商可以遵循与雇员相同的程序，也可以由其雇用机构另行指示。机构会对我完全接种疫苗状态信息的证明保密吗？
COVID-19 疫苗接种政策：就业前疫苗接种证明提交指南
作为一家对健康和安全有着坚定承诺的雇主，埃德蒙顿市将采取一切合理措施保护其员工和其他人的健康、安全和福利，免受 COVID-19 的危害。市政府已确定，为了保护其工作场所，有必要最大限度地提高员工的 COVID-19 疫苗接种率，作为进一步的控制措施，以减轻 COVID-19 的危害。行政政策 A1701：COVID-19 疫苗接种及其相关程序概述了员工必须完全接种 COVID-19 疫苗的要求，除非根据受保护的法律理由获得豁免。
用于中和抗体引导的疫苗设计的概念证明
。cc-by-nc-nd 4.0国际许可证（未经同行评审证明）获得的是作者/资助者，他授予Biorxiv授予Biorxiv的许可，以永久显示预印本。它是制作