Prof. Carmit Hazay

I am a cryptographer working on secure computation and zero-knowledge, with an emphasis on efficiency, active security, leakage resilience, and practical deployment. I co-authored the Springer monograph Efficient Secure Two-Party Protocols — Techniques and Constructions (with Yehuda Lindell, 2010), which systematizes approaches to secure two-party computation. My research develops actively secure two- and multi-party computation, constant-communication garbled circuits, leakage-resilient primitives, and lightweight sublinear proofs. My broader goal is to narrow the gap between strong theoretical guarantees and performance, advancing protocols that are both provably secure and practically efficient.

I am also a co-founder of Ligero Inc. where we build efficient and scalable zkVM.

Curriculum Vitae

Fields of Interest

Secure Multi-Party & Two-Party Computation

Learn more

Zero-Knowledge Proofs & Sublinear Arguments

Learn more

Recent Publications

Acharya, Anasuya ; Hazay, Carmit ; Venkitasubramaniam, Muthuramakrishnan. / On Achieving “Best-in-the-Multiverse” MPC. Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings. editor / Benny Applebaum ; Huijia (Rachel) Lin. Springer Science and Business Media Deutschland GmbH, 2026. pp. 119-151 (Lecture Notes in Computer Science).

For more information

Acharya, Anasuya ; Hazay, Carmit ; Kolesnikov, Vladimir et al. / Towards Building Efficient SCALES Protocols. Advances in Cryptology - ASIACRYPT 2025 - 31st International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. editor / Goichiro Hanaoka ; Bo-Yin Yang. Springer Science and Business Media Deutschland GmbH, 2026. pp. 35-67 (Lecture Notes in Computer Science).

For more information

Bhadauria, Rishabh ; Döttling, Nico ; Hazay, Carmit et al. / Laconic Cryptography with Preprocessing. Advances in Cryptology - ASIACRYPT 2025 - 31st International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. editor / Goichiro Hanaoka ; Bo-Yin Yang. Springer Science and Business Media Deutschland GmbH, 2026. pp. 228-261 (Lecture Notes in Computer Science).

For more information

Hazay, Carmit ; Heath, David ; Kolesnikov, Vladimir et al. / LogRobin++ : Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK. Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. editor / Kai-Min Chung ; Yu Sasaki. Springer Science and Business Media Deutschland GmbH, 2025. pp. 367-401 (Lecture Notes in Computer Science).

For more information

All Publications

Prof. Carmit Hazay Wins the Rector’s Innovation Award

Rector’s Innovation Award (2024) for my research on zero-knowledge proofs, which enable secure verification of mathematical claims with applications in cryptography, blockchain privacy, and secure computation.