Crypto Seminar - Ziyi Guan
— 5:30pm
Location:
In Person and Virtual - ET
-
Gates Hillman 8115 and Zoom (New Room)
Speaker:
ZIYI GUAN
,
Ph.D. Student
Theory Group
School of Computer and Communication Sciences
École polytechnique fédérale de Lausanne (EPFL)
https://ziyiguan.github.io/
Succinct arguments are fundamental cryptographic primitives with wide-ranging applications. A common approach to build succinct arguments is from probabilistic proofs, dating back to Kilian’s protocol that combines a PCP and a Merkle tree.
In this talk, I will present the tightest bound on the regular security of Kilian’s protocol and show how to obtain similar bounds for more general argument systems, such as those based on polynomial commitment schemes. I’ll conclude with results that achieve post-quantum security and Fiat-Shamir security for general classes of arguments.
—
Ziyi Guan is a fourth-year Ph.D. student at the EPFL theory group, advised by Alessandro Chiesa and Mika Göös. She received a B.S. in Computer Science and a B.S. in Mathematical Sciences from Carnegie Mellon University in 2020. She works on theoretical computer science, particularly complexity theory, probabilistic proof systems, cryptography, and quantum computing.
In Person and Zoom Participation. See announcement.
For More Information:
qvd@andrew.cmu.edu