Proof Systems

1. Hekaton: Horizontally-Scalable zkSNARKs via Proof Aggregation (PDF) (Code)
   Michael Rosenberg, Tushar Mopuri, Hossein Hafezi, Ian Miers, Pratyush Mishra
   Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security
2. KZH-Fold: Accountable Voting From Sublinear Accumulation (PDF) (Code)
   Benedikt Bunz, Hossein Hafezi, George Kadianakis, Arantxa Zapico
   Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
   In Collaboration with Ethereum Foundation
3. Single-Server Private Outsourcing of zk-SNARKs
   Kasra Abbaszadeh, Hossein Hafezi, Johnathan Katz, Sarah Meiklejohn
   Submitted to 35th USENIX Security Symposium
   In Collaboration with Google Research (USA)
4. SoK: Lookup Table Arguments
   Hossein Hafezi, Gaspard Anthoine, Matteo Campanelli, Dario Fiore,
   Submitted to Financial Cryptography and Data Security 2026

---

Applications

1. Transparent Dictionaries from Polynomial Commitments (PDF) (Code)
   Alireza Shirzad, Hossein Hafezi, Benedikt Bunz, Joseph Bonneau
   Submitted to 35th USENIX Security Symposium

---

Blockchain

1. Fair Signature Exchange (PDF) (Code)
   Hossein Hafezi, Aditi Partap, Sourav Das, Joseph Bonneau,
   Submitted to Financial Cryptography and Data Security 2026