设备独立的量子随机性增强的零知识证明
Cheng-Long Li1,2,3, Kai-Yi Zhang4, Xingjian Zhang5
1Hefei National Research Center for Physical Sciences at the Microscale and School of Physical Sciences, University of Science and Technology of China, Hefei 230026, People's Republic of China.
概括
本研究引入了一种量子解决方案,通过使用认证的量子随机性而不是随机预言模型来增强非交互式零知识证明 (NIZKPs),从而改善区块链等应用程序的安全性.
科学领域:
- 密码学和量子信息科学 密码学和量子信息科学
背景情况:
- 非交互式零知识证明 (NIZKPs) 对安全应用程序至关重要,但通常依赖于随机预言模型,该模型具有安全限制.
- 在NIZKPs中常用的Fiat-Shamir启发式假设理想的哈希函数不反映现实世界的性能,可能会破坏协议的安全性.
研究的目的:
- 开发一种基于量子的解决方案,以提高非交互式零知识证明 (NIZKPs) 的安全性.
- 用可验证的量子随机性服务取代对随机预言模型的依赖.
主要方法:
- 实施了一种量子随机性服务,通过无漏洞的贝尔测试来认证生成随机数字.
- 集成后量子密码学 (PQC) 用于安全交付经过认证的随机数字.
- 设计并实施了一个NIZKP用于使用量子随机性服务的三色问题.
主要成果:
- 成功展示了一个不依赖于随机预言模型的NIZKP协议.
- 拟议的方法利用量子非局部性和PQC来增强安全保证.
- 三色问题被用作一个具体的例子来验证NIZKP的实施.
结论:
- 这项研究通过整合量子非局部性,PQC和ZKP来提出NIZKP的新方法.
- 这项工作通过使用经过认证的量子随机性,为传统的NIZKPs提供了更安全的替代方案.
- 预计这些发现将在量子信息科学和密码学的交叉点刺激进一步的研究和创新应用.
相关概念视频
01:14Zeroth Law of Thermodynamics
5.1K
Experimentally, if object A is in equilibrium with object B, and object B is in equilibrium with object C, then object A is in equilibrium with object C. That statement of transitivity is called the "zeroth law of thermodynamics." For example, a cold metal block and a hot metal block are both placed on a metal plate at room temperature. Eventually, the cold block and the plate will be in thermal equilibrium. In addition, the hot block and the plate will be in thermal equilibrium.
5.1K
00:59Propagation of Uncertainty from Random Error
703
An experiment often consists of more than a single step. In this case, measurements at each step give rise to uncertainty. Because the measurements occur in successive steps, the uncertainty in one step necessarily contributes to that in the subsequent step. As we perform statistical analysis on these types of experiments, we must learn to account for the propagation of uncertainty from one step to the next. The propagation of uncertainty depends on the type of arithmetic operation performed on...
703
01:16Second Uniqueness Theorem
1.0K
Consider a region consisting of several individual conductors with a definite charge density in the region between these conductors. The second uniqueness theorem states that if the total charge on each conductor and the charge density in the in-between region are known, then the electric field can be uniquely determined.
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
1.0K
01:14Norton's Theorem
605
Norton's theorem is a fundamental principle stating that a linear two-terminal circuit can be substituted with an equivalent circuit, which comprises a current source (ⅠN) in parallel with a resistor (RN). Here, ⅠN represents the short-circuit current flowing through the terminals, and RN stands for the input or equivalent resistance at the terminals when all independent sources are deactivated. This implies that the circuit illustrated in Figure (a) can be exchanged with the...
605
01:13Randomized Experiments
7.0K
The randomization process involves assigning study participants randomly to experimental or control groups based on their probability of being equally assigned. Randomization is meant to eliminate selection bias and balance known and unknown confounding factors so that the control group is similar to the treatment group as much as possible. A computer program and a random number generator can be used to assign participants to groups in a way that minimizes bias.
Simple randomization
Simple...
Simple randomization
Simple...
7.0K
01:17Wald-Wolfowitz Runs Test II
248
The Wald-Wolfowitz runs test, commonly referred to as the runs test, is a nonparametric test used to assess the randomness of ordered data. The test evaluates the number of runs, which are consecutive sequences of similar elements within the data. If the number of runs is significantly higher or lower than expected, the data is considered non-random, indicating a detectable pattern or structure.
For binary data, runs are identified using symbols such as + and −, or equivalently, 1s and...
For binary data, runs are identified using symbols such as + and −, or equivalently, 1s and...
248