XiaoMi-AI文件搜索系统
World File Search System可验证
实用的量子后少数时间可验证的随机...
摘要。在这项工作中，我们介绍了依赖众所周知的（模块）术语问题的第一个实用后量子后的随机函数（VRF），即模块-SIS和模块。我们的构造名为LB-VRF，导致VRF值仅为84个字节，证明仅为5 kb（与早期工作中的几个MB相比），并且在约3毫秒内进行评估，而验证约为1 ms。为了设计一个实用的方案，我们需要限制每个密钥对的VRF输出数量，这使我们的构造少于时间。devite this限制，我们展示了如何在实践中使用我们的几次LB-VRF，尤其是我们估计了Algorand Us的LB-VRF的性能。我们发现，由于与经典构造相比，通信大小的显着增加，这在所有现有基于晶格的方案中是固有的，因此基于LB-VRF的共识协议中的吞吐量降低了，但仍然实用。特别是在具有100个节点的中型网络中，我们的平台记录了吞吐量的1.14×至3.4倍，具体取决于所使用的signalty。在具有500个节点的大型网络的情况下，我们仍然可以维持每秒至少24次交易。这仍然比比特币要好得多，比特币每秒仅处理约5个交易。
支持可验证声明的机制
Miles Brundage 1† 、Shahar Avin 3,2† 、Jasmine Wang 4,29†‡ 、Haydn Belfield 3,2† 、Gretchen Krueger 1† 、Gillian Hadfield 1,5,30 、Klaaf Jing 67 、Helen Toner 8 , Ruth Fong 9 , Tegan Maharaj 4.28 , Pang Wei Koh 10 , Sara Hooker 11 , Jade Leung 12 , Andrew Trask 9 , Emma Bluemke 9 , Jonathan Lebensold 4.29 , Cullen O'Keefe , Mark Koren 11 13 , Théo Ryffel 14 , JB Rubinovitz 15 , Tamay Besiroglu 16 , Federica Carugati 17 , Jack Clark 1 , Peter Eckersley 7 , Sarah de Haas 18 , Maritza Johnson 18 , Ben Laurie 18 , Alex Ingerman 18 , Amanda Kraw 19 , Amanda Askew , Rosario Cammarota 20 , Andrew Lohn 21 ,大卫·克鲁格 4.27 , 夏洛特·斯蒂克斯 22 , 彼得·亨德森 10 , 洛根·格雷厄姆 9 , 卡丽娜·普伦克尔 12 , 比安卡·马丁 1 , 伊丽莎白·西格 16 , 诺亚·齐尔伯曼 9 , 塞吉安 23 , 弗伦斯·克鲁格 23 , 吉里什·萨斯特里 1 , 丽贝卡·卡根 8 , 阿德里安·韦勒 16.24 , 谢志伟 12.7 , 伊丽莎白·巴恩斯 1 , 阿兰·达福 12.9 , 保罗·沙尔 25 , 阿里尔·赫伯特-沃斯 1 , 马丁·拉瑟 25 , 沙尔根 4.27 , 卡里克·弗林 8 , 托马斯·克伦德尔·吉尔伯特 26 , 丽莎·戴尔 7 , 赛义夫·汗 8 , 约书亚·本吉奥 4.27 ，马库斯·安德永 12
用少量量子比特实现可验证的混合秘密共享
我们考虑以可验证的方式在量子网络中共享秘密量子态的任务。我们提出了一种协议，该协议可以完成此任务，同时与现有协议相比，所需的量子比特数更少。为了实现这一点，我们将量子秘密的经典加密与基于 Calderbank-Shor-Steane 量子纠错码的现有可验证量子秘密共享方案相结合。通过这种方式，我们获得了一种用于共享量子比特的可验证混合秘密共享方案，该方案结合了量子和经典方案的优点。我们的方案不会向参与协议的 n 个节点中不到一半的任何组透露任何信息。此外，为了共享一个量子比特状态，每个节点都需要一个量子存储器来存储 n 个单量子比特共享，并且需要最多 3 n 个量子比特的工作空间来验证量子秘密。重要的是，在我们的方案中，单个共享被编码在单个量子比特中，而以前的方案则需要每个共享 (log n ) 个量子比特。此外，我们定义了一个斜坡可验证的混合方案。我们给出了基于现有量子纠错码的各种可验证混合方案的具体示例。
可验证的随机功能，带有简短的证明和键
摘要。，我们在配备双线性映射的组上给出了一种可验证的ran dom函数（VRF）的简单且有效的结构。我们的建筑是直接的；与Micali-Rabin-Vadhan [MRV99]和Lysyanskaya [Lys02]的先前作品相比，它绕过了从独特的签名到VRF的昂贵的昂贵的Goldreich-Levin转移。我们的安全证明是基于决定性双线性双线性二线反转（DBDHI），该反转（DBDHI）以前在[BB04A]中用于构建基于身份的加密方案。我们的VRF的证明和密钥与[Lys02]和[DOD03]中VRF的证明和键形成对比，它们在消息的大小上是线性的。我们在一个椭圆形组上进行操作，该组比[MRV99]中使用的乘法z ∗ n短得多，但我们达到了相同的安全性。此外，我们的计划可以分布和主动。