On the Security of Proofs of Sequential Work in a Post-Quantum World

Explore a conference talk from the 2021 Information-Theoretic Cryptography (ITC) Conference focusing on the security of Proofs of Sequential Work in a post-quantum world. Delve into the research presented by Seunghoon Lee, based on a paper co-authored with Jeremiah Blocki and Samson Zhou. Learn about the initial approach, constructions, and research questions surrounding this cryptographic concept. Examine the core lemma, formal proof, and noninteractive proof aspects of Proofs of Sequential Work. Gain insights into parallel control mechanisms and their implications in a post-quantum context. Understand the notations used and follow the logical progression from introduction to conclusion in this 25-minute presentation from the Paul G. Allen School.

Introduction
Example
Initial Approach
Constructions
Research Question
Summary
Proof of Sequential Work
Parallel Control
Notations
Core Lemma
Formal Proof
Noninteractive Proof
Conclusion