Seminar by Prof Xing Chaoping, Shanghai Jiao Tong University, China, RTP Harvard Room

Time: 2 Dec 2024, 10.30am to 11.30am

Venue: Research Techno Plaza (RTP), Level 2, Harvard Room

Title: More Efficient Zero-Knowledge Protocols over Z_{2^k} via Galois Rings

Bio: Xing Chaoping is currently a chair professor at Shanghai Jiao Tong University. Prior to this position, he has worked at various institutions including Nanyang Technological University, National University of Singapore, Austrian Academy of Sciences and University of Science and Technology of China. His research interests include coding, cryptography and number theory.

Abstract: A recent line of works on zero-knowledge (ZK) protocols with a vector oblivious linear function evaluation (VOLE)-based offline phase provides a new paradigm for scalable ZK protocols featuring fast proving and small prover memory. Very recently, Baum et al. (Crypto’23) proposed the VOLE-in-the-head technique, allowing such protocols to become publicly verifiable. Many practically efficient protocols for proving circuit satisfiability over any Galois field are implemented, while protocols over rings Z_{2^k} are significantly lagging behind, with only a proof-of-concept pioneering work called Appenzeller to Brie (CCS’21) and a first proposal called MozZ2karella (Crypto’22). In this talk, we first construct ZK protocols over a high degree Galois ring extension of Z_{2^k} and then convert them to Z_{2^k} efficiently using the amortization techniques