BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Computer Science and Engineering - ECPv6.13.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Computer Science and Engineering
X-ORIGINAL-URL:https://homecse.iitd.ac.in
X-WR-CALDESC:Events for Computer Science and Engineering
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Kolkata
BEGIN:STANDARD
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
TZNAME:IST
DTSTART:20260101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20260810T120000
DTEND;TZID=Asia/Kolkata:20260810T130000
DTSTAMP:20260922T093740
CREATED:20260813T064721Z
LAST-MODIFIED:20260813T064721Z
UID:2630-1786363200-1786366800@homecse.iitd.ac.in
SUMMARY:Cryptographic proofs for privacy and integrity by Prof. Chaya Ganesh (IISc)
DESCRIPTION:Abstract: \nA common denominator of conventional financial systems\, trusted execution environments (like SGX)\, blockchain technology\, and ZK-rollups is the promise of computational integrity — doing the right computation on potentially secret inputs\, even when there is no trust. \n  \nIn this talk\, we will define computational integrity and show how one can verify the correctness of a computation much more efficiently than having to re-perform the computation. We will introduce the notion of succinct proof systems that allow a prover to convince a verifier about the correctness of computation such that verification is exponentially faster than the computation itself\, and zero-knowledge where the verifier learns nothing beyond the truth of the statement. We will see applications of zkSNARKs (Zero-knowledge Succinct Non-interactive ARguments of Knowledge)\, a kind of succinct arguments in decentralized systems like blockchain technology for both privacy and scalability issues\, and outline the design principle underlying zkSNARK constructions.
URL:https://homecse.iitd.ac.in/event/cryptographic-proofs-for-privacy-and-integrity-by-prof-chaya-ganesh-iisc/
LOCATION:Bharti 501\, IIT Campus\, Hauz Khas\, New Delhi
CATEGORIES:Seminars
END:VEVENT
END:VCALENDAR