実験的な相対論的ゼロ知識証明
Pouriya Alikhani1, Nicolas Brunner2, Claude Crépeau3
1School of Computer Science, McGill University, Montréal, Québec, Canada.
Nature
|November 4, 2021
まとめ
研究者は安全な識別のための新しいゼロ知識証明システムを実証しています. このシステムは安全性のために特殊相対性理論を使用し,計算上の仮定を必要とせず,かなりの距離で動作します.
科学分野:
- 量子情報科学
- 暗号化
- コンピュータ科学
背景:
- デジタル時代には 機密情報の保護が不可欠です
- 従来の識別方法では 秘密のデータを公開する必要があり セキュリティ上のリスクが伴います
- ゼロ知識証明は 裏付け情報を明らかにすることなく 陳述を検証する方法を提示します
研究 の 目的:
- マルチプローバーゼロ知識プロトコルを実験的に実現する.
- 物理的原理を活用した安全な識別方法を実証する.
- このようなプロトコルの実用性を評価する.
主な方法:
- 2つの分離された検証者-プローバーペアのゼロ知識プロトコルを実行します.
- 特殊相対性理論の物理的原理に基づいた セキュリティの強制
- 実験用機器を活用する
主要な成果:
- マルチプローバーゼロ知識プロトコルの実験的実現
- プロトコルは60mと400m以上の距離で効果的に動作します.
- 証拠の生成と検証は 約1秒で完了した.
結論:
- この研究では,相対論的マルチプローバーゼロ知識プロトコルの実用的な可能性が示されています.
- この技術は,識別作業の安全な代替手段を提供します.
- 潜在的な応用には,暗号通貨やスマートコントラクトのようなブロックチェーン技術の強化されたセキュリティが含まれます.
関連する概念動画
Zeroth Law of Thermodynamics
5.9K
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.9K
Principle of Equivalence
2.3K
According to Albert Einstein (1897-1955), free-falling and feeling weightless are intrinsically linked. If a person were in free-fall under gravity, for example, diving towards the Earth from an airplane, they would feel completely weightless. Similarly, a person descending in a lift may feel partially weightless. Broadly speaking, it is assumed that an object in a uniform gravitational field and an object undergoing constant acceleration in the absence of gravity are under the same...
2.3K
Null and Alternative Hypotheses
10.5K
The actual hypothesis testing begins by considering two hypotheses. They are termed the null hypothesis and the alternative hypothesis. These hypotheses contain opposing viewpoints.
The null hypothesis, denoted by H0 is a statement of no difference between the variables—they are not related. This can often be considered the status quo. As a result if you cannot accept the null, it requires some action.
The alternative hypothesis, denoted by H1 or Ha, is a claim about the...
The null hypothesis, denoted by H0 is a statement of no difference between the variables—they are not related. This can often be considered the status quo. As a result if you cannot accept the null, it requires some action.
The alternative hypothesis, denoted by H1 or Ha, is a claim about the...
10.5K
Second Uniqueness Theorem
1.2K
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.2K
Propagation of Uncertainty from Random Error
1.3K
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...
1.3K
Norton's Theorem
877
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...
877


