Gal Arnon

Ph.D. Student
Computer Science, Weizmann Institute
gal.arnon [at] weizmann.ac.il
DBLP

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. Instance Compression, Revisited

    Gal Arnon, Shany Ben-David, and Eylon Yogev

    Manuscript

  2. WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification

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

    ZKSummit 12

    See also Giacomo's blogpost

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

    Gal Arnon, Shany Ben-David, and Eylon Yogev

    TCC 2024

  4. 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

  5. IOPs with Inverse Polynomial Soundness Error

    Gal Arnon, Alessandro Chiesa, and Eylon Yogev

    FOCS 2023   and chosen for ITC 2024 highlights track

  6. A Toolbox for Barriers on Interactive Oracle Proofs

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

    TCC 2022  

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

    Gal Arnon, Alessandro Chiesa, and Eylon Yogev

    CCC 2022  

  8. Min-Entropic Optimality

    Gal Arnon and Tomer Grossman

    Manuscript

  9. A PCP Theorem for Interactive Proofs and Applications

    Gal Arnon, Alessandro Chiesa, and Eylon Yogev

    EUROCRYPT 2022  

  10. 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

Teaching