TOC calendar

Experimental Relativistic Zero-Knowledge Proofs

Speaker: Claude Crépeau , School of Computer Science, McGill University 

Date: Friday, July 01, 2022

Time: 1:00 PM to 2:00 PM Note: all times are in the Eastern Time Zone

Public: Yes

Location: 32-370

Host: Vinod Vaikuntanathan, CSAIL MIT

Contact: Felicia Raton, fraton@csail.mit.edu

Relevant URL: https://www.nature.com/articles/s41586-021-03998-y

Abstract: Protecting secrets is a key challenge in our contemporary 
information-based era. In common situations, however, revealing 
secrets appears unavoidable, for instance, when identifying oneself in 
a bank to retrieve money. In turn, this may have highly undesirable 
consequences in the unlikely, yet not unrealistic, case where the 
bank’s security gets compromised. This naturally raises the question 
of whether disclosing secrets is fundamentally necessary for 
identifying oneself, or more generally for proving a statement to be 
correct. Developments in computer science provide an elegant solution 
via the concept of zero-knowledge proofs: a prover can convince a 
verifier of the validity of a certain statement without facilitating 
the elaboration of a proof at all. In this work, we report the 
experimental realisation of such a zero-knowledge protocol involving 
two separated verifier-prover pairs. Security is enforced via the 
physical principle of special relativity, and no computational 
assumption (such as the existence of one-way functions) is required. 
Our implementation exclusively relies on off-the-shelf equipment and 
works at both short (60m) and long distances (>400m) in about one 
second. This demonstrates the practical potential of multi-prover 
zero-knowledge protocols, promising for identification tasks.

Joint work with Pouriya Alikhani, Nicolas Brunner, Sébastien Designolle, 
Raphaël Houlmann, Weixu Shi, Nan Yang, and Hugo Zbinden 
in Nature, https://www.nature.com/articles/s41586-021-03998-y

Research Areas: 
Security & Cryptography

August 2022

Sun Mon Tue Wed Thu Fri Sat
31
1
2
3
4
5
6
 
 
 
 
 
 
 
7
8
9
10
11
12
13
 
 
 
 
 
 
 
14
15
16
17
18
19
20
 
 
 
 
 
 
 
21
22
23
24
25
26
27
 
 
 
 
 
 
 
28
29
30
31
1
2
3