Thesis (Selection of subject)

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Verifiable Delay Functions z Lucasových posloupností

Thesis title in Czech:	Verifiable Delay Functions z Lucasových posloupností
Thesis title in English:	Verifiable Delay Functions from Lucas Sequences
Key words:	Lucasovy posloupnosti\|ověřitelné zpožďovací funkce\|modulární mocnění\|silná prvočísla
English key words:	Lucas sequences\|verifiable delay function\|modular squaring\|strong primes
Academic year of topic announcement:	2019/2020
Thesis type:	diploma thesis
Thesis language:	angličtina
Department:	Computer Science Institute of Charles University (32-IUUK)
Supervisor:	Mgr. Pavel Hubáček, Ph.D.
Author:	hidden - assigned and confirmed by the Study Dept.
Date of registration:	22.09.2020
Date of assignment:	22.09.2020
Confirmed by Study dept. on:	10.05.2022
Date and time of defence:	09.06.2022 09:00
Date of electronic submission:	05.05.2022
Date of submission of printed version:	09.05.2022
Date of proceeded defence:	09.06.2022
Opponents:	doc. Mgr. Pavel Příhoda, Ph.D.

Guidelines

Student nastuduje konstrukce Verifiable Delay Functions (VDFs) založené na sekvencialitě iterovaného modulárního mocnění na druhou [1,2,3]. Cílem práce je zobecnění technik z literatury pro konstrukce VDFs založených na sekvencialitě modulárních Lucasových posloupností a studium jejich vlastností.

References

[1] Krzysztof Pietrzak. "Simple verifiable delay functions." In 10th Innovations in Theoretical Computer Science conference (ITCS 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
[2] Benjamin Wesolowski. "Efficient verifiable delay functions." Journal of Cryptology (2020): 1-35.
[3] Dan Boneh, Joseph Bonneau, Benedikt Bünz, and Ben Fisch. "Verifiable delay functions." In Annual international cryptology conference (CRYPTO 2018), pp. 757-788. Springer, Cham, 2018.

Preliminary scope of work

Lucasovy posloupnosti jsou konstantní rekurzivní celočíselné posloupnosti s dlouhou historií aplikací v kryptografii - používané jak pro návrh kryptografických schémat, tak při kryptoanalýze. V této práci představujeme ověřitelné zpožďovací funkce založené na sekvenční náročnosti výpočtu Lucasových posloupností v RSA grupě.

Zaprvé ukážeme, že modulární Lucasovy poslopnosti jsou alespoň tak sekvenční, jako jsou klasické zpožďovací funkce založené na iterovaném modulárním mocnění představené Rivestem, Shamirem, and Wagnerem v kontextu tzv. time-lock puzzles. Navíc nenacházíme žádnou očividnou opačnou redukci, což nás přivádí k domněnce, že počítání modulárních Lucasových poslopností je ostře složitější než modulární iterované mocnění. Jinými slovy, námi kostruovaná zpoždovací funkce si zachová svoji sekvenčnost i v případě nalezení nového efektivnějšího algoritmu pro modulární iterováné mocnění.

Zadruhé představíme praktickou konstrukci ověřitelné zpožďovací funkce založené na modulárních Lucasových posloupnostech. Naše konstrukce vychází z nedávné práce Pietrzaka (ITCS 2019) a využívá souvislost mezi problémem výpočtu modulárních Lucasových posloupností a mocněním v příslušném tělesovém rozšíření.

Preliminary scope of work in English

Lucas sequences are constant-recursive integer sequences with a long history of applications in cryptography, both in the design of cryptographic schemes and cryptanalysis.
In this work, we study the sequential hardness of computing Lucas sequences over an RSA modulus.

First, we show that modular Lucas sequences are at least as sequentially hard as the classical delay function given by iterated modular squaring proposed by Rivest, Shamir, and Wagner in the context of time-lock puzzles. Moreover, there is no obvious reduction in the other direction, which suggests that the assumption of sequential hardness of modular Lucas sequences is strictly weaker than that of iterated modular squaring.
In other words, the sequential hardness of modular Lucas sequences might hold even in the case of an algorithmic improvement violating the sequential hardness of iterated modular squaring.

Second, we demonstrate the feasibility of constructing practically efficient verifiable delay functions based on the sequential hardness of modular Lucas sequences.
Our construction builds on the work of Pietrzak (ITCS 2019) by leveraging the intrinsic connection between the problem of computing modular Lucas sequences and exponentiation in an appropriate extension field.