We announce several publications on ZK at CCS 2021.

As part of the Wizkit project, Stealth team members published several new works. Stealth CEO Steve Lu, co-founder Rafail Ostrovsky (UCLA), and Xiao Wang of Stealth subcontractor Northwestern University, together with collaborators Nicholas Franzese (Northwestern), Jonathan Katz (University of Maryland), and Chenkai Weng (Northwestern) presented “Constant-Overhead Zero-Knowledge for RAM Programs“. Joseph P. Near of Stealth subcontractor University of Vermont and Yupeng Zhang of subcontractor Texas A&M, together with Zhiyong Fang (Texas A&M) and David Darais (Galois), presented “Zero Knowledge Static Program Analysis“. Yupeng Zhang and collaborators also presented “zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy“, “ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange“, and “Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time“.