XiaoMi-AI文件搜索系统
World File Search SystemPOQ
质量证明：无信任的生成AI模型推断区块链
抽象生成的AI模型（例如GPT-4和稳定的扩散）在自然语言和图像任务中表现出强大而破坏性的功能。但是，将这些模型部署在分散环境中仍然具有挑战性。与传统的集中部署不同，从系统上保证了在完全分散的环境中AI模型服务的完整性，特别是在无信任的区块链上，既重要又困难。在本文中，我们提出了一种称为质量证明（POQ）的新推论范式，以使在区块链体系结构上的任意大型生成模型中部署。与基于验证推理程序（例如ZKML或OPML）的传统方法不同，我们的POQ范式着重于模型推理的结果质量。使用基于BERT的轻质跨编码器作为我们的基本质量评估模型，我们设计和实施PQML，这是对区块链现实世界中NLP生成模型推断的第一个实用协议，该模型针对流行的开源模型量身定制，例如Llama 3和Mixtral。我们的分析表明，我们的协议对生态系统中的对抗性但理性的参与者具有牢固的态度，在这种情况下，与行为良好的参与者相比，懒惰或不诚实的行为较少。验证质量评估的计算开销很小，即使仅使用CPU，也可以在几秒钟内完成质量检查。初步仿真结果表明，POQ共识以毫秒为单位生成，比任何现有方案都快1,000倍。
23在...
加工食品行业的生产和数量略有增加；结果，两家公司必须通过进行有效的生产过程来竞争以最大程度的利润。CV。 Fiva Food是加工食品领域的公司之一，尤其是在实施供应链管理的加工肉中。 公司有必要对整个供应链（例如原材料采购）进行绩效和效率的测量。 本研究的目的是分析公司供应链的性能，并确定其原材料的最有效采购方法，并为公司提供建议，以提高其整个供应链的性能。 这项研究使用SCOR分析了供应链，EOQ和POQ方法的性能与公司用来确定哪种原料采购方法的方法是最有效的方法。 结果表明，基于矩阵，将公司的绩效与供应库存日的基准绩效进行比较时，这是不利的。 此外，这项研究表明，POQ方法的总库存成本最低，用于MDM的原材料节省RP6.647.015，而EOQ方法可为FQ85CL的原材料节省RP2222.153,78的最低总库存成本。CV。Fiva Food是加工食品领域的公司之一，尤其是在实施供应链管理的加工肉中。公司有必要对整个供应链（例如原材料采购）进行绩效和效率的测量。本研究的目的是分析公司供应链的性能，并确定其原材料的最有效采购方法，并为公司提供建议，以提高其整个供应链的性能。这项研究使用SCOR分析了供应链，EOQ和POQ方法的性能与公司用来确定哪种原料采购方法的方法是最有效的方法。结果表明，基于矩阵，将公司的绩效与供应库存日的基准绩效进行比较时，这是不利的。此外，这项研究表明，POQ方法的总库存成本最低，用于MDM的原材料节省RP6.647.015，而EOQ方法可为FQ85CL的原材料节省RP2222.153,78的最低总库存成本。
2023 年 4 月 3 日
P|!u¢> D...;! 10Ll1$9101$ (VlOZ) 9929 § 's'a'w v-oz 10141 p@Z!u5O<>@1 moo |r>!¢>!|I>nr ewudns auww eul 'eo!oqo|01uemd;o 1o1\o; ug Aoggod 或 poq eugow 1,0041 Bugpug； uq 'sau1:>o0/\ o1,pa1o|a1 ,,s1on;:>g;g1uegos
量子加密和元复杂性
在经典密码学中，单向函数（OWFS）是最小的假设，而量子密码学中并非如此。引入了几种新的原语，例如伪兰顿单位（PRUS），伪andomfunction-likestate Generator（PRFSGS），PseudorandomState Generators（PRSGS），单向状态发电机（OWSGS），单向路线（OWNWAIGH），单向（Owpuzzs）（Owpuzzles）和EFAUZZS和EFAIRT。它们似乎比OWF弱，但仍然意味着许多有用的应用程序，例如私钥量子货币方案，秘密键加密，消息身份验证代码，数字签名，承诺和多方计算。现在，没有OWF的量子加密的可能性已经开放，该领域最重要的目标是建立它的基础。在本文中，我们第一次表征了具有元复杂性的量子加密原语。我们表明，当且仅当Gapk是弱量化的量子时，就存在单向拼图（Owpuzzs）。Gapk是一个有望的问题，可以决定给定的位字符串是否具有小的Kolmogorov复杂性。弱量化 - 平均强度意味着实例是从QPT可采样分布中采样的，对于任何QPT对手，其造成错误的可能性大于1 / poly。我们还表明，如果存在量子PRG，则GAPK是强烈的量子 - 平均水平。在这里，强烈的量化 - hardis是弱量化量的强度，其中对手犯错的概率大于1 /2 - 1 / poly。最后，我们表明，如果GAPK是弱经典的平均水平，那么就存在量子性（IV-POQ）的不可能证明。弱经典的平均雄硬与弱量子平均硬化相同，但对手是PPT。IV-POQ是捕获基于采样和基于搜索的量子优势的量子性证明（POQ）的概括，并且是Owpuzzs的重要应用。 这是量子优势基于元复杂性的第一个时间。 （注意：有两项并发作品，[KT24B，CGGH24]。）IV-POQ是捕获基于采样和基于搜索的量子优势的量子性证明（POQ）的概括，并且是Owpuzzs的重要应用。这是量子优势基于元复杂性的第一个时间。（注意：有两项并发作品，[KT24B，CGGH24]。）
量子优势的密码学表征
量子计算优势是指存在一些对于量子计算来说很容易但对于经典计算来说很难的计算任务。无条件地展示量子优势超出了我们目前对复杂性理论的理解，因此需要一些计算假设。哪种复杂性假设对于量子优势是必要且充分的？在本文中，我们证明了当且仅当存在经典安全单向谜题 (OWPuzzs) 时，量子性低效验证者证明 (IV-PoQ) 才存在。据我们所知，这是第一次获得量子优势的完整密码学表征。IV-PoQ 是量子性证明 (PoQ) 的泛化，其中验证者在交互过程中是高效的，但之后可能会使用无限时间。IV-PoQ 捕获了以前研究过的各种类型的量子优势，例如基于采样的量子优势和基于搜索的优势。先前的研究 [Morimae and Yamakawa, Crypto 2024] 表明 IV-PoQ 可以从 OWF 构建，但从较弱的假设构建 IV-PoQ 仍未可行。我们的结果解决了这个悬而未决的问题，因为人们认为 OWPuzzs 比 OWFs 弱。OWPuzzs 是最基本的量子密码原语之一，它由许多比单向函数 (OWF) 弱的量子密码原语所暗示，例如伪随机幺正 (PRU)、伪随机状态生成器 (PRSG) 和单向状态生成器 (OWSG)。因此，IV-PoQ 与经典安全 OWPuzzs 之间的等价性强调，如果没有量子优势，那么这些基本密码原语就不存在。这种等价性还意味着量子优势是 OWPuzzs 应用的一个例子。除了承诺之外，以前没有 OWPuzzs 的应用。我们的结果表明，量子优势是 OWPuzzs 的另一个应用，它解决了 [Chung, Goldin, and Gray, Crypto 2024] 的悬而未决的问题。此外，它是 OWPuzzs 的第一个量子计算经典通信 (QCCC) 应用。为了展示主要结果，我们引入了几个新概念并展示了一些独立有趣的结果。特别是，我们引入了一个交互式（和平均情况）版本的采样问题，其中的任务是对两个量子多项式时间算法之间的经典交互获得的转录进行采样。我们表明交互式采样问题中的量子优势等同于 IV-PoQ 的存在，它被认为是 Aaronson 结果 [Aaronson，TCS 2014] 的交互式（和平均情况）版本，SampBQP ̸ = SampBPP ⇔ FBQP ̸ = FBPP 。最后，我们还引入了零知识 IV-PoQ 并研究了它们存在的充分必要条件。
量子优势的加密表征
量子计算优势是指容易用于量子计算的计算任务的存在，但对于经典的计算很难。无条件显示量子优势超出了我们当前对复杂性理论的理解，因此需要一些计算假设。哪种复杂性假设是必要的，并且足以满足量子优势？在本文中，我们证明存在量子性（iv-poq）时，并且仅当存在经典的单向拼图（Owpuzzs）时，就存在量子性的量化证明（IV-POQ）。据我们所知，这是第一次获得量子优势的完全加密表征。iv-poq是量子性证明（POQ）的概括，其中verifier在交互期间有效，但随后可能会使用无限的时间。IV-POQ捕获先前研究的各种类型的量子优势，例如基于采样的量子优势和基于搜索的量子优势。 先前的工作[Morimae和Yamakawa，Crypto 2024]表明，可以从OWFS构建IV-POQ，但是从较弱的假设中构建IV-POQ的结构是敞开的。 我们的结果解决了开放问题，因为据信owpuzzs比OWF弱。 owpuzzs是许多量子加密原语所暗示的最基本的量子加密原语之一，而不是单向函数（OWFS），例如伪和单位单位（PRUS），pseudorandom andom state state nate state Intate Generators（PRSGS）和单向状态生成器（单向状态生成器（OWN）。 因此，IV-POQ与经典的Owpuzzs之间的等效性强调，如果没有量子优势，那么这些基本的加密原始原始物将不存在。IV-POQ捕获先前研究的各种类型的量子优势，例如基于采样的量子优势和基于搜索的量子优势。先前的工作[Morimae和Yamakawa，Crypto 2024]表明，可以从OWFS构建IV-POQ，但是从较弱的假设中构建IV-POQ的结构是敞开的。我们的结果解决了开放问题，因为据信owpuzzs比OWF弱。owpuzzs是许多量子加密原语所暗示的最基本的量子加密原语之一，而不是单向函数（OWFS），例如伪和单位单位（PRUS），pseudorandom andom state state nate state Intate Generators（PRSGS）和单向状态生成器（单向状态生成器（OWN）。因此，IV-POQ与经典的Owpuzzs之间的等效性强调，如果没有量子优势，那么这些基本的加密原始原始物将不存在。等效性还意味着量子助理是Owpuzzs应用程序的一个示例。承诺以外，以前没有知道Owpuzzs的应用。我们的结果表明，量子优势是Owpuzzs的另一种应用，它解决了[Chung，Goldin和Gray，Crypto 2024]的开放问题。此外，它是Owpuzzs的第一个量子计算 - 经典交流（QCCC）。为了显示主要结果，我们介绍了几个新概念，并显示了一些将引起独立感兴趣的结果。尤其是我们引入了一个交互式（和平均值）版本的采样问题，其中该任务是通过两个量子脉络化的tompolynomial-timealgorithm之间的经典相互作用来采样转录本。我们表明，QuantumAdvantional的交互式抽样问题等同于IV-POQ的存在，IV-POQ被认为是Aaronson结果的交互式（和平均值）版本[Aaronson，TCS，TCS 2014]，SAMPBQP = SAMPBQP = SAMPBPP。最后，我们还引入了零知识的IV-POQ，并为其存在的研究足够和必要的条件。