CyLab Blockchain Distinguished Seminar April 29, 2024 Recent Developments in Succinct Proof Systems and Their Applications