
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 VitaeFields of Interest
Recent Publications
Prof. Carmit Hazay Wins the Rector’s Innovation Award
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.