{"682467":{"#nid":"682467","#data":{"type":"event","title":"PhD Defense by Yibin Yang","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ETitle:\u0026nbsp;\u003C\/strong\u003EEfficient Zero-Knowledge Proofs for Real-World Programs\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EDate:\u0026nbsp;\u003C\/strong\u003EWednesday, June 4, 2025\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ETime:\u0026nbsp;\u003C\/strong\u003E8:30am - 10:00am (ET)\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ELocations:\u0026nbsp;\u003C\/strong\u003ECoda C0915 \u201cAtlantic\u201d\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EZoom:\u0026nbsp;\u003C\/strong\u003E\u003Ca href=\u0022https:\/\/gatech.zoom.us\/j\/99605750255\u0022\u003Ehttps:\/\/gatech.zoom.us\/j\/99605750255\u003C\/a\u003E (Meeting ID: 996 0575 0255)\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003EYibin Yang\u003C\/p\u003E\u003Cp\u003EPh.D. Candidate in the School of Cybersecurity and Privacy\u003C\/p\u003E\u003Cp\u003EGeorgia Institute of Technology\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EDissertation Defense Committee:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EProf. Vladimir Kolesnikov (Advisor, School of Cybersecurity and Privacy, Georgia Institute of Technology)\u003C\/p\u003E\u003Cp\u003EProf. Alexandra Boldyreva (School of Cybersecurity and Privacy, Georgia Institute of Technology)\u003C\/p\u003E\u003Cp\u003EProf. Carmit Hazay (Faculty of Engineering, Bar-Ilan University)\u003C\/p\u003E\u003Cp\u003EProf. Joseph Jaeger (School of Cybersecurity and Privacy, Georgia Institute of Technology)\u003C\/p\u003E\u003Cp\u003EProf. Taesoo Kim (School of Cybersecurity and Privacy, Georgia Institute of Technology)\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EZero-knowledge proofs (ZKPs) enable one party to prove the validity of a statement without revealing anything beyond its truth. While foundational in cryptography, existing ZKP systems often target circuit representations, leading to significant inefficiencies when applied to real-world programs written in high-level languages.\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003EThis dissertation addresses these challenges by designing new cryptographic systems and algorithms that make ZKPs more practical and scalable. It presents:\u0026nbsp;\u003C\/p\u003E\u003Cul\u003E\u003Cli\u003E\u003Cstrong\u003EZK toolchains\u003C\/strong\u003E that execute off-the-shelf C programs efficiently in ZK; \u003C\/li\u003E\u003Cli\u003E\u003Cstrong\u003EConstant-overhead ZK memory\u003C\/strong\u003E that reduces read-write costs to a minimal number of cryptographic operations; \u003C\/li\u003E\u003Cli\u003E\u003Cstrong\u003EAdvanced ZK branching techniques\u003C\/strong\u003E that enable scalable ZKPs for non-batched and batched disjunctions; \u003C\/li\u003E\u003Cli\u003E\u003Cstrong\u003EA tight ZK CPU protocol\u003C\/strong\u003E that integrates memory and branching techniques for efficient CPU-step emulation inside ZK.\u0026nbsp;\u003C\/li\u003E\u003C\/ul\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003ETogether, these contributions pave the way for a new generation of high-performance ZKP toolchains that can scale to real-world applications.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EEfficient Zero-Knowledge Proofs for Real-World Programs\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"Efficient Zero-Knowledge Proofs for Real-World Programs"}],"uid":"27707","created_gmt":"2025-05-20 13:16:24","changed_gmt":"2025-05-20 13:16:59","author":"Tatianna Richardson","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2025-06-04T08:30:00-04:00","event_time_end":"2025-06-04T10:30:34-04:00","event_time_end_last":"2025-06-04T10:30:34-04:00","gmt_time_start":"2025-06-04 12:30:00","gmt_time_end":"2025-06-04 14:30:34","gmt_time_end_last":"2025-06-04 14:30:34","rrule":null,"timezone":"America\/New_York"},"location":"Coda C0915 \u201cAtlantic\u201d","extras":[],"groups":[{"id":"221981","name":"Graduate Studies"}],"categories":[],"keywords":[{"id":"100811","name":"Phd Defense"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1788","name":"Other\/Miscellaneous"}],"invited_audience":[{"id":"78771","name":"Public"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}