Practical batch proofs of exponentiation

• Thesis title in Czech: Praktické dávkové důkazy pro mocnění
• Thesis title in English: Practical batch proofs of exponentiation
• Key words: Důkazy pro mocnění|Ověřitelné zpožďovací funkce|Dávkové důkazy
• English key words: Proof of Exponentiation|Batching|Verifiable Delay Function
• Academic year of topic announcement: 2023/2024
• Thesis type: Bachelor's thesis
• Thesis language: angličtina
• Department: Computer Science Institute of Charles University (32-IUUK)
• Supervisor: Mgr. Pavel Hubáček, Ph.D.
• Author: Bc. Svetlana Ivanova - assigned and confirmed by the Study Dept.
• Date of registration: 05.03.2024
• Date of assignment: 05.03.2024
• Confirmed by Study dept. on: 05.03.2024
• Date and time of defence: 28.06.2024 09:00
• Date of electronic submission: 09.05.2024
• Date of submission of printed version: 09.05.2024
• Date of proceeded defence: 28.06.2024
• Opponents: Mgr. Martin Mareš, Ph.D.

Guidelines

Student/ka se seznámí s protokoly dokazujícími korektnost modulárního mocnění od Pietrzaka [1] a Wesolowského [2]. Následně nastuduje protokoly pro efektivní dokazování mnoha instancí od Rotema [3] a porovná jejich praktický přínos pro parametry relevantní v konstrukcích ověřitelných zpožďovacích funkcí.

References

[1] Krzysztof Pietrzak: Simple Verifiable Delay Functions. ITCS 2019
[2] Benjamin Wesolowski: Efficient Verifiable Delay Functions. EUROCRYPT 2019
[3] Lior Rotem: Simple and Efficient Batch Verification Techniques for Verifiable Delay Functions. TCC 2021