About Me

I am a Ph.D. student at the Weizmann Institute in Israel, where I am jointly advised by Moni Naor (Weizmann Institute) and Eylon Yogev (Bar-Ilan University). My interests are at the intersection between cryptography and theoretical computer science. I am especially interested in understanding the power and limitations of probabilistic proof systems.

I completed my master's degree at the Weizmann Institute in 2020 under the supervision of Guy Rothblum and my bachelor's degree in computer science and electrical engineering at Tel Aviv University in 2017.

My Curriculum Vitae can be found here.

Click here to listen to an interview Giacomo and I gave on ZK Podcast where where we discuss the STIR protocol.

Publications

1. Hamming Weight Proofs of Proximity with One-Sided Error

   Gal Arnon, Shany Ben-David, and Eylon Yogev.

   Manuscript

2. STIR: Reed–Solomon Proximity Testing with Fewer Queries

   Gal Arnon, Alessandro Chiesa, Giacomo Fenzi, and Eylon Yogev.

   CRYPTO 2024 (Best Paper Award), ZKSummit 11   , ZKProof 6

   See also Giacomo's blogpost

3. IOPs with Inverse Polynomial Soundness Error

   Gal Arnon, Alessandro Chiesa, and Eylon Yogev.

   FOCS 2023   and chosen for ITC 2024 highlights track

4. A Toolbox for Barriers on Interactive Oracle Proofs

   Gal Arnon, Amey Bhangale, Alessandro Chiesa, and Eylon Yogev.

   TCC 2022  

5. Hardness of Approximation for Stochastic Problems via Interactive Oracle Proofs

   Gal Arnon, Alessandro Chiesa, and Eylon Yogev.

   CCC 2022  

6. Min-Entropic Optimality

   Gal Arnon and Tomer Grossman.

   Manuscript

7. A PCP Theorem for Interactive Proofs and Applications

   Gal Arnon, Alessandro Chiesa, and Eylon Yogev.

   EUROCRYPT 2022  

8. On Prover-Efficient Public-Coin Emulation of Interactive Proofs

   Gal Arnon and Guy N. Rothblum.

   ITC 2021  

Awards

• Esther Hellinger Memorial Prize for academic excellence. Awarded in 2024 by the Weizmann Institute.
• Best Paper Award at CRYPTO 2024 for “STIR: Reed–Solomon Proximity Testing with Fewer Queries”.

Workshop Organization

• Organizer: Lattices Meet Hashes: Recent Advances in Post-Quantum Zero-Knowledge Proofs, Bernoulli Center for Fundamental Studies at EPFL in Lausanne, Switzerland, May 2023.

Teaching

• Teaching Assistant: Foundations and frontiers of probabilistic proofs, Zurich, Switzerland, July 2023.
• Teaching Assistant: Foundations and frontiers of probabilistic proofs, virtual MSRI summer graduate school, July-August 2021.
• Instructor: "Mini-course on zero-knowledge proofs", Amos de-Shalit Summer School, Weizmann Institute of Science, September 2018.