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.