GTACS

A Greater Tel-Aviv Area Seminar

QCryptTLV Seiminar - Fermi Ma (Princeton)

Title: Post-Quantum Succinct Arguments

Abstract: We prove that Kilian’s four-message succinct argument system
is post-quantum secure in the standard model when instantiated with
any probabilistically checkable proof and any collapsing hash function
(which in turn exist based on the post-quantum hardness of Learning
with Errors).

At the heart of our proof is a general-purpose quantum rewinding
procedure that enables a reduction to repeatedly query a quantum
adversary for accepting transcripts as many times as desired.

20/04/2021 - 09:00